summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine
Commit message (Expand)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
|\
* | Added /verifySnapshots:3, which prints recycled errors messages with the sour...Gravatar Rustan Leino2015-08-28
| * Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
|/
* 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
* Minor refactoringGravatar Valentin Wüstholz2015-05-17
* Make caching of verification results more fine-grained for changes that affec...Gravatar Valentin Wüstholz2015-05-17
* VC gen for security propertiesGravatar akashlal2015-04-05
* fixed crash reported by Dan.Gravatar qadeer2015-03-02
* 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