| .. |
|
core_rules.ml
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
core_rules.mli
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
dune
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
pterm.ml
|
depth-restricted printing for terms and pterms
|
2022-10-13 21:43:16 -04:00 |
|
pterm.mli
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
sat_rules.ml
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
sat_rules.mli
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
sidekick_proof.ml
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
step.ml
|
refactor(proof): serialize pterms; tracer inherits term tracer
|
2022-10-12 22:19:13 -04:00 |
|
step_vec.ml
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
step_vec.mli
|
wip: feat(proof): lib sidekick.proof with tracing
|
2022-10-12 12:17:35 -04:00 |
|
trace_reader.ml
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
trace_reader.mli
|
feat: decode proofs from traces; print them in show_trace
|
2022-10-13 00:03:08 -04:00 |
|
tracer.ml
|
refactor(proof): serialize pterms; tracer inherits term tracer
|
2022-10-12 22:19:13 -04:00 |
|
tracer.mli
|
refactor(proof): serialize pterms; tracer inherits term tracer
|
2022-10-12 22:19:13 -04:00 |
