| Relax bench on memory limit |
|
More...
|
about 3 years ago
|
| Merge branch 'fix_mlmpfr_version' into 'bugfix/v1.5' |
|
More...
|
about 3 years ago
|
| Merge branch 'simplify-info-model' into 'master' |
|
More...
|
about 3 years ago
|
| Simplify info.info_model |
|
More...
|
about 3 years ago
|
| Generate return value in models for val functions |
|
More...
|
about 3 years ago
|
| Merge branch 'fix-missing-documentation-why3prove-options' into 'master' |
|
More...
|
about 3 years ago
|
| Add missing documentation for options of why3 prove and why3 execute |
|
More...
|
about 3 years ago
|
| Add missing documentation for options of why3 prove and why3 execute |
|
More...
|
about 3 years ago
|
| Bump mlmpfr to 4.1.0+bugfix2 - remains compatible with previous versions Co-authored-by: François Bobot <[email protected]> |
|
More...
|
about 3 years ago
|
| Merge branch 'lemma_minor_fix' into 'master' |
|
More...
|
about 3 years ago
|
| fix CE results |
|
More...
|
about 3 years ago
|
| Merge branch 'master' into eliminate_unused_symbols |
|
More...
|
about 3 years ago
|
| avoid a cryptic error message after looking for a lemma |
|
More...
|
about 3 years ago
|
| Format |
|
More...
|
about 3 years ago
|
| cleanup |
|
More...
|
about 3 years ago
|
| Merge branch 'detect-steplimitexceeded-with-steps-values' into 'master' |
|
More...
|
about 3 years ago
|
| Detect StepLimitExceeded also by checking if steps >= stepslimit |
|
More...
|
about 3 years ago
|
| Merge branch 'fix-outofmemory-cvc5' into 'master' |
|
More...
|
about 3 years ago
|
| Add outofmemory pattern for CVC5 |
|
More...
|
about 3 years ago
|
| Merge branch 'cvc5' into 'master' |
|
More...
|
about 3 years ago
|
| Support for CVC5 |
|
More...
|
about 3 years ago
|
| Merge branch 'add_color_option_in_why3_prove' into 'master' |
|
More...
|
about 3 years ago
|
| Add boolean option (false by default) for color in output of why3 prove |
|
More...
|
about 3 years ago
|
| fix sessions |
|
More...
|
about 3 years ago
|
| fix proof |
|
More...
|
about 3 years ago
|
| Merge branch 'master' into eliminate_unused_symbols |
|
More...
|
about 3 years ago
|
| protect against invalid source locations in Why3 ide |
|
More...
|
about 3 years ago
|
| fix proofs |
|
More...
|
about 3 years ago
|
| fix proofs |
|
More...
|
about 3 years ago
|
| do not keep meta depends for eliminated axioms |
|
More...
|
about 3 years ago
|
