Default branch

master 5ad79f2864 · Add Iterators as acceptable arguments to functions (#7620) · Updated 2025-04-12 17:32:56 +00:00

ZIP  TAR.GZ

Branches

dio 36a0006f59 · remove testing code in is_big_term_on_no_term · Updated 2025-04-10 02:24:59 +00:00	19 15		ZIP  TAR.GZ
agent-updates 0b7a81b7c9 · list[ExprRef] doesn't build for python · Updated 2025-04-05 21:45:52 +00:00	6 0	Included	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	99 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	324 10		ZIP  TAR.GZ
deb_magic_call a1f85989eb · debug with magic_call · Updated 2025-01-07 23:16:35 +00:00    mirrors	464 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	568 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	571 2		ZIP  TAR.GZ
rewrite-ite-arith 65bfcec146 · resurrect rewriting of equality over ite · Updated 2024-11-23 00:56:08 +00:00    mirrors	585 3		ZIP  TAR.GZ
pyodide-ci cb2c497466 · Add Pyodide CI and tests · Updated 2024-11-14 20:08:58 +00:00    mirrors	644 1		ZIP  TAR.GZ
sls fa6f3f2dba · fixing prop-queue · Updated 2024-11-05 01:18:02 +00:00    mirrors	660 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	844 1		ZIP  TAR.GZ
poly 487a544274 · remove test code · Updated 2024-07-30 04:05:41 +00:00    mirrors	903 436		ZIP  TAR.GZ
polysat 134f677ec3 · skip empty layers · Updated 2023-12-22 12:25:45 +00:00    mirrors	1240 1660		ZIP  TAR.GZ
synth 8568ab5a64 · formulate setting · Updated 2023-08-31 20:20:25 +00:00    mirrors	1649 45		ZIP  TAR.GZ
arith c2062c9b3d · x · Updated 2023-07-28 00:32:29 +00:00    mirrors	1800 28		ZIP  TAR.GZ
dev/jofleish/signing cbbab584db · Set ToolVersion to 2.0 · Updated 2023-05-03 12:43:19 +00:00    mirrors	1813 1		ZIP  TAR.GZ
jfleisher/nightlyversion 37205410f8 · Merge branch 'master' into jfleisher/nightlyversion · Updated 2023-01-12 21:59:10 +00:00    mirrors	2130 11		ZIP  TAR.GZ
xor 8855163ccf · Fixed justification · Updated 2022-12-10 21:29:31 +00:00    mirrors	2355 65		ZIP  TAR.GZ
jfleisher/devIntellitest 23d08b7108 · Merge branch 'jfleisher/githubpipeline' into jfleisher/devIntellitest · Updated 2022-08-15 19:22:15 +00:00    mirrors	2707 21		ZIP  TAR.GZ
jfleisher/buildversion d56ceec6c6 · test tweak version in unix, et al · Updated 2022-03-23 20:20:22 +00:00    mirrors	3282 5		ZIP  TAR.GZ