Merge branch 'feature/array_theory_to_merge' into 'master'
New array and sequence theory See merge request !27
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- Makefile 14 additions, 7 deletionsMakefile
- colibri2/bin/dune 3 additions, 1 deletioncolibri2/bin/dune
- colibri2/core/colibri2_core.ml 63 additions, 52 deletionscolibri2/core/colibri2_core.ml
- colibri2/core/colibri2_core.mli 44 additions, 2 deletionscolibri2/core/colibri2_core.mli
- colibri2/core/datastructure.ml 56 additions, 0 deletionscolibri2/core/datastructure.ml
- colibri2/core/datastructure.mli 13 additions, 0 deletionscolibri2/core/datastructure.mli
- colibri2/core/ground.ml 5 additions, 2 deletionscolibri2/core/ground.ml
- colibri2/core/ground.mli 15 additions, 11 deletionscolibri2/core/ground.mli
- colibri2/core/interp.ml 24 additions, 4 deletionscolibri2/core/interp.ml
- colibri2/core/interp.mli 4 additions, 0 deletionscolibri2/core/interp.mli
- colibri2/core/options.ml 20 additions, 0 deletionscolibri2/core/options.ml
- colibri2/solver/input.ml 6 additions, 10 deletionscolibri2/solver/input.ml
- colibri2/solver/input.mli 75 additions, 0 deletionscolibri2/solver/input.mli
- colibri2/solver/scheduler.ml 1 addition, 1 deletioncolibri2/solver/scheduler.ml
- colibri2/stdlib/comp_keys.ml 0 additions, 476 deletionscolibri2/stdlib/comp_keys.ml
- colibri2/stdlib/comp_keys.mli 0 additions, 209 deletionscolibri2/stdlib/comp_keys.mli
- colibri2/stdlib/debug.ml 2 additions, 1 deletioncolibri2/stdlib/debug.ml
- colibri2/stdlib/debug.mli 1 addition, 0 deletionscolibri2/stdlib/debug.mli
- colibri2/stdlib/dune 2 additions, 2 deletionscolibri2/stdlib/dune
Loading
Please register or sign in to comment