summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine/ExecutionEngine.cs
Commit message (Expand)AuthorAge
* Run Boogie code on threads with large stacksGravatar BarryBo2016-07-22
* 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
* 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
* MergeGravatar qadeer2015-01-16
|\
* | removed "layer" attribute from the desugared programGravatar qadeer2015-01-16
| * Removed unnecessary stage-related attributes from candidate annotations.Gravatar Ally Donaldson2015-01-10
|/
* Updated to Staged HoudiniGravatar Ally Donaldson2015-01-08
* Minor changesGravatar wuestholz2015-01-02
* Minor changeGravatar wuestholz2014-12-26
* 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 a todo.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
* Minor changesGravatar wuestholz2014-10-15
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-14
* Minor changeGravatar wuestholz2014-10-14
* Minor changesGravatar wuestholz2014-10-13
* Minor changeGravatar wuestholz2014-10-13
* Add '/traceCaching' flag.Gravatar wuestholz2014-10-13
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did more refactoring.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* Minor refactoringGravatar wuestholz2014-08-03
* Changed how canceled tasks are dealt with.Gravatar wuestholz2014-07-31
* removed /doNotUseParallelismGravatar qadeer2014-07-30
* Made it bound the number of executing tasks by the number of cores specified ...Gravatar wuestholz2014-07-30
* Refactored how checksums are computed.Gravatar wuestholz2014-07-13
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-07
* Did some refactoring, fixed minor issues, and made it apply the more advanced...Gravatar wuestholz2014-07-06
* Made it collect more statistics about the more advanced verification result c...Gravatar wuestholz2014-07-04
* Fixed issue involving axioms in the dependency analysis used for verification...Gravatar wuestholz2014-07-03
* Made it collect more statistics about the more advanced verification result c...Gravatar wuestholz2014-07-01
* Made it collect some statistics about the more advanced verification result c...Gravatar wuestholz2014-06-30
* a fix in Inline method; it should look for inline attribute only on procedure...Gravatar qadeer2014-06-28
* Added a program cache (used by the more advanced verification result caching).Gravatar wuestholz2014-06-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-11 16:36:07 +0000