| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
this required that this commit globally modify most files. If you
want to use git blame to see the real author of a line use the
``-w`` flag so that whitespace changes are ignored.
|
|
|
|
| |
spaces.
|
|
|
|
|
|
| |
The test15/CaptureState.bpl test fails on Linux
using (Z3 4.2) due to additional (but not meaningful)
parentheses in the outputted model.
|
|
|
|
|
|
| |
this clear
Construct states in Model properly, nuke direct printing.
|
|
* Added /mv flag as the start of a Boogie replacement for /cev
* Allow attributes on assume statements
* /mv looks for the assume-statement attribute :captureState with a string-literal argument
|