[Array] Renamed the DiffGraph to WEGraph
for weak equivalency graph, which is a more accurate name.
parent
5bef85ce
No related branches found
No related tags found
Showing
- .gitignore 1 addition, 1 deletion.gitignore
- colibri2/tests/solve/smt_array/sat/dune 4 additions, 4 deletionscolibri2/tests/solve/smt_array/sat/dune
- colibri2/tests/solve/smt_array/sat/dune.inc 12 additions, 12 deletionscolibri2/tests/solve/smt_array/sat/dune.inc
- colibri2/tests/solve/smt_array/unsat/dune 4 additions, 4 deletionscolibri2/tests/solve/smt_array/unsat/dune
- colibri2/tests/solve/smt_array/unsat/dune.inc 60 additions, 60 deletionscolibri2/tests/solve/smt_array/unsat/dune.inc
- colibri2/theories/array/RWRules.ml 7 additions, 7 deletionscolibri2/theories/array/RWRules.ml
- colibri2/theories/array/RWRules.mli 0 additions, 0 deletionscolibri2/theories/array/RWRules.mli
- colibri2/theories/array/WEGraph.ml 58 additions, 58 deletionscolibri2/theories/array/WEGraph.ml
- colibri2/theories/array/WEGraph.mli 1 addition, 1 deletioncolibri2/theories/array/WEGraph.mli
- colibri2/theories/array/array.ml 16 additions, 16 deletionscolibri2/theories/array/array.ml
- colibri2/theories/array/common.ml 3 additions, 3 deletionscolibri2/theories/array/common.ml
- colibri2/theories/array/common.mli 1 addition, 1 deletioncolibri2/theories/array/common.mli
Loading
Please register or sign in to comment