summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine
Commit message (Expand)AuthorAge
* Extracted Houdini statistics into a record, and parametersied Houdini class w...Gravatar allydonaldson2013-07-16
* MergeGravatar allydonaldson2013-07-16
|\
* | Reworking of Staged Houdini in preparation for parallelising it.Gravatar allydonaldson2013-07-16
| * Changed the class 'ErrorInformation' to store the model separately.Gravatar wuestholz2013-07-12
| * Added an attribute to set the time limit for implementations.Gravatar wuestholz2013-07-12
|/
* Worked on the parallelization.Gravatar wuestholz2013-07-10
* Worked on the parallelization (task cancellation).Gravatar wuestholz2013-07-09
* Added an option to verify each input file separately.Gravatar wuestholz2013-07-05
* Worked on the parallelization.Gravatar wuestholz2013-07-01
* Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
* Addressed some \n versus \r\n issuesGravatar Rustan Leino2013-06-29
* Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-06-25
* Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-06-21
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-20
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-19
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-19
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-19
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-19
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-18
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-18
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-17
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-17
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-14
* AbsHoudini: Few more abstract domainsGravatar akashlal2013-06-16
* Worked on improving program snapshot verification (automatic prioritization).Gravatar wuestholz2013-06-12
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-12
* Did some refactoring in the execution engine.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-10
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-10
* Removed unused code.Gravatar wuestholz2013-06-10
* Removed unused code.Gravatar wuestholz2013-06-10
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-07
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-05
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-04
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-04
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-04
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-04
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-25 16:18:49 +0000