| 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.
|
|
|
|
|
|
|
| |
- making fields private
- exposing IEnumerables
- adding methods 'AddProverOption', 'RemoveAllProverOptions', and 'AddZ3Option'
(with help from David Rohr)
|
|
|
|
| |
This appears to fix a small deficiency in the original recursive implementation, so now a larger number of empty blocks are removed. As a result, various tests produce slightly different counterexamples and have been updated to reflect this. Also, default VC generation strategy has been changed to DAGIterative, to avoid stack overflow problems.
|
|
|
|
| |
conversion from Spec# into C# moved a constructor call
|
| |
|
|
|
|
| |
as if the old /bv:z were used
|
|
|
|
|
|
| |
SMTLib)
Add support for Inspector with latest Z3/SMT2 frontend
|
| |
|
|
|
|
| |
provers. Add handling of help message about /proverOpt.
|
| |
|
|
|