| Merge branch 'weekly_full_bench' into 'master' |
|
More...
|
1 day ago
|
| provers for reduced bench |
|
More...
|
1 day ago
|
| bench reduced using bench image with more provers |
|
More...
|
1 day ago
|
| Merge branch 'support-interfaces-in-parsing-api' into 'master' |
|
More...
|
1 day ago
|
| Update CHANGES.md and API doc |
|
More...
|
2 days ago
|
| fix cmd line for E-prover 3.x |
|
More...
|
2 days ago
|
| bench run only manually |
|
More...
|
2 days ago
|
| proper renaming of E prover 2.6 |
|
More...
|
2 days ago
|
| last attempt |
|
More...
|
2 days ago
|
| again and againa and again |
|
More...
|
2 days ago
|
| force remake image |
|
More...
|
2 days ago
|
| remove again non working rule |
|
More...
|
2 days ago
|
| change image name, put back guard |
|
More...
|
2 days ago
|
| remove non working guard |
|
More...
|
2 days ago
|
| eprover and spass and Z3 4.14 |
|
More...
|
2 days ago
|
| come on, let's fix again |
|
More...
|
2 days ago
|
| build image only for the branch commit, not the MR |
|
More...
|
2 days ago
|
| new image |
|
More...
|
2 days ago
|
| add E prover 2.6 |
|
More...
|
2 days ago
|
| Merge branch '894-extraction-broken-when-cloning-a-module-with-interface' into 'master' |
|
More...
|
3 days ago
|
| Merge branch 'improve-interface-api' into 'master' |
|
More...
|
3 days ago
|
| Merge branch '910-distinct-theories-with-the-same-ident' into 'master' |
|
More...
|
3 days ago
|
| Merge branch 'improve_lse_hyps' into 'master' |
|
More...
|
4 days ago
|
| adding package adduser |
|
More...
|
4 days ago
|
| upgrade DEbian version for bench |
|
More...
|
4 days ago
|
| relax hypothesis on a_max |
|
More...
|
5 days ago
|
| Merge branch 'new-theory-seq-sum' into 'master' |
|
More...
|
10 days ago
|
| a better theory seq.Sum |
|
More...
|
10 days ago
|
| Merge branch 'adjust_slse' into 'master' |
|
More...
|
11 days ago
|
| Merge branch 'hyp_name' into 'master' |
|
More...
|
15 days ago
|
