Merge branch 'bobot/abs' into 'master'
[Quant] Substitute by prefering existing terms to new equal one See merge request !25
No related branches found
No related tags found
Checking pipeline status
Showing
- Makefile 2 additions, 1 deletionMakefile
- src_colibri2/core/colibri2_core.mli 47 additions, 0 deletionssrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/datastructure.ml 56 additions, 0 deletionssrc_colibri2/core/datastructure.ml
- src_colibri2/core/datastructure.mli 24 additions, 0 deletionssrc_colibri2/core/datastructure.mli
- src_colibri2/core/demon.ml 11 additions, 1 deletionsrc_colibri2/core/demon.ml
- src_colibri2/core/demon.mli 1 addition, 0 deletionssrc_colibri2/core/demon.mli
- src_colibri2/core/egraph.ml 8 additions, 2 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/ground.ml 168 additions, 142 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/ground.mli 52 additions, 8 deletionssrc_colibri2/core/ground.mli
- src_colibri2/core/interp.ml 4 additions, 4 deletionssrc_colibri2/core/interp.ml
- src_colibri2/core/structures/nodes.ml 2 additions, 0 deletionssrc_colibri2/core/structures/nodes.ml
- src_colibri2/solver/input.ml 4 additions, 1 deletionsrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 12 additions, 7 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/stdlib/context.ml 135 additions, 2 deletionssrc_colibri2/stdlib/context.ml
- src_colibri2/stdlib/context.mli 35 additions, 0 deletionssrc_colibri2/stdlib/context.mli
- src_colibri2/tests/solve/all/sat/dune.inc 3 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/dune.inc
- src_colibri2/tests/solve/all/sat/test_sqrt_assert_KO_Why3_Colibri2_n_a.psmt2 8 additions, 0 deletions...solve/all/sat/test_sqrt_assert_KO_Why3_Colibri2_n_a.psmt2
- src_colibri2/tests/solve/all/unknown/dune 13 additions, 0 deletionssrc_colibri2/tests/solve/all/unknown/dune
- src_colibri2/tests/solve/all/unknown/dune.inc 3 additions, 0 deletionssrc_colibri2/tests/solve/all/unknown/dune.inc
- src_colibri2/tests/solve/all/unknown/float_interval-GenericFloat-div_finite_rev_1.psmt2 118 additions, 0 deletions...nknown/float_interval-GenericFloat-div_finite_rev_1.psmt2
Loading
Please register or sign in to comment