summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine
Commit message (Expand)AuthorAge
* 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
* Made it bound the number of executing tasks by the number of cores specified ...Gravatar wuestholz2014-07-30
* Fixed a minor issue.Gravatar wuestholz2014-07-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 18:52:24 +0000