| Commit message (Collapse) | Author | Age |
|
|
|
| |
included by another command-line file.
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| | |
|
| |
| |
| |
| | |
result caching in Boogie (experimental for now).
|
| |
| |
| |
| | |
command-line options
|
| |
| |
| |
| | |
command-line options
|
| | |
|
|/ |
|
| |
|
| |
|
|
|
|
|
| |
to another Dafny file. That file's functions and methods are included but not checked.
This is intended to support incremental verification on a per-file basis.
|
|
|
|
| |
'UnivBackPred2.smt2' no longer needed).
|
| |
|
|
|
|
| |
resolution and displaying it.
|
| |
|
| |
|
|
|
|
| |
(incl. request cancellation).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
compilation).
|
| |
|