Merge branch 'fix_bug25' into 'master'
Fix bug25 See merge request adacore/colibri!13
Showing
- Src/COLIBRI/arith.pl 208 additions, 209 deletionsSrc/COLIBRI/arith.pl
- Src/COLIBRI/arith_sched.pl 110 additions, 111 deletionsSrc/COLIBRI/arith_sched.pl
- Src/COLIBRI/col_solve.pl 50 additions, 84 deletionsSrc/COLIBRI/col_solve.pl
- Src/COLIBRI/lp_arith.pl 19 additions, 15 deletionsSrc/COLIBRI/lp_arith.pl
- Src/COLIBRI/ndelta.pl 5 additions, 1 deletionSrc/COLIBRI/ndelta.pl
- Src/COLIBRI/notify.pl 6 additions, 7 deletionsSrc/COLIBRI/notify.pl
- Src/COLIBRI/rbox.pl 6 additions, 7 deletionsSrc/COLIBRI/rbox.pl
- Src/COLIBRI/realarith.pl 511 additions, 259 deletionsSrc/COLIBRI/realarith.pl
- Src/COLIBRI/smt_import.pl 12 additions, 0 deletionsSrc/COLIBRI/smt_import.pl
- Src/COLIBRI/solve.pl 234 additions, 67 deletionsSrc/COLIBRI/solve.pl
- neno 1 addition, 0 deletionsneno
- test.sh 14 additions, 4 deletionstest.sh
- tests/sat/mod_repr.smt2 18 additions, 0 deletionstests/sat/mod_repr.smt2
- tests/sat/test-Top-Int_Pow_invalid.smt2 0 additions, 0 deletionstests/sat/test-Top-Int_Pow_invalid.smt2
- tests/unsat/divide_transitive_bv.smt2 14 additions, 0 deletionstests/unsat/divide_transitive_bv.smt2
- tests/unsat/divide_transitive_int.smt2 14 additions, 0 deletionstests/unsat/divide_transitive_int.smt2
- tests/unsat/divide_transitive_int.why 6 additions, 0 deletionstests/unsat/divide_transitive_int.why
- tests/unsat/divide_transitive_int_no_mod.smt2 16 additions, 0 deletionstests/unsat/divide_transitive_int_no_mod.smt2
- tests/unsat/divide_transitive_int_no_mod.why 8 additions, 0 deletionstests/unsat/divide_transitive_int_no_mod.why
- tests/unsat/float_scale.smt2 21 additions, 0 deletionstests/unsat/float_scale.smt2
Loading
Please register or sign in to comment