| micro Python: types in quantifiers |
|
More...
|
almost 4 years ago
|
| Merge branch 'update-ci' into 'master' |
|
More...
|
almost 4 years ago
|
| Move Alt-Ergo from 2.3.0 to 2.3.3. |
|
More...
|
almost 4 years ago
|
| Do not push cache image when building a tag. |
|
More...
|
almost 4 years ago
|
| Update image for continuous integration. |
|
More...
|
almost 4 years ago
|
| Merge branch 'improve-apidoc' into 'master' |
|
More...
|
almost 4 years ago
|
| Merge branch 'doc_printer' into 'master' |
|
More...
|
almost 4 years ago
|
| Fix some typos in API documentation. |
|
More...
|
almost 4 years ago
|
| Evaluate array variables when interpreting prover models |
|
More...
|
almost 4 years ago
|
| Use monomorphic compare when interpreting prover values |
|
More...
|
almost 4 years ago
|
| Customise attributes pushed through introduction transformation |
|
More...
|
almost 4 years ago
|
| remove dummy variable in ce model |
|
More...
|
almost 4 years ago
|
| Merge branch 'issue582' into 'master' |
|
More...
|
almost 4 years ago
|
| Merge branch 'types-in-micro-python' into 'master' |
|
More...
|
almost 4 years ago
|
| micro Python: type annotations in programs |
|
More...
|
almost 4 years ago
|
| micrp Python: more types |
|
More...
|
almost 4 years ago
|
| Merge branch '589-lost-counterexamples-after-reduction-of-prover-models' into 'master' |
|
More...
|
almost 4 years ago
|
| remove use of Option.map (too recent) |
|
More...
|
almost 4 years ago
|
| Merge branch 'apidoc' into 'master' |
|
More...
|
almost 4 years ago
|
| micro Python : syntax for types in function and predicate |
|
More...
|
almost 4 years ago
|
| Merge branch 'strategy_limits' into 'master' |
|
More...
|
almost 4 years ago
|
| Fix some API documentation issues. |
|
More...
|
almost 4 years ago
|
| Allow step limits in strategies |
|
More...
|
almost 4 years ago
|
| Fix CE oracles and add a new example |
|
More...
|
almost 4 years ago
|
| Fix broken documentation header. |
|
More...
|
almost 4 years ago
|
| [Printer] add documentation |
|
More...
|
almost 4 years ago
|
| Merge branch 'improve-bench' into 'master' |
|
More...
|
almost 4 years ago
|
| Merge branch 'doc/improve_ptree_mli' into 'master' |
|
More...
|
almost 4 years ago
|
| Improve documentation of [Ptree] API |
|
More...
|
almost 4 years ago
|
| Make it possible to select more than one test category. |
|
More...
|
almost 4 years ago
|
