| Commit message (Collapse) | Author | Age |
|\
| |
| |
| |
| |
| |
| |
| |
| |
| | |
Conflicts:
Source/Core/CommandLineOptions.cs
Source/ExecutionEngine/ExecutionEngine.cs
Source/ExecutionEngine/VerificationResultCache.cs
Source/VCGeneration/VC.cs
Test/snapshots/runtest.snapshot
Test/snapshots/runtest.snapshot.expect
|
| |
| |
| |
| | |
source locations of the new code.
|
|/
|
|
|
|
| |
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.
|
|
|
|
| |
when timeout diagnostics are enabled.
|
| |
|
|
|
|
| |
affect preconditions.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
advanced verification result caching even for implementations with errors.
|
|
|
|
| |
caching.
|
|
|
|
| |
injected by the verification result caching for calls within loops.
|
|
|
|
| |
verification result caching.
|
|
|
|
| |
caching.
|
|
|
|
| |
caching.
|
| |
|