| Merge branch '340-consider-upgrading-the-module-mach-bv' into 'master' |
|
More...
|
over 4 years ago
|
| Correct indention in Mlw_printer |
|
More...
|
over 4 years ago
|
| Merge branch '550-add-support-for-recent-versions-of-z3' into 'master' |
|
More...
|
over 4 years ago
|
| Remove warnings for irreducible results |
|
More...
|
over 4 years ago
|
| support for Z3 4.8.7 to 4.8.10 |
|
More...
|
over 4 years ago
|
| Fix error in break_continue test |
|
More...
|
over 4 years ago
|
| Add definitions of globals without def to task as asserts |
|
More...
|
over 4 years ago
|
| Try to compute postconditions |
|
More...
|
over 4 years ago
|
| Expose Counterexample.ce_summary |
|
More...
|
over 4 years ago
|
| Add Mlw_printer.id_loc and debug specific locations |
|
More...
|
over 4 years ago
|
| fix recent change in bv theory : do not import useless ComputerDivision |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-nightly-bench' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'document_tagset' into 'master' |
|
More...
|
over 4 years ago
|
| Update mailmap. |
|
More...
|
over 4 years ago
|
| Add functions sdiv and srem in bitvector theories. |
|
More...
|
over 4 years ago
|
| Merge branch '535-add-srem-and-sdiv-operations-on-bitvectors' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'move-tests-extraction' into 'master' |
|
More...
|
over 4 years ago
|
| Fixes min and max in colibri driver |
|
More...
|
over 4 years ago
|
| Restructure Why3 configuration and autoconfiguration |
|
More...
|
over 4 years ago
|
| Merge branch 'move_microCP_to_examples' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch 'tests-to-bench' into 'master' |
|
More...
|
over 4 years ago
|
| fixed bench/bench |
|
More...
|
over 4 years ago
|
| Move tests/test-extraction to bench/extraction. |
|
More...
|
over 4 years ago
|
| Merge branch 'fix-warning-on-menhir' into 'master' |
|
More...
|
over 4 years ago
|
| Merge branch '341-consider-upgrading-the-module-mach-float' into 'master' |
|
More...
|
over 4 years ago
|
| added examples/{microc,python} to bench/bench |
|
More...
|
over 4 years ago
|
| moved micro-C/Python examples from tests/ to examples/ |
|
More...
|
over 4 years ago
|
| Fix annoying warning from Menhir |
|
More...
|
over 4 years ago
|
| move cfg tests from tests/ to examples/ |
|
More...
|
over 4 years ago
|
| Complete mach.float : add division and a module for 64-bits |
|
More...
|
over 4 years ago
|
