Default branch

main 1971d2a8e8 · test config · Updated 2026-04-24 21:12:12 -04:00

ZIP  TAR.GZ

Branches

simon/emit-talweg-proof 60dae8cd1f · real proof production for CC · Updated 2026-05-04 22:42:55 -04:00	4 12		ZIP  TAR.GZ
simon/benchpress-lua e2990469fe · add benchpress.lua · Updated 2026-05-01 22:47:54 -04:00	0 1		ZIP  TAR.GZ
wip-levels-in-kernel d5a7ff4c46 · gitignore · Updated 2026-03-15 00:36:11 -04:00	11 28		ZIP  TAR.GZ
gh-pages 2c7065e7fd · deploy: eff6016151 · Updated 2023-12-27 17:31:52 -05:00    simon	1943 57		ZIP  TAR.GZ
master eff6016151 · support trace-fuchsia if present · Updated 2023-12-27 17:24:35 -05:00    simon	15 0	Included	ZIP  TAR.GZ
wip-19 da5cd7fbc2 · fix: compute model even if (potentially) new interface eqns are produced · Updated 2023-06-27 10:59:29 -04:00    simon	21 1		ZIP  TAR.GZ
wip-ccsat 0393fae090 · cdsat · Updated 2023-05-09 20:42:24 -04:00    simon	34 23		ZIP  TAR.GZ
wip-cdsat 566d0d64a2 · detail · Updated 2023-05-07 21:03:35 -04:00    simon	34 21		ZIP  TAR.GZ
wip-produce-smtlib-models 7fbfb8439b · Merge branch 'master' into wip-produce-smtlib-models · Updated 2023-04-20 22:10:03 -04:00    simon	34 0	Included	ZIP  TAR.GZ
wip-use-trace-for-proofs 5ca966a827 · depth-restricted printing for terms and pterms · Updated 2022-10-13 21:43:16 -04:00    simon	56 0	Included	ZIP  TAR.GZ
wip-parser ff2600a4e9 · test: add test for proof syntax · Updated 2022-10-10 13:41:12 -04:00    simon	82 12		ZIP  TAR.GZ
wip-preprocess-2022-08-31 86106f182b · chore: makefile targets for some incremental benchs · Updated 2022-09-16 21:08:58 -04:00    simon	118 0	Included	ZIP  TAR.GZ
wip-optim-lra-2022-08-31 e74439cf2a · wip: new attempt at theory combination · Updated 2022-09-01 22:34:27 -04:00    simon	149 0	Included	ZIP  TAR.GZ
wip-defunctorize-terms 83a4ae46c1 · fix: use standard = even for LRA terms · Updated 2022-08-28 00:22:51 -04:00    simon	165 0	Included	ZIP  TAR.GZ
wip-th-comb 83a4ae46c1 · fix: use standard = even for LRA terms · Updated 2022-08-28 00:22:51 -04:00    simon	165 0	Included	ZIP  TAR.GZ
todo f96967b0da · delete todo · Updated 2022-08-27 14:01:41 -04:00    simon	1943 8		ZIP  TAR.GZ
wip-defunctorize-terms-UF-in-CC-expl cca2c48f07 · feat(cc): add small union-find on the side to make expls smaller · Updated 2022-08-21 22:57:10 -04:00    simon	191 1		ZIP  TAR.GZ
wip-better-cc-2022-07-21 7bbe70b060 · bugfix in CC · Updated 2022-08-12 23:07:59 -04:00    simon	318 1		ZIP  TAR.GZ
wip-simplify-functors-2022-07-15 b10aaf05f2 · wip: expose bug caused by order of event handlers · Updated 2022-07-20 21:40:04 -04:00    simon	328 0	Included	ZIP  TAR.GZ
wip-model-th-comb b16fce6f26 · Merge branch 'master' into wip-model-th-comb · Updated 2022-07-14 21:46:36 -04:00    simon	351 0	Included	ZIP  TAR.GZ