[Array] Improved converter, added some tests, cleaned some code
parent
abdf4513
No related branches found
No related tags found
Showing
- colibri2/tests/solve/smt_array/sat/dune 0 additions, 8 deletionscolibri2/tests/solve/smt_array/sat/dune
- colibri2/tests/solve/smt_array/sat/dune.inc 18 additions, 48 deletionscolibri2/tests/solve/smt_array/sat/dune.inc
- colibri2/tests/solve/smt_array/sat/test1.smt2 0 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/test1.smt2
- colibri2/tests/solve/smt_array/step_limit_reached/notes.txt 13 additions, 5 deletionscolibri2/tests/solve/smt_array/step_limit_reached/notes.txt
- colibri2/tests/solve/smt_array/step_limit_reached/test3.smt2 10 additions, 0 deletionscolibri2/tests/solve/smt_array/step_limit_reached/test3.smt2
- colibri2/tests/solve/smt_array/step_limit_reached/test4.smt2 12 additions, 0 deletionscolibri2/tests/solve/smt_array/step_limit_reached/test4.smt2
- colibri2/tests/solve/smt_array/unknown/test.smt2 0 additions, 5 deletionscolibri2/tests/solve/smt_array/unknown/test.smt2
- colibri2/tests/solve/smt_array/unsat/dune 0 additions, 8 deletionscolibri2/tests/solve/smt_array/unsat/dune
- colibri2/tests/solve/smt_array/unsat/dune.inc 0 additions, 192 deletionscolibri2/tests/solve/smt_array/unsat/dune.inc
- colibri2/theories/array/Array_Id_dom.ml 0 additions, 26 deletionscolibri2/theories/array/Array_Id_dom.ml
- colibri2/theories/array/Array_Id_dom.mli 0 additions, 22 deletionscolibri2/theories/array/Array_Id_dom.mli
- colibri2/theories/array/Id.ml 9 additions, 3 deletionscolibri2/theories/array/Id.ml
- colibri2/theories/array/Id.mli 2 additions, 1 deletioncolibri2/theories/array/Id.mli
- colibri2/theories/array/RWRules.ml 39 additions, 36 deletionscolibri2/theories/array/RWRules.ml
- colibri2/theories/array/WEGraph.ml 127 additions, 114 deletionscolibri2/theories/array/WEGraph.ml
- colibri2/theories/array/WEGraph.mli 1 addition, 0 deletionscolibri2/theories/array/WEGraph.mli
- colibri2/theories/array/array.ml 25 additions, 34 deletionscolibri2/theories/array/array.ml
- colibri2/theories/array/array_value.ml 30 additions, 28 deletionscolibri2/theories/array/array_value.ml
- colibri2/theories/array/common.ml 14 additions, 11 deletionscolibri2/theories/array/common.ml
- colibri2/theories/array/common.mli 5 additions, 2 deletionscolibri2/theories/array/common.mli
Loading
Please register or sign in to comment