| .. |
|
tests
|
test: add a test using a file backend
|
2021-10-14 23:40:51 -04:00 |
|
Backtrack_stack.ml
|
feat(vec): more
|
2021-07-20 23:28:54 -04:00 |
|
Backtrack_stack.mli
|
feat(util): add Backtrack_stack.iter
|
2020-11-17 18:23:58 -05:00 |
|
Backtrackable_ref.ml
|
feat(util): add backtrackable ref
|
2021-12-07 14:08:06 -05:00 |
|
Backtrackable_ref.mli
|
feat(util): add backtrackable ref
|
2021-12-07 14:08:06 -05:00 |
|
Backtrackable_tbl.ml
|
improve zarith and backtrackable table
|
2022-02-08 13:12:07 -05:00 |
|
Backtrackable_tbl.mli
|
improve zarith and backtrackable table
|
2022-02-08 13:12:07 -05:00 |
|
Bag.ml
|
wip: refactor proof
|
2021-10-07 20:49:39 -04:00 |
|
Bag.mli
|
wip: refactor proof
|
2021-10-07 20:49:39 -04:00 |
|
Bitvec.ml
|
wip: refactor SAT solver
|
2021-07-19 09:57:02 -04:00 |
|
Bitvec.mli
|
feat(util): a Bitvec module, refactor testing
|
2021-07-19 09:57:02 -04:00 |
|
Chunk_stack.ml
|
wip: dump more steps to the trace file
|
2021-10-20 20:41:51 -04:00 |
|
Chunk_stack.mli
|
wip: emit proof steps
|
2021-10-19 22:52:34 -04:00 |
|
dune
|
feat(util): add VecI32 based on bigarray
|
2021-07-20 10:07:29 -04:00 |
|
Error.ml
|
refactor: get SAT properly again on some problems
|
2018-05-20 14:30:36 -05:00 |
|
Error.mli
|
refactor: get SAT properly again on some problems
|
2018-05-20 14:30:36 -05:00 |
|
Hash.ml
|
perf(hash): use FNV hashing
|
2021-04-04 17:45:36 -04:00 |
|
Hash.mli
|
refactor: move Hash to util/; fix some warnings
|
2019-06-10 10:46:16 -05:00 |
|
IArray.ml
|
add IArray.iteri2
|
2021-06-15 20:54:43 -04:00 |
|
IArray.mli
|
add IArray.iteri2
|
2021-06-15 20:54:43 -04:00 |
|
Int_id.ml
|
feat: move Int_id into its own module
|
2021-08-25 23:52:08 -04:00 |
|
Log.ml
|
cleanup msat, rename it sidekick.sat
|
2021-07-18 01:40:55 -04:00 |
|
Log.mli
|
cleanup msat, rename it sidekick.sat
|
2021-07-18 01:40:55 -04:00 |
|
Profile.ml
|
perf(tef): inlining attrs
|
2021-06-11 21:53:13 -04:00 |
|
Profile.mli
|
feat(profile): util with2
|
2021-06-11 21:53:13 -04:00 |
|
Sidekick_util.ml
|
feat(util): add backtrackable ref
|
2021-12-07 14:08:06 -05:00 |
|
Stat.ml
|
move to containers 3.0
|
2020-09-08 22:33:24 -04:00 |
|
Stat.mli
|
feat(cc): expose a way to access bitfields
|
2019-06-10 15:19:57 -05:00 |
|
Util.ml
|
wip: decode more proof steps to quip
|
2021-10-27 21:50:28 -04:00 |
|
Util.mli
|
fix tests and warning
|
2021-10-27 21:54:30 -04:00 |
|
Vec.ml
|
feat(vec): add append, fix prepend
|
2021-11-19 22:35:40 -05:00 |
|
Vec.mli
|
feat(vec): add append, fix prepend
|
2021-11-19 22:35:40 -05:00 |
|
Vec_float.ml
|
fix bug in veci32
|
2021-10-16 21:41:10 -04:00 |
|
Vec_float.mli
|
feat(vec): add copy
|
2021-09-29 22:16:10 -04:00 |
|
Vec_sig.ml
|
feat(vec): add copy
|
2021-09-29 22:16:10 -04:00 |
|
Vec_unit.ml
|
add Vec_unit to util
|
2021-10-12 22:13:05 -04:00 |
|
Vec_unit.mli
|
add Vec_unit to util
|
2021-10-12 22:13:05 -04:00 |
|
VecI32.ml
|
fix bug in veci32
|
2021-10-16 21:41:10 -04:00 |
|
VecI32.mli
|
wip: split VecI32 and VecSmallInt
|
2021-10-16 20:31:56 -04:00 |
|
VecSmallInt.ml
|
wip: split VecI32 and VecSmallInt
|
2021-10-16 20:31:56 -04:00 |
|
VecSmallInt.mli
|
wip: split VecI32 and VecSmallInt
|
2021-10-16 20:31:56 -04:00 |
