Default branch

master 894c0e9fbe · Bugfix: post-build sanity check when an old version of ocaml-z3 is installed (#7815) · Updated 2025-08-25 03:49:04 +00:00

ZIP  TAR.GZ

Branches

ilana 8cb093752a · Parallel solving (#7814) · Updated 2025-08-25 03:48:28 +00:00	92 64		ZIP  TAR.GZ
copilot/fix-c56d64d5-753c-48f0-9e5e-fe38c574e215 8280102464 · Move VERSION.txt to scripts/ and update all references · Updated 2025-08-24 22:23:58 +00:00	3 2		ZIP  TAR.GZ
copilot/fix-7805 a239b21e90 · Add documentation for using system-installed Z3 with CMake · Updated 2025-08-23 18:18:24 +00:00	18 2		ZIP  TAR.GZ
copilot/fix-9fdf9dad-9a04-4edc-81a6-9f74bd2059d0 6def9e8ce8 · Update nightly.yaml to match release.yml NuGet tool installer changes · Updated 2025-08-23 17:58:36 +00:00	18 2		ZIP  TAR.GZ
copilot/fix-21b74925-caf3-48ec-94b0-8b780b4d0a22 9386fd8399 · Fix Azure Pipeline PyPI package builds by including VERSION.txt in source distribution · Updated 2025-08-23 17:46:37 +00:00	19 2		ZIP  TAR.GZ
nl2lin 6ef8a0b7bb · debug nl2lin · Updated 2025-08-20 22:59:11 +00:00	102 12		ZIP  TAR.GZ
copilot/fix-7801 dcbdcb9d4b · Create centralized version management with VERSION.txt · Updated 2025-08-20 15:55:02 +00:00	23 5		ZIP  TAR.GZ
lws 5654f149e7 · trying to figure out right indices · Updated 2025-08-19 00:42:19 +00:00	39 25		ZIP  TAR.GZ
copilot/fix-7738 cd1aaf2895 · Complete fix for recursive function infinite loop during assertion · Updated 2025-08-18 01:29:24 +00:00	24 4		ZIP  TAR.GZ
copilot/fix-7644 af652c7f6a · Fix Julia bindings linker errors on Windows MSVC · Updated 2025-08-18 01:24:54 +00:00	24 4		ZIP  TAR.GZ
copilot/fix-7789 ed874351be · Fix nullptr dereference in pp_symbol with null symbol names · Updated 2025-08-16 02:41:48 +00:00	31 2		ZIP  TAR.GZ
copilot/fix-7784 20ce3b227a · Fix compilation warning: add missing is_passive_eq case to switch statement · Updated 2025-08-15 15:58:10 +00:00	35 2		ZIP  TAR.GZ
copilot/fix-7786 7ec7b9568c · Remove NugetPublishNightly stage from nightly.yaml · Updated 2025-08-15 15:35:58 +00:00	35 2		ZIP  TAR.GZ
copilot/fix-7753 3811c4baa1 · Remove abs axioms and change uminus calls as requested · Updated 2025-08-15 01:25:11 +00:00	37 5		ZIP  TAR.GZ
copilot/fix-7781 61e22a3837 · Fix Z3_solver_translate to use solver factory translate method · Updated 2025-08-15 00:02:54 +00:00	37 2		ZIP  TAR.GZ
copilot/fix-7779 7ed47bf9bf · Add documentation for the translate method in solver_factory · Updated 2025-08-14 16:21:48 +00:00	40 3		ZIP  TAR.GZ
revert-7775-parallel-solving b6c525e804 · Revert "Parallel solving (#7775)" · Updated 2025-08-13 18:00:02 +00:00	40 1		ZIP  TAR.GZ
disc 907e57db88 · detect and add disc on zero · Updated 2025-08-12 23:43:32 +00:00	46 1		ZIP  TAR.GZ
copilot/fix-7765 b1beebcdf5 · Remove test_example binary file from repository · Updated 2025-08-12 20:00:14 +00:00	54 3		ZIP  TAR.GZ
copilot/fix-7763 6d5ec41708 · Remove z3str3 theory solver files and integration · Updated 2025-08-08 03:00:38 +00:00	54 2		ZIP  TAR.GZ