-
Dockerfile
742 Bytes
-
README.md
9.1 kB
-
__MACOSX
-
._Dockerfile
321 Bytes
-
._README.md
474 Bytes
-
._cvc4
984 Bytes
-
._run_all_examples.sh
176 Bytes
-
examples
-
._.DS_Store
120 Bytes
-
._larger_examples.rk
176 Bytes
-
._paper_examples.rk
176 Bytes
-
._small_examples.rk
176 Bytes
-
ocaml
-
._.DS_Store
120 Bytes
-
._Makefile
384 Bytes
-
._comm.ml
225 Bytes
-
._comm.mli
225 Bytes
-
._main.ml
176 Bytes
-
._terms.ml
176 Bytes
-
._vcgen.ml
176 Bytes
-
cvc4
18.8 MB
-
examples
-
.DS_Store
6.1 kB
-
fun_and_rec.rk
2.3 kB
-
larger_examples.rk
3.2 kB
-
paper_examples.rk
9.4 kB
-
small_examples.rk
6.8 kB
-
ocaml
-
.DS_Store
6.1 kB
-
.merlin
27 Bytes
-
Makefile
687 Bytes
-
checker.ml
2.1 kB
-
comm.ml
110 Bytes
-
comm.mli
112 Bytes
-
lexer.mll
3.0 kB
-
main.ml
3.4 kB
-
parser.mly
4.3 kB
-
syntax.ml
8.9 kB
-
syntax.mli
2.0 kB
-
terms.ml
64.7 kB
-
terms.mli
376 Bytes
-
vcgen.ml
40.2 kB
-
vcgen.mli
3.2 kB
-
run_all_examples.sh
691 Bytes
-
run_file.sh
28 Bytes
-
run_paper_examples.sh
242 Bytes
-
run_repl.sh
24 Bytes