summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* new option for reversing the topological order - this could potentially help ...Gravatar Pantazis Deligiannis2013-08-19
* new option to disable checking for loop maintained invariants - this leads to...Gravatar Pantazis Deligiannis2013-08-15
* changes in the parallel houdini scriptGravatar Pantazis Deligiannis2013-07-30
* added script for running the portfolio solver (parallel houdini)Gravatar Pantazis Deligiannis2013-07-30
* parallel houdini prototype workingGravatar Pantazis Deligiannis2013-07-26
* Avoid another potential data race.Gravatar wuestholz2013-07-23
* Removed the remaining pure collections.Gravatar wuestholz2013-07-23
* Resolved some issues with data races.Gravatar wuestholz2013-07-23
* Did some refactoring.Gravatar wuestholz2013-07-23
* Did some refactoring.Gravatar wuestholz2013-07-23
* Minor fixGravatar wuestholz2013-07-23
* Did some refactoring.Gravatar wuestholz2013-07-23
* Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...Gravatar wuestholz2013-07-22
* Fixed the Coco/R grammar and regenerated the parser.Gravatar wuestholz2013-07-22
* All ...Seq classes now goneGravatar Ally Donaldson2013-07-22
* ExprSeq: farewellGravatar Ally Donaldson2013-07-22
* RESeq: farewellGravatar Ally Donaldson2013-07-22
* BlockSeq: farewellGravatar Ally Donaldson2013-07-22
* StringSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Fixes to refactoringGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* More refactoringGravatar Ally Donaldson2013-07-22
* MergeGravatar Ally Donaldson2013-07-22
|\
* | More refactoringGravatar Ally Donaldson2013-07-22
* | More refactoringGravatar Ally Donaldson2013-07-22
* | More refactoring: PureCollections.Sequence not used anymore.Gravatar Ally Donaldson2013-07-22
* | More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
| * Fixed an issue with parallelization.Gravatar wuestholz2013-07-22
|/
* MergeGravatar Ally Donaldson2013-07-22
|\
| * small fix to pickup correctly the CVC4 executableGravatar Pantazis Deligiannis2013-07-22
* | Whitespace fixGravatar Ally Donaldson2013-07-22
* | Whitespace fixGravatar Ally Donaldson2013-07-22
* | Whitespace fixGravatar Ally Donaldson2013-07-22
* | MergeGravatar Ally Donaldson2013-07-22
|\|
* | Refactoring of TypeVariableSeqGravatar Ally Donaldson2013-07-22
* | Changed Has method of PureSequence to Contains to make refactoring easier.Gravatar Ally Donaldson2013-07-22
| * fix in the answerGravatar Pantazis Deligiannis2013-07-22
| * fixGravatar Pantazis Deligiannis2013-07-22
| * fixGravatar Pantazis Deligiannis2013-07-22
| * mergeGravatar Pantazis Deligiannis2013-07-22
| |\
| * \ mergeGravatar Pantazis Deligiannis2013-07-22
| |\ \ | |/ / |/| |
| * | refactoringGravatar Pantazis Deligiannis2013-07-22
| * | refactoringGravatar Pantazis Deligiannis2013-07-22
* | | Refactoring of VariableSeq and TypeSeqGravatar Ally Donaldson2013-07-22
* | | Requires/EnsuresSeq replaced by List<Requires/Ensures>Gravatar Ally Donaldson2013-07-22
* | | Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li...Gravatar Ally Donaldson2013-07-22
* | | Closing branch.Gravatar Ally Donaldson2013-07-22
| | * MergeGravatar Ally Donaldson2013-07-22
| | |\