Merge branch 'fixes' into 'master'
Fixes See merge request adacore/colibri!41
Showing
- Src/COLIBRI/check_ineq.pl 1 addition, 1 deletionSrc/COLIBRI/check_ineq.pl
- Src/COLIBRI/check_lin_expr.pl 1 addition, 1 deletionSrc/COLIBRI/check_lin_expr.pl
- Src/COLIBRI/col_solve.pl 9 additions, 9 deletionsSrc/COLIBRI/col_solve.pl
- Src/COLIBRI/colibri.pl 2 additions, 0 deletionsSrc/COLIBRI/colibri.pl
- Src/COLIBRI/mod.pl 1 addition, 0 deletionsSrc/COLIBRI/mod.pl
- Src/COLIBRI/mreal.pl 6 additions, 3 deletionsSrc/COLIBRI/mreal.pl
- Src/COLIBRI/ndelta.pl 9 additions, 2 deletionsSrc/COLIBRI/ndelta.pl
- Src/COLIBRI/new_parser_builtins.pl 21 additions, 0 deletionsSrc/COLIBRI/new_parser_builtins.pl
- Src/COLIBRI/rbox.pl 11 additions, 3 deletionsSrc/COLIBRI/rbox.pl
- Src/COLIBRI/realarith.pl 170 additions, 130 deletionsSrc/COLIBRI/realarith.pl
- Src/COLIBRI/smt_import.pl 131 additions, 41 deletionsSrc/COLIBRI/smt_import.pl
- Src/COLIBRI/solve.pl 295 additions, 186 deletionsSrc/COLIBRI/solve.pl
- Src/COLIBRI/solve_util.pl 3 additions, 0 deletionsSrc/COLIBRI/solve_util.pl
- Src/COLIBRI/trigo.pl 1351 additions, 0 deletionsSrc/COLIBRI/trigo.pl
- UnitTests/sat/ALL/acosP_1_sat.smt2 10 additions, 0 deletionsUnitTests/sat/ALL/acosP_1_sat.smt2
- UnitTests/sat/ALL/acos_0_sat.smt2 11 additions, 0 deletionsUnitTests/sat/ALL/acos_0_sat.smt2
- UnitTests/sat/ALL/acos_1_sat.smt2 11 additions, 0 deletionsUnitTests/sat/ALL/acos_1_sat.smt2
- UnitTests/sat/ALL/acos_m1_sat.smt2 11 additions, 0 deletionsUnitTests/sat/ALL/acos_m1_sat.smt2
- UnitTests/sat/ALL/asinN_m1_sat.smt2 11 additions, 0 deletionsUnitTests/sat/ALL/asinN_m1_sat.smt2
- UnitTests/sat/ALL/asinP_1_sat.smt2 11 additions, 0 deletionsUnitTests/sat/ALL/asinP_1_sat.smt2
Loading
Please register or sign in to comment