Default branch

master 8d81a2dcaf · Note that Z3_get_numeral_small is essentially redundant (#7599) · Updated 2025-03-29 17:02:32 +00:00

ZIP  TAR.GZ

Branches

dio1 6776575b00 · remove an unused field · Updated 2025-03-22 15:59:38 +00:00	66 36		ZIP  TAR.GZ
dio 019737dcbd · fix printing · Updated 2025-03-10 06:31:43 +00:00	97 35		ZIP  TAR.GZ
hidecuts 9eb19b56c7 · a version where cut variables are excluded from recursive branch and cuts · Updated 2025-03-03 15:43:37 +00:00	80 1		ZIP  TAR.GZ
conflict-throttle 1a77622714 · add prompt to ask for patch, assume directory alignment · Updated 2025-02-12 00:01:30 +00:00    mirrors	305 10		ZIP  TAR.GZ
deb_magic_call a1f85989eb · debug with magic_call · Updated 2025-01-07 23:16:35 +00:00    mirrors	445 1		ZIP  TAR.GZ
reassert-all-units 9db4ac434d · fix unsoundness with what appears to be unit literals but really are literals that are justified · Updated 2024-12-05 00:08:50 +00:00    mirrors	549 2		ZIP  TAR.GZ
arith-gomory-ite 8c44f0c291 · add ast-mark to make traversal feasible · Updated 2024-12-02 22:38:34 +00:00    mirrors	552 2		ZIP  TAR.GZ
rewrite-ite-arith 65bfcec146 · resurrect rewriting of equality over ite · Updated 2024-11-23 00:56:08 +00:00    mirrors	566 3		ZIP  TAR.GZ
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	625 1		ZIP  TAR.GZ
sls fa6f3f2dba · fixing prop-queue · Updated 2024-11-05 01:18:02 +00:00    mirrors	641 208		ZIP  TAR.GZ
revert-7307-scoped_vector 187c2c6cae · Revert "add scoped vector unit test (#7307)" · Updated 2024-07-30 18:33:36 +00:00    mirrors	825 1		ZIP  TAR.GZ
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	884 436		ZIP  TAR.GZ
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	1221 1660		ZIP  TAR.GZ
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	1630 45		ZIP  TAR.GZ
arith c2062c9b3d · x · Updated 2023-07-28 00:32:29 +00:00    mirrors	1781 28		ZIP  TAR.GZ
dev/jofleish/signing cbbab584db · Set ToolVersion to 2.0 · Updated 2023-05-03 12:43:19 +00:00    mirrors	1794 1		ZIP  TAR.GZ
jfleisher/nightlyversion 37205410f8 · Merge branch 'master' into jfleisher/nightlyversion · Updated 2023-01-12 21:59:10 +00:00    mirrors	2111 11		ZIP  TAR.GZ
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	2336 65		ZIP  TAR.GZ
jfleisher/devIntellitest 23d08b7108 · Merge branch 'jfleisher/githubpipeline' into jfleisher/devIntellitest · Updated 2022-08-15 19:22:15 +00:00    mirrors	2688 21		ZIP  TAR.GZ
jfleisher/buildversion d56ceec6c6 · test tweak version in unix, et al · Updated 2022-03-23 20:20:22 +00:00    mirrors	3263 5		ZIP  TAR.GZ