Default branch

main 6c8d6840f8 · chore: update workflows · Updated 2025-01-27 21:49:09 -05:00

ZIP  TAR.GZ

Branches

wip-datatype-proofs b6df2cd974 · clause-less steps in proofs · Updated 2022-01-03 22:59:43 -05:00    simon	435 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	442 7		ZIP  TAR.GZ
wip-dyn-trans c7511b2934 · fix compilation error · Updated 2021-09-27 19:27:04 -04:00    simon	534 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	543 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	543 3		ZIP  TAR.GZ
wip-dod-cc 4e0eae6d9e · perf: restore previous handling of bitfields · Updated 2021-08-26 00:10:43 -04:00    simon	553 4		ZIP  TAR.GZ
wip-drup-check 5505ece5fb · chore: fix warning · Updated 2021-08-23 10:49:12 -04:00    simon	559 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	571 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	609 2		ZIP  TAR.GZ
wip-dod-sat c14070b622 · perf: compile in release by default 😡 · Updated 2021-08-02 16:04:59 -04:00    simon	609 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	610 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	637 0	Included	ZIP  TAR.GZ
wip-self-contained-proofs 98f246db4c · fix test · Updated 2021-07-18 01:04:15 -04:00    simon	825 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	825 1		ZIP  TAR.GZ
wip-model-production bc9206d8fa · dbg · Updated 2021-03-30 16:00:36 -04:00    simon	889 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	905 0	Included	ZIP  TAR.GZ
wip-lra-simplex a5166fb19b · more stats · Updated 2021-02-22 16:45:21 -05:00    simon	934 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	991 0	Included	ZIP  TAR.GZ
wip-lra 242f554974 · chore: remove deps on funarith · Updated 2020-10-10 14:34:13 -04:00    simon	1015 0	Included	ZIP  TAR.GZ
wip-github-action 591337855e · wip · Updated 2019-11-21 14:15:12 -05:00    simon	1103 3		ZIP  TAR.GZ