| Merge branch 'bugfix/v1.8' |
|
More...
|
3 months ago
|
| Version 1.8.1 |
|
More...
|
3 months ago
|
| update headers |
|
More...
|
3 months ago
|
| prepare release |
|
More...
|
3 months ago
|
| do not map IEEE floats theory to Alt-Ergo's own theory |
|
More...
|
3 months ago
|
| Merge branch '905-alt-ergo-driver-creates-inconsistencies-for-floating-points' into 'master' |
|
More...
|
3 months ago
|
| Merge branch '898-ide-file-path-attributes-on-modules-containing-are-not-normalized' into 'master' |
|
More...
|
3 months ago
|
| ensures paths are normalized for theories and files |
|
More...
|
3 months ago
|
| Merge branch 'improved-binomial-coefficient' into 'master' |
|
More...
|
3 months ago
|
| binomial coefficient example: alternative loop |
|
More...
|
3 months ago
|
| list.Distinct using a recursive definition |
|
More...
|
3 months ago
|
| Merge branch 'list-distinct-recursive-not-inductive' into 'master' |
|
More...
|
3 months ago
|
| Merge branch 'map-permut-permutation' into 'master' |
|
More...
|
4 months ago
|
| stooge_sort: simplified proof |
|
More...
|
4 months ago
|
| map.MapPermut is a permutation |
|
More...
|
4 months ago
|
| Merge branch 'slowsort' into 'master' |
|
More...
|
4 months ago
|
| Merge branch 'stooge-sort' into 'master' |
|
More...
|
4 months ago
|
| new example: slowsort |
|
More...
|
4 months ago
|
| new example: Stooge sort |
|
More...
|
4 months ago
|
| Merge branch 'bugfix/v1.8' |
|
More...
|
4 months ago
|
| Merge branch 'java-bench' into 'master' |
|
More...
|
4 months ago
|
| Avoid mistakenly run the java bench if there is a runtime but no compiler. |
|
More...
|
4 months ago
|
| Merge branch 'doc-nq' into 'master' |
|
More...
|
4 months ago
|
| Merge branch 'interactive-limits' into 'master' |
|
More...
|
4 months ago
|
| Remove default limits on interactive provers. |
|
More...
|
4 months ago
|
| Remove default limits on interactive provers. |
|
More...
|
4 months ago
|
| doc: Fix production rules for suffix, lident_nq, uident_nq, qident to agree with lexer.mll |
|
More...
|
5 months ago
|
| Compile again programs extracted to OCaml and JS |
|
More...
|
5 months ago
|
| Merge branch 'vampire-detect' into 'master' |
|
More...
|
5 months ago
|
| Change detection order to favor recent versions of Vampire. |
|
More...
|
5 months ago
|
