| .. |
|
arith
|
refactor to get sidekick-base library
|
2021-07-03 20:20:19 -04:00 |
|
base
|
refactor: eager proofs; stronger preprocessing
|
2021-08-22 01:13:41 -04:00 |
|
base-solver
|
wip: imperative proofs
|
2021-08-18 23:59:39 -04:00 |
|
bin-lib
|
feat: inner DRUP proof checking for pure-sat-solver
|
2021-08-19 00:15:00 -04:00 |
|
cc
|
refactor: eager proofs; stronger preprocessing
|
2021-08-22 01:13:41 -04:00 |
|
checker
|
fix: remove dep on mtime in checker
|
2021-08-23 10:17:51 -04:00 |
|
core
|
refactor: eager proofs; stronger preprocessing
|
2021-08-22 01:13:41 -04:00 |
|
drup
|
feat(checker): ability to read .drup.gz files
|
2021-08-23 00:10:37 -04:00 |
|
lit
|
feat: add sidekick.lit small library for literals
|
2021-08-17 23:58:49 -04:00 |
|
lra
|
fix preprocessing in th-bool
|
2021-08-22 01:29:01 -04:00 |
|
main
|
feat(main): for pure SAT, emit proofs into file or locally
|
2021-08-23 00:10:34 -04:00 |
|
memtrace
|
feat: optional memtrace support
|
2021-07-18 10:29:14 -04:00 |
|
mini-cc
|
wip: imperative proofs
|
2021-08-18 23:59:39 -04:00 |
|
proof
|
wip: imperative proofs
|
2021-08-18 23:59:39 -04:00 |
|
sat
|
fix(sat): emit proofs where needed
|
2021-08-23 00:08:09 -04:00 |
|
sigs
|
refactor to get sidekick-base library
|
2021-07-03 20:20:19 -04:00 |
|
smt-solver
|
chore: fix warning
|
2021-08-23 10:49:12 -04:00 |
|
smtlib
|
refactor: eager proofs; stronger preprocessing
|
2021-08-22 01:13:41 -04:00 |
|
tef
|
feat: make mtime optional with dummy "tef" backend
|
2021-07-18 10:31:03 -04:00 |
|
tests
|
perf: compile only in native
|
2021-08-05 10:53:46 -04:00 |
|
th-bool-dyn
|
wip: simplify a lot and only keep th-bool-static in the functor
|
2019-06-05 16:53:13 -05:00 |
|
th-bool-static
|
refactor(th-bool): remove cache and most recursion
|
2021-08-22 15:50:42 -04:00 |
|
th-cstor
|
wip: imperative proofs
|
2021-08-18 23:59:39 -04:00 |
|
th-data
|
refactor: eager proofs; stronger preprocessing
|
2021-08-22 01:13:41 -04:00 |
|
tools
|
tool: add ddSMT drivers and short readme
|
2021-03-18 13:44:53 -04:00 |
|
util
|
perf
|
2021-08-20 18:18:30 -04:00 |
|
zarith
|
refactor to get sidekick-base library
|
2021-07-03 20:20:19 -04:00 |
|
dune
|
prepare for vendoring
|
2021-07-18 01:24:04 -04:00 |
