| Commit message (Collapse) | Author | Age |
|
|
|
| |
optional "tailrecursion" attribute). Also, let the cloner also clone attributes.
|
| |
|
| |
|
| |
|
|
|
|
| |
an extension--clients don't need to be reverified if the body is new, only an extensions to a previous definition need to be
|
|
|
|
| |
as an identifier definition)
|
| |
|
|
|
|
| |
result the function itself
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
DafnyExtension: added hover text for identifiers
|
|
|
|
| |
DafnyExtension: added hover text for identifiers
|
| |
|
| |
|
|
|
|
| |
crashing after certain deletes)
|
| |
|
| |
|
|
|
|
| |
locations, set a 10-second timeout
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| |
| |
| |
| | |
visually indicates a non-verified buffer
|
| | |
|
|\| |
|
| |
| |
| |
| | |
bugs, added a temporary progress indicator
|
| | |
|
| | |
|
|/ |
|
| |
|
|
|
|
| |
keyword is parsed but ignored.
|
| |
|
|
|
|
|
| |
-allocated(x) removed, as really only useful in old(...)
-old(allocated(x)) and !fresh(x) are equivalent (for x with type ref, set, sequence, and datatype).
|
| |
|