| IDE: on prover upgrade, new prover name is now displayed immediately |
|
More...
|
over 6 years ago
|
| restored the switch to proper tab on parsing/typing errors |
|
More...
|
over 6 years ago
|
| Use a cache to avoid recomputing the same file name over and over. |
|
More...
|
over 6 years ago
|
| uninstalled prover dialog, does not show up several times for the same prover |
|
More...
|
over 6 years ago
|
| Colorize the same way, whether introduce_premises is in effect or not. |
|
More...
|
over 6 years ago
|
| Add Term.t_iter. |
|
More...
|
over 6 years ago
|
| add missing notification Reset_whole_tree in JS interface |
|
More...
|
over 6 years ago
|
| uninstalled provers : dialog for setting policy activated (remaining issues below) |
|
More...
|
over 6 years ago
|
| Port examples/vstte12_bfs. |
|
More...
|
over 6 years ago
|
| Partly port examples/vstte12_bfs. |
|
More...
|
over 6 years ago
|
| Merge branch 'master' into new_system+itp |
|
More...
|
over 6 years ago
|
| Do not discard prover ids when reloading the session. |
|
More...
|
over 6 years ago
|
| Merge branch 'master' into new_system+itp |
|
More...
|
over 6 years ago
|
| Disabled detached goals to avoid 'anomaly Not_found' raised on replay |
|
More...
|
over 6 years ago
|
| major change (details below): reload is now careful of running provers and focused node |
|
More...
|
over 6 years ago
|
| new test on bitvectors |
|
More...
|
over 6 years ago
|
| library: new lemma in seq.Mem |
|
More...
|
over 6 years ago
|
| Look for js_of_ocaml-ppx instead of js_of_ocaml.ppx. |
|
More...
|
over 6 years ago
|
| Extraction of function return types: removed mysterious List.rev |
|
More...
|
over 6 years ago
|
| update sessions |
|
More...
|
over 6 years ago
|
| Merge branch 'master' into new_system+itp |
|
More...
|
over 6 years ago
|
| Merge branch 'new_system' into new_system+itp |
|
More...
|
over 6 years ago
|
| Avoid quadratic behavior. |
|
More...
|
over 6 years ago
|
| Fix typos in protocol. |
|
More...
|
over 6 years ago
|
| Ease debugging of json protocol. |
|
More...
|
over 6 years ago
|
| update a few obsolete sessions |
|
More...
|
over 6 years ago
|
| Fix broken proof of odd_even_sort |
|
More...
|
over 6 years ago
|
| Fix compilation of why3_js. |
|
More...
|
over 6 years ago
|
| ported example dyck |
|
More...
|
over 6 years ago
|
| ported example vacid_0_red_black_trees |
|
More...
|
over 6 years ago
|
