| .. |
|
gen
|
large refactor with signature splitting, events, etc.
|
2022-07-18 23:20:07 -04:00 |
|
tests
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
Backtrack_stack.ml
|
warnings
|
2022-07-15 20:32:58 -04:00 |
|
Backtrack_stack.mli
|
feat: add some BACKTRACKABLE sigs
|
2022-07-17 20:21:22 -04:00 |
|
Backtrackable_ref.ml
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
Backtrackable_ref.mli
|
feat: add some BACKTRACKABLE sigs
|
2022-07-17 20:21:22 -04:00 |
|
Backtrackable_tbl.ml
|
feat: add some BACKTRACKABLE sigs
|
2022-07-17 20:21:22 -04:00 |
|
Backtrackable_tbl.mli
|
feat: add some BACKTRACKABLE sigs
|
2022-07-17 20:21:22 -04:00 |
|
Bag.ml
|
refactor(proof): use a suspension but keep uniform Proof_term.data type
|
2022-07-31 15:01:11 -04:00 |
|
Bag.mli
|
refactor(proof): use a suspension but keep uniform Proof_term.data type
|
2022-07-31 15:01:11 -04:00 |
|
Bitvec.ml
|
remove iarray
|
2022-07-15 21:06:46 -04:00 |
|
Bitvec.mli
|
remove iarray
|
2022-07-15 21:06:46 -04:00 |
|
Chunk_stack.ml
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
Chunk_stack.mli
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
dune
|
feat(log): if Profile is enabled, forward messages to it
|
2022-08-18 22:02:52 -04:00 |
|
Error.ml
|
feat(Error): add Error.result/try_
|
2022-09-19 22:27:43 -04:00 |
|
Error.mli
|
feat(Error): add Error.result/try_
|
2022-09-19 22:27:43 -04:00 |
|
Event.ml
|
small fixes, warnings
|
2022-08-27 20:44:13 -04:00 |
|
Event.mli
|
doc
|
2022-09-19 22:27:43 -04:00 |
|
Hash.ml
|
perf(util): more inlining
|
2022-08-14 22:33:33 -04:00 |
|
Hash.mli
|
remove iarray
|
2022-07-15 21:06:46 -04:00 |
|
Int_id.ml
|
improve Int_id for tracing
|
2022-10-12 12:20:20 -04:00 |
|
Log.ml
|
feat(util): improve debug printer wrt newlines
|
2023-05-07 21:03:33 -04:00 |
|
Log.mli
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
Profile.ml
|
feat(profile): add ?args to spans
|
2022-08-20 00:21:28 -04:00 |
|
Profile.mli
|
feat(profile): add ?args to spans
|
2022-08-20 00:21:28 -04:00 |
|
ser_decode.ml
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
ser_decode.mli
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
ser_value.ml
|
feat(tracing): introduce term/const serialization
|
2022-09-23 22:13:21 -04:00 |
|
ser_value.mli
|
feat(tracing): introduce term/const serialization
|
2022-09-23 22:13:21 -04:00 |
|
Sidekick_util.ml
|
warnings
|
2022-10-20 16:12:52 -04:00 |
|
Stat.ml
|
feat(stat): improve printing
|
2022-08-14 23:21:22 -04:00 |
|
Stat.mli
|
feat(stat): improve printing api
|
2022-08-13 13:45:31 -04:00 |
|
Util.ml
|
feat(util): improve debug printer wrt newlines
|
2023-05-07 21:03:33 -04:00 |
|
Util.mli
|
feat(util): improve debug printer wrt newlines
|
2023-05-07 21:03:33 -04:00 |
|
Vec.ml
|
wip: expose bug caused by order of event handlers
|
2022-07-20 21:40:04 -04:00 |
|
Vec.mli
|
wip: expose bug caused by order of event handlers
|
2022-07-20 21:40:04 -04:00 |
|
Vec_float.ml
|
remove veci32
|
2022-07-15 20:32:06 -04:00 |
|
Vec_float.mli
|
use ocamlformat
|
2022-07-14 22:09:13 -04:00 |
|
Vec_sig.ml
|
remove veci32
|
2022-07-15 20:32:06 -04:00 |
|
Veci.ml
|
remove veci32
|
2022-07-15 20:32:06 -04:00 |
|
Veci.mli
|
remove veci32
|
2022-07-15 20:32:06 -04:00 |
