| fix ce oracles |
|
More...
|
about 3 years ago
|
| (WIP) First incomplete traduction from S-expression to Why3 terms |
|
More...
|
about 3 years ago
|
| Merge branch '559-vanished-invariant-expl-attribute' into 'master' |
|
More...
|
about 3 years ago
|
| New attribute `[@vc:trusted_wf]` |
|
More...
|
about 3 years ago
|
| do not fail hard when a char number in a location exceeds 4096 |
|
More...
|
about 3 years ago
|
| keep attributes when converting between bool and prop |
|
More...
|
about 3 years ago
|
| keep attributes when converting between bool and prop |
|
More...
|
about 3 years ago
|
| Merge branch 'fix-production-of-realizations' into 'master' |
|
More...
|
about 3 years ago
|
| Fix driver names when producing realizations |
|
More...
|
about 3 years ago
|
| resolve file locations during parsing. |
|
More...
|
about 3 years ago
|
| Clone defined (co)inductives |
|
More...
|
about 3 years ago
|
| (WIP) New model parser for SMTv2 outputs |
|
More...
|
about 3 years ago
|
| Merge branch '649-wish-a-uniform-treatment-of-relative-paths-in-configuration-and-drivers' into 'master' |
|
More...
|
about 3 years ago
|
| Revamp the API for loading drivers. Documentation clarified too. |
|
More...
|
about 3 years ago
|
| Move stackify tests to stackify directory |
|
More...
|
about 3 years ago
|
| Merge branch 'improve-apidoc' into 'master' |
|
More...
|
about 3 years ago
|
| Improvements of APIDOC |
|
More...
|
about 3 years ago
|
| Merge branch '520-update-documentation-of-the-why3-api' into 'master' |
|
More...
|
about 3 years ago
|
| reviewed documentation of [Ptree] module |
|
More...
|
about 3 years ago
|
| Merge branch 'loop-inv-infer-with-bdds' into 'master' |
|
More...
|
about 3 years ago
|
| support for Boolean variable directly as a condition |
|
More...
|
about 3 years ago
|
| add missing case for infix (=) |
|
More...
|
about 3 years ago
|
| interp also (-) and (*) in annotations. Fix reentrancy issue |
|
More...
|
about 3 years ago
|
| activate all tests, a bunch of unsupported feature identified |
|
More...
|
about 3 years ago
|
| support for if statement, equality program function and non-void return values |
|
More...
|
about 3 years ago
|
| fix of function calls on unit |
|
More...
|
about 3 years ago
|
| fix translation of function calls to AST |
|
More...
|
about 3 years ago
|
| WIP: support for local let ref |
|
More...
|
about 3 years ago
|
| move oracles in a separate subdir |
|
More...
|
about 3 years ago
|
| run infer bench with the new BDD inference engine |
|
More...
|
about 3 years ago
|
