Merge branch 'fix_bug25' into 'master'
Fix bug25 Closes #25 See merge request adacore/colibri!12
Showing
- Src/COLIBRI/arith.pl 82 additions, 84 deletionsSrc/COLIBRI/arith.pl
- Src/COLIBRI/check_ineq.pl 45 additions, 45 deletionsSrc/COLIBRI/check_ineq.pl
- Src/COLIBRI/check_lin_expr.pl 310 additions, 221 deletionsSrc/COLIBRI/check_lin_expr.pl
- Src/COLIBRI/col_solve.pl 9 additions, 5 deletionsSrc/COLIBRI/col_solve.pl
- Src/COLIBRI/ndelta.pl 1142 additions, 1047 deletionsSrc/COLIBRI/ndelta.pl
- Src/COLIBRI/realarith.pl 1270 additions, 967 deletionsSrc/COLIBRI/realarith.pl
- Src/COLIBRI/smt_import.pl 3 additions, 1 deletionSrc/COLIBRI/smt_import.pl
- Src/COLIBRI/solve.pl 19 additions, 22 deletionsSrc/COLIBRI/solve.pl
- tests/sat/bug25.smt2 64 additions, 0 deletionstests/sat/bug25.smt2
Loading
Please register or sign in to comment