summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine/ExecutionEngine.cs
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
|
* 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
|
* 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
| | | | (vcsCores).
* 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 ↵Gravatar wuestholz2014-07-06
| | | | advanced verification result caching even for implementations with errors.
* Made it collect more statistics about the more advanced verification result ↵Gravatar wuestholz2014-07-04
| | | | caching.
* Fixed issue involving axioms in the dependency analysis used for ↵Gravatar wuestholz2014-07-03
| | | | verification result caching.
* Made it collect more statistics about the more advanced verification result ↵Gravatar wuestholz2014-07-01
| | | | caching.
* Made it collect some statistics about the more advanced verification result ↵Gravatar wuestholz2014-06-30
| | | | caching.
* a fix in Inline method; it should look for inline attribute only on ↵Gravatar qadeer2014-06-28
| | | | procedures and implementations
* Added a program cache (used by the more advanced verification result caching).Gravatar wuestholz2014-06-28
|
* Changed the verification result cache to use the built-in 'MemoryCache' class.Gravatar wuestholz2014-06-28
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 18:44:24 +0000