fix driver for cvc4 1.5 |
|
More...
|
over 6 years ago
|
do not use normalize_filename |
|
More...
|
over 6 years ago
|
deprecate Sysutil.normalize_filename |
|
More...
|
over 6 years ago
|
use clicked instead of pressed |
|
More...
|
over 6 years ago
|
Port examples/vstte10_search_list. |
|
More...
|
over 6 years ago
|
repair examples/vacid_0_sparse_array |
|
More...
|
over 6 years ago
|
Port examples/vstte10_inverting. |
|
More...
|
over 6 years ago
|
Restore a Coq proof. |
|
More...
|
over 6 years ago
|
examples/resizable_array |
|
More...
|
over 6 years ago
|
examples/find |
|
More...
|
over 6 years ago
|
Restore a Coq proof. |
|
More...
|
over 6 years ago
|
Restore some Coq proofs. |
|
More...
|
over 6 years ago
|
update examples/bag |
|
More...
|
over 6 years ago
|
Typeinv: autosplit multiclause type invariants |
|
More...
|
over 6 years ago
|
update sessions to Coq 8.6.1 |
|
More...
|
over 6 years ago
|
Add a Makefile rule to detect obsolete edited proofs in examples. |
|
More...
|
over 6 years ago
|
Add a Makefile rule to detect obsolete edited proofs in examples. |
|
More...
|
over 6 years ago
|
examples/bag.mlw |
|
More...
|
over 6 years ago
|
Remove some obsolete edited proofs. |
|
More...
|
over 6 years ago
|
update Coq proofs to 8.6.1 |
|
More...
|
over 6 years ago
|
Remove some obsolete edited proofs. |
|
More...
|
over 6 years ago
|
Remove some obsolete edited proofs. |
|
More...
|
over 6 years ago
|
support for Coq 8.6.1 |
|
More...
|
over 6 years ago
|
CE bench: upgrade to new Why3 syntax |
|
More...
|
over 6 years ago
|
Merge branch 'master' into new_system |
|
More...
|
over 6 years ago
|
Move strategy-related messages to debug output. |
|
More...
|
over 6 years ago
|
Do not try to guess the language when there is nothing to guess. |
|
More...
|
over 6 years ago
|
Update tabs only after updating the name of the current file. |
|
More...
|
over 6 years ago
|
Properly parse shortcuts for strategies. |
|
More...
|
over 6 years ago
|
Escape text in transformation descriptions. |
|
More...
|
over 6 years ago
|