Default branch

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

ZIP  TAR.GZ

Branches

wip-preprocess-2022-02-04 65d4a90df1 · tef: stop compression, too fragile. just emit a .json file · Updated 2022-02-18 14:59:26 -05:00    simon	364 0	Included	ZIP  TAR.GZ
wip-lia 2885563929 · fix(lra): better handling of model production for preprocessed-away terms · Updated 2022-02-03 14:24:07 -05:00    simon	388 0	Included	ZIP  TAR.GZ
wip-datatype-proofs b6df2cd974 · clause-less steps in proofs · Updated 2022-01-03 22:59:43 -05:00    simon	446 0	Included	ZIP  TAR.GZ
wip-lra-simplex-propagations-implied-tmp-2022-01-03 ab4e115b32 · tmp: restore some preprocessing · Updated 2022-01-03 17:05:12 -05:00    simon	453 7		ZIP  TAR.GZ
wip-dyn-trans c7511b2934 · fix compilation error · Updated 2021-09-27 19:27:04 -04:00    simon	545 18		ZIP  TAR.GZ
wip-dyn-trans-gc-atoms aaec84dfb6 · wip: gc atoms and reuse them · Updated 2021-09-26 21:35:34 -04:00    simon	554 22		ZIP  TAR.GZ
wip-custom-clause-allocators 8eb50afecb · feat(smt): provide SAT solver to theories upon initialization · Updated 2021-09-02 22:24:59 -04:00    simon	554 3		ZIP  TAR.GZ
wip-dod-cc 4e0eae6d9e · perf: restore previous handling of bitfields · Updated 2021-08-26 00:10:43 -04:00    simon	564 4		ZIP  TAR.GZ
wip-drup-check 5505ece5fb · chore: fix warning · Updated 2021-08-23 10:49:12 -04:00    simon	570 0	Included	ZIP  TAR.GZ
wip-no-lits f5240a857b · wip: refactor: replace literals by mere terms · Updated 2021-08-21 14:39:37 -04:00    simon	582 1		ZIP  TAR.GZ
wip-dod-sat-bitvec-i32 76df299a36 · wip: perf(bitvec): use a VecI32.t underneath · Updated 2021-08-18 12:43:56 -04:00    simon	620 2		ZIP  TAR.GZ
wip-dod-sat c14070b622 · perf: compile in release by default 😡 · Updated 2021-08-02 16:04:59 -04:00    simon	620 0	Included	ZIP  TAR.GZ
wip-sat-phase-saving-2021-07-22 62f45777a1 · feat(sat): implement phase saving in the SAT solver · Updated 2021-07-22 09:58:04 -04:00    simon	621 1		ZIP  TAR.GZ
wip-vendored-msat 15d86d7c62 · refactor(sat): use first-class modules instead of records · Updated 2021-07-18 19:18:42 -04:00    simon	648 0	Included	ZIP  TAR.GZ
wip-self-contained-proofs 98f246db4c · fix test · Updated 2021-07-18 01:04:15 -04:00    simon	836 4		ZIP  TAR.GZ
wip-doc-small-solver 1fd226183e · wip: add small SMT solver for the guide · Updated 2021-07-07 22:22:09 -04:00    simon	836 1		ZIP  TAR.GZ
wip-model-production bc9206d8fa · dbg · Updated 2021-03-30 16:00:36 -04:00    simon	900 1		ZIP  TAR.GZ
wip-lra-simplex-propagations 3fedca069d · wip: perf(lra): implement basic propagations · Updated 2021-03-22 12:15:36 -04:00    simon	916 0	Included	ZIP  TAR.GZ
wip-lra-simplex a5166fb19b · more stats · Updated 2021-02-22 16:45:21 -05:00    simon	945 0	Included	ZIP  TAR.GZ
wip-fix-lra 9d579af235 · wip: make lazyness of model explicit · Updated 2020-12-21 16:15:49 -05:00    simon	1002 0	Included	ZIP  TAR.GZ