summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* 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
* 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
* Fixed an issue in the verification result caching (recycled errors).Gravatar wuestholz2014-09-22
* Fixed minor issue.Gravatar wuestholz2014-09-19
* Minor refactoringGravatar wuestholz2014-08-03
* Changed how canceled tasks are dealt with.Gravatar wuestholz2014-07-31
* removed /doNotUseParallelismGravatar qadeer2014-07-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 00:52:08 +0000