[Array] Start the theory
Showing
- Makefile 12 additions, 7 deletionsMakefile
- colibri2/bin/dune 2 additions, 1 deletioncolibri2/bin/dune
- colibri2/core/ground.ml 1 addition, 1 deletioncolibri2/core/ground.ml
- colibri2/core/options.ml 20 additions, 0 deletionscolibri2/core/options.ml
- colibri2/solver/scheduler.ml 1 addition, 1 deletioncolibri2/solver/scheduler.ml
- colibri2/tests/solve/smt_array/sat/dune 12 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/dune
- colibri2/tests/solve/smt_array/sat/dune.inc 0 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/dune.inc
- colibri2/tests/solve/smt_array/unsat/dune 12 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/dune
- colibri2/tests/solve/smt_array/unsat/dune.inc 6 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/dune.inc
- colibri2/tests/solve/smt_array/unsat/select.smt2 9 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/select.smt2
- colibri2/tests/solve/smt_array/unsat/store.smt2 7 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/store.smt2
- colibri2/theories/array/.ocamlformat 0 additions, 0 deletionscolibri2/theories/array/.ocamlformat
- colibri2/theories/array/array.ml 68 additions, 0 deletionscolibri2/theories/array/array.ml
- colibri2/theories/array/array.mli 21 additions, 0 deletionscolibri2/theories/array/array.mli
- colibri2/theories/array/dune 34 additions, 0 deletionscolibri2/theories/array/dune
- colibri2/theories/quantifier/callback.ml 20 additions, 0 deletionscolibri2/theories/quantifier/callback.ml
- colibri2/theories/quantifier/callback.mli 20 additions, 0 deletionscolibri2/theories/quantifier/callback.mli
- colibri2/theories/quantifier/congruence_closure.mli 1 addition, 0 deletionscolibri2/theories/quantifier/congruence_closure.mli
- misc/header_cea_ocamlpro.txt 18 additions, 0 deletionsmisc/header_cea_ocamlpro.txt
Loading
Please register or sign in to comment