[Array] Support for value-eq-normalization
Showing
- colibri2/tests/solve/smt_array/sat/dune.inc 36 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/dune.inc
- colibri2/tests/solve/smt_array/sat/sat-res/dune 23 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/sat-res/dune
- colibri2/tests/solve/smt_array/sat/sat-res/dune.inc 12 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/sat-res/dune.inc
- colibri2/tests/solve/smt_array/sat/sat-res/test6.smt2 9 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/sat-res/test6.smt2
- colibri2/tests/solve/smt_array/sat/test5.smt2 5 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/test5.smt2
- colibri2/tests/solve/smt_array/sat/test7.smt2 8 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/test7.smt2
- colibri2/tests/solve/smt_array/step_limit_reached/notes.txt 2 additions, 0 deletionscolibri2/tests/solve/smt_array/step_limit_reached/notes.txt
- colibri2/tests/solve/smt_array/step_limit_reached/test8.smt2 10 additions, 0 deletionscolibri2/tests/solve/smt_array/step_limit_reached/test8.smt2
- colibri2/tests/solve/smt_array/unsat/dune.inc 12 additions, 12 deletionscolibri2/tests/solve/smt_array/unsat/dune.inc
- colibri2/tests/solve/smt_array/unsat/ite.smt2 0 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/ite.smt2
- colibri2/theories/array/Id.ml 6 additions, 0 deletionscolibri2/theories/array/Id.ml
- colibri2/theories/array/Id.mli 1 addition, 0 deletionscolibri2/theories/array/Id.mli
- colibri2/theories/array/RWRules.ml 34 additions, 12 deletionscolibri2/theories/array/RWRules.ml
- colibri2/theories/array/WEGraph.ml 430 additions, 70 deletionscolibri2/theories/array/WEGraph.ml
- colibri2/theories/array/WEGraph.mli 2 additions, 0 deletionscolibri2/theories/array/WEGraph.mli
- colibri2/theories/array/array.ml 4 additions, 0 deletionscolibri2/theories/array/array.ml
- colibri2/theories/array/common.ml 6 additions, 4 deletionscolibri2/theories/array/common.ml
- colibri2/theories/array/common.mli 1 addition, 0 deletionscolibri2/theories/array/common.mli
Loading
Please register or sign in to comment