summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine
Commit message (Collapse)AuthorAge
* Add support for identifying unnecessary assumes.Gravatar Valentin Wüstholz2015-11-16
|
* Improve output for diagnosing timeouts.Gravatar Valentin Wüstholz2015-10-01
|
* Improve output for diagnosing timeouts.Gravatar Valentin Wüstholz2015-09-30
|
* updateGravatar Shaz Qadeer2015-09-28
|
* cleaned up some namesGravatar Shaz Qadeer2015-09-28
|
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar Rustan Leino2015-08-28
|\ | | | | | | | | | | | | | | | | | | 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
* | Added /verifySnapshots:3, which prints recycled errors messages with the ↵Gravatar Rustan Leino2015-08-28
| | | | | | | | source locations of the new code.
| * Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
|/ | | | | | 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.
* Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-06-05
|
* Make it not return cached verification results for timed-out implementations ↵Gravatar Valentin Wüstholz2015-05-18
| | | | when timeout diagnostics are enabled.
* Minor refactoringGravatar Valentin Wüstholz2015-05-17
|
* Make caching of verification results more fine-grained for changes that ↵Gravatar Valentin Wüstholz2015-05-17
| | | | affect preconditions.
* VC gen for security propertiesGravatar akashlal2015-04-05
|
* fixed crash reported by Dan.Gravatar qadeer2015-03-02
| | | | DoModSetAnalysis needs to run before the linear and mover type checking.
* Made the trace output for the caching more detailed.Gravatar wuestholz2015-01-29
|
* Worked on the verification result caching (trace output).Gravatar wuestholz2015-01-26
|
* Worked on the verification result caching (use weights for extracted functions).Gravatar wuestholz2015-01-24
|
* MergeGravatar qadeer2015-01-16
|\
* | removed "layer" attribute from the desugared programGravatar qadeer2015-01-16
| |
| * MergeGravatar Ally Donaldson2015-01-13
| |\ | |/ |/|
| * Removed unnecessary stage-related attributes from candidate annotations.Gravatar Ally Donaldson2015-01-10
| |
* | Minor changes to the "Checked" build configurationGravatar wuestholz2015-01-09
|/
* Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
|
* Minor changesGravatar wuestholz2015-01-02
|
* Minor change in verification result caching (extracted functions)Gravatar wuestholz2014-12-28
|
* Minor changeGravatar wuestholz2014-12-26
|
* Added todos.Gravatar wuestholz2014-11-26
|
* Worked on the verification result caching (extracted functions).Gravatar wuestholz2014-11-25
|
* Fixed issues in the verification result caching (old expressions).Gravatar wuestholz2014-11-24
|
* Worked on the verification result caching.Gravatar wuestholz2014-11-23
|
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
|
* Worked on the verification result caching.Gravatar wuestholz2014-11-10
|
* Worked on the verification result caching.Gravatar wuestholz2014-11-03
|
* Fixed minor issue.Gravatar wuestholz2014-11-02
|
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-11-02
|
* Added more tests for the verification result caching.Gravatar wuestholz2014-10-19
|
* Added a todo.Gravatar wuestholz2014-10-18
|
* Did some refactoring.Gravatar wuestholz2014-10-18
|
* Did some refactoring.Gravatar wuestholz2014-10-18
|
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
|
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
|
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
|
* Did some refactoring.Gravatar wuestholz2014-10-16
|
* Worked on the verification result caching.Gravatar wuestholz2014-10-15
|
* Did some refactoring.Gravatar wuestholz2014-10-15
|
* Minor changesGravatar wuestholz2014-10-15
|
* Fix issue in computation of checksums for calls.Gravatar wuestholz2014-10-15
|
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-14
|
* Minor changeGravatar wuestholz2014-10-14
|
* Fix issue in verification result caching.Gravatar wuestholz2014-10-14
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 19:31:02 +0000