Merge branch 'bobot/abs' into 'master'
Separate Abs and Sign See merge request !17
No related branches found
No related tags found
Checking pipeline status
Showing
- src_colibri2/core/colibri2_core.mli 21 additions, 1 deletionsrc_colibri2/core/colibri2_core.mli
- src_colibri2/core/dune 1 addition, 1 deletionsrc_colibri2/core/dune
- src_colibri2/core/egraph.ml 5 additions, 3 deletionssrc_colibri2/core/egraph.ml
- src_colibri2/core/structures/expr.ml 141 additions, 88 deletionssrc_colibri2/core/structures/expr.ml
- src_colibri2/popop_lib/debug.ml 59 additions, 36 deletionssrc_colibri2/popop_lib/debug.ml
- src_colibri2/popop_lib/debug.mli 17 additions, 17 deletionssrc_colibri2/popop_lib/debug.mli
- src_colibri2/solver/input.ml 2 additions, 0 deletionssrc_colibri2/solver/input.ml
- src_colibri2/solver/scheduler.ml 2 additions, 2 deletionssrc_colibri2/solver/scheduler.ml
- src_colibri2/tests/generate_tests/.ocamlformat 0 additions, 0 deletionssrc_colibri2/tests/generate_tests/.ocamlformat
- src_colibri2/tests/generate_tests/generate_dune_tests.ml 1 addition, 1 deletionsrc_colibri2/tests/generate_tests/generate_dune_tests.ml
- src_colibri2/tests/solve/all/sat/div_abs.smt2 11 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/div_abs.smt2
- src_colibri2/tests/solve/all/sat/div_abs2.smt2 9 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/div_abs2.smt2
- src_colibri2/tests/solve/all/sat/dune 13 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/dune
- src_colibri2/tests/solve/all/sat/dune.inc 6 additions, 0 deletionssrc_colibri2/tests/solve/all/sat/dune.inc
- src_colibri2/tests/solve/all/steplimitreached/dune.inc 2 additions, 2 deletionssrc_colibri2/tests/solve/all/steplimitreached/dune.inc
- src_colibri2/tests/solve/all/unsat/div_abs.smt2 11 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/div_abs.smt2
- src_colibri2/tests/solve/all/unsat/dune.inc 14 additions, 8 deletionssrc_colibri2/tests/solve/all/unsat/dune.inc
- src_colibri2/tests/solve/all/unsat/mul_abs.smt2 8 additions, 0 deletionssrc_colibri2/tests/solve/all/unsat/mul_abs.smt2
- src_colibri2/tests/solve/dimacs/sat/dune.inc 22 additions, 22 deletionssrc_colibri2/tests/solve/dimacs/sat/dune.inc
- src_colibri2/tests/solve/dimacs/unsat/dune.inc 12 additions, 12 deletionssrc_colibri2/tests/solve/dimacs/unsat/dune.inc
Loading
Please register or sign in to comment