Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jun 16, 2026

• dotnet: force PlatformTarget=AnyCPU to fix arm64 host load failure (#9868)

  Show description for b6c7ef2
  Copilot

  authored
  b6c7ef2

  Copy full SHA for b6c7ef2

Commits on Jun 9, 2026

• Fix Java UnsatisfiedLinkError on macOS (#7640) (#9027)

  Show description for 2ed4e90
  

  levnach

  and

  Copilot

  authored
  2ed4e90

  Copy full SHA for 2ed4e90

Commits on May 14, 2026

• Bump dotnet example target framework from netcoreapp2.0 to net8.0 (#9531)

  Show description for bed73a3
  

  Copilot

  and

  NikolajBjorner

  authored
  bed73a3

  Copy full SHA for bed73a3

Commits on May 12, 2026

• Integrate TPTP with internal APIs via `cmd_context`, add embedded-string TPTP regression tests, and fix TFF arithmetic/timeout regressions (#9483)

  Show description for 1a2d3e0
  

  Copilot

  and

  NikolajBjorner

  authored
  1a2d3e0

  Copy full SHA for 1a2d3e0

Commits on Mar 9, 2026

• test: add unit tests and CI validation for JNI architecture fix

  Show description for 6a1aa79
  

  Copilot

  and

  NikolajBjorner

  committed
  6a1aa79

  Copy full SHA for 6a1aa79

• fix: use SLINK_EXTRA_FLAGS for JNI bindings to support macOS cross-compilation

  Show description for ba0f276
  

  Copilot

  and

  NikolajBjorner

  committed
  ba0f276

  Copy full SHA for ba0f276

Commits on Mar 2, 2026

• Fix NoSuchFieldError in JNI for BoolPtr: use Z field descriptor and SetBooleanField

  Show description for c384710
  

  Copilot

  and

  NikolajBjorner

  committed
  c384710

  Copy full SHA for c384710

Commits on Feb 23, 2026

• Add missing API bindings: importModelConverter, OnClause, and user propagator

  Show description for 0de7af9
  

  Copilot

  and

  NikolajBjorner

  committed
  0de7af9

  Copy full SHA for 0de7af9

Commits on Feb 19, 2026

• Merge pull request #8696 from Z3Prover/copilot/fix-z3-import-error

  Show description for ca1865c
  NikolajBjorner

  authored
  ca1865c

  Copy full SHA for ca1865c

• Fix macOS cross-compilation from ARM64 to x86_64 in mk_unix_dist.py and mk_util.py

  Show description for c4acd2a
  

  Copilot

  and

  NikolajBjorner

  committed
  c4acd2a

  Copy full SHA for c4acd2a

• Remove unnecessary blank lines in mk_genfile_common.py and mk_api_doc.py

  Show description for 0ad40a3
  

  Copilot

  and

  NikolajBjorner

  committed
  0ad40a3

  Copy full SHA for 0ad40a3

• update version

  Show description for 33d4d38
  NikolajBjorner

  committed
  33d4d38

  Copy full SHA for 33d4d38

Commits on Feb 18, 2026

• Fix indentation in commented-out code section

  Show description for 7e8fc4f
  

  Copilot

  and

  NikolajBjorner

  committed
  7e8fc4f

  Copy full SHA for 7e8fc4f

• Fix Priority 1 ASSERT_FAIL bugs - replace assertions with proper error handling

  Show description for ae328dc
  

  Copilot

  and

  NikolajBjorner

  committed
  ae328dc

  Copy full SHA for ae328dc

Commits on Feb 16, 2026

• update version

  Show description for 1924066
  NikolajBjorner

  committed
  1924066

  Copy full SHA for 1924066

• git bindings v1.0

  NikolajBjorner

  committed
  66d0fb5

  Copy full SHA for 66d0fb5

Commits on Feb 13, 2026

• increment minor version

  Show description for a81f691
  NikolajBjorner

  committed
  a81f691

  Copy full SHA for a81f691

Commits on Feb 12, 2026

• bump version to prepare for release with wheels and npm

  Show description for e6d32f3
  NikolajBjorner

  committed
  e6d32f3

  Copy full SHA for e6d32f3

Commits on Feb 9, 2026

• update release

  Show description for 3251ccd
  NikolajBjorner

  committed
  3251ccd

  Copy full SHA for 3251ccd

• update release

  Show description for 2330e14
  NikolajBjorner

  committed
  2330e14

  Copy full SHA for 2330e14

• update to next version

  Show description for 212e873
  NikolajBjorner

  committed
  212e873

  Copy full SHA for 212e873

Commits on Feb 8, 2026

• Merge pull request #8541 from Z3Prover/copilot/update-nightly-build-test-process

  Show description for 45fd779
  NikolajBjorner

  authored
  45fd779

  Copy full SHA for 45fd779

• update version

  Show description for 85534f1
  NikolajBjorner

  committed
  85534f1

  Copy full SHA for 85534f1

• Apply headerpad fix to build systems (Python and CMake) and fix validation test paths

  Show description for af76ac6
  

  Copilot

  and

  NikolajBjorner

  committed
  af76ac6

  Copy full SHA for af76ac6

• Merge pull request #8535 from Z3Prover/copilot/fix-install-name-tool-issue

  Show description for 72564da
  NikolajBjorner

  authored
  72564da

  Copy full SHA for 72564da

• version updated on workflows

  Show description for bc38867
  NikolajBjorner

  committed
  bc38867

  Copy full SHA for bc38867

• Add -headerpad_max_install_names flag for macOS dylib builds

  Show description for a08e8a9
  

  Copilot

  and

  NikolajBjorner

  committed
  a08e8a9

  Copy full SHA for a08e8a9

• remove obsoleted ADO workflows

  Show description for c89c01d
  NikolajBjorner

  committed
  c89c01d

  Copy full SHA for c89c01d

• update version

  Show description for 0ed85db
  NikolajBjorner

  committed
  0ed85db

  Copy full SHA for 0ed85db

Commits on Feb 2, 2026

• Fix NuGet packaging to handle dynamic glibc versions (#8474)

  Show description for 20e19b9
  

  Copilot

  and

  NikolajBjorner

  authored
  20e19b9

  Copy full SHA for 20e19b9

Commits on Jan 18, 2026

• Add .github/workflows/nightly.yml to update_version.py (#8236)

  Show description for 1bf0682
  

  Copilot

  and

  NikolajBjorner

  authored
  1bf0682

  Copy full SHA for 1bf0682

Commits on Jan 17, 2026

• Fix mk_unix_dist.py cross-compilation from ARM to x64 on macOS (#8222)

  Show description for b716d63
  

  Copilot

  and

  NikolajBjorner

  authored
  b716d63

  Copy full SHA for b716d63

Commits on Jan 15, 2026

• Standardize for-loop increments to prefix form (++i) (#8199)

  Show description for 2436943
  

  Copilot

  and

  NikolajBjorner

  authored
  2436943

  Copy full SHA for 2436943

• Update ARM GCC toolchain to 13.3 for C++20 std::format support (#8196)

  Show description for 896e297
  

  Copilot

  and

  NikolajBjorner

  authored
  896e297

  Copy full SHA for 896e297

Commits on Jan 5, 2026

• increase timeout on windows build

  Show description for fbf65c5
  NikolajBjorner

  committed
  fbf65c5

  Copy full SHA for fbf65c5