Merge branch 'fix_33_35_36_37' into 'master'
Import from Bin:a1af7a0 Src:c5147cc9e farith:a93db57 Closes #37, #36, #35, and #33 See merge request adacore/colibri!19
No related branches found
No related tags found
Checking pipeline status
Showing
- Src/COLIBRI/arith.pl 476 additions, 387 deletionsSrc/COLIBRI/arith.pl
- Src/COLIBRI/col_solve.pl 2 additions, 2 deletionsSrc/COLIBRI/col_solve.pl
- Src/COLIBRI/lp_arith.pl 28 additions, 20 deletionsSrc/COLIBRI/lp_arith.pl
- Src/COLIBRI/ndelta.pl 20 additions, 8 deletionsSrc/COLIBRI/ndelta.pl
- Src/COLIBRI/realarith.pl 83 additions, 38 deletionsSrc/COLIBRI/realarith.pl
- Src/COLIBRI/smt_import.pl 7 additions, 4 deletionsSrc/COLIBRI/smt_import.pl
- Src/COLIBRI/solve.pl 282 additions, 32 deletionsSrc/COLIBRI/solve.pl
- test.sh 7 additions, 3 deletionstest.sh
- tests/sat/bug36.smt2 11 additions, 0 deletionstests/sat/bug36.smt2
- tests/unknown/bug37.smt2 1234 additions, 0 deletionstests/unknown/bug37.smt2
- tests/unsat/issue33.smt2 9 additions, 0 deletionstests/unsat/issue33.smt2
- tests/unsat/issue35.smt2 17 additions, 0 deletionstests/unsat/issue35.smt2
Loading
Please register or sign in to comment