| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | new option for reversing the topological order - this could potentially help ... |  Pantazis Deligiannis | 2013-08-19 |
| * | new option to disable checking for loop maintained invariants - this leads to... | Pantazis Deligiannis | 2013-08-15 |
| * | changes in the parallel houdini script | Pantazis Deligiannis | 2013-07-30 |
| * | added script for running the portfolio solver (parallel houdini) | Pantazis Deligiannis | 2013-07-30 |
| * | parallel houdini prototype working | Pantazis Deligiannis | 2013-07-26 |
| * | Avoid another potential data race. |  wuestholz | 2013-07-23 |
| * | Removed the remaining pure collections. | wuestholz | 2013-07-23 |
| * | Resolved some issues with data races. | wuestholz | 2013-07-23 |
| * | Did some refactoring. | wuestholz | 2013-07-23 |
| * | Did some refactoring. | wuestholz | 2013-07-23 |
| * | Minor fix | wuestholz | 2013-07-23 |
| * | Did some refactoring. | wuestholz | 2013-07-23 |
| * | Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod... | wuestholz | 2013-07-22 |
| * | Fixed the Coco/R grammar and regenerated the parser. | wuestholz | 2013-07-22 |
| * | All ...Seq classes now gone | Ally Donaldson | 2013-07-22 |
| * | ExprSeq: farewell | Ally Donaldson | 2013-07-22 |
| * | RESeq: farewell | Ally Donaldson | 2013-07-22 |
| * | BlockSeq: farewell | Ally Donaldson | 2013-07-22 |
| * | StringSeq: farewell | Ally Donaldson | 2013-07-22 |
| * | CmdSeq: farewell | Ally Donaldson | 2013-07-22 |
| * | Fixes to refactoring | Ally Donaldson | 2013-07-22 |
| * | Started to remove ...Seq classes | Ally Donaldson | 2013-07-22 |
| * | More refactoring | Ally Donaldson | 2013-07-22 |
| * | More refactoring | Ally Donaldson | 2013-07-22 |
| * | Merge | Ally Donaldson | 2013-07-22 |
| |\ | |||
| * | | More refactoring | Ally Donaldson | 2013-07-22 |
| * | | More refactoring | Ally Donaldson | 2013-07-22 |
| * | | More refactoring: PureCollections.Sequence not used anymore. | Ally Donaldson | 2013-07-22 |
| * | | More refactoring towards replacing PureCollections.Sequence with List | Ally Donaldson | 2013-07-22 |
| | * | Fixed an issue with parallelization. | wuestholz | 2013-07-22 |
| |/ | |||
| * | Merge | Ally Donaldson | 2013-07-22 |
| |\ | |||
| | * | small fix to pickup correctly the CVC4 executable | Pantazis Deligiannis | 2013-07-22 |
| * | | Whitespace fix | Ally Donaldson | 2013-07-22 |
| * | | Whitespace fix | Ally Donaldson | 2013-07-22 |
| * | | Whitespace fix | Ally Donaldson | 2013-07-22 |
| * | | Merge | Ally Donaldson | 2013-07-22 |
| |\| | |||
| * | | Refactoring of TypeVariableSeq | Ally Donaldson | 2013-07-22 |
| * | | Changed Has method of PureSequence to Contains to make refactoring easier. | Ally Donaldson | 2013-07-22 |
| | * | fix in the answer | Pantazis Deligiannis | 2013-07-22 |
| | * | fix | Pantazis Deligiannis | 2013-07-22 |
| | * | fix | Pantazis Deligiannis | 2013-07-22 |
| | * | merge | Pantazis Deligiannis | 2013-07-22 |
| | |\ | |||
| | * \ | merge | Pantazis Deligiannis | 2013-07-22 |
| | |\ \ | |/ / |/| | | |||
| | * | | refactoring | Pantazis Deligiannis | 2013-07-22 |
| | * | | refactoring | Pantazis Deligiannis | 2013-07-22 |
| * | | | Refactoring of VariableSeq and TypeSeq | Ally Donaldson | 2013-07-22 |
| * | | | Requires/EnsuresSeq replaced by List<Requires/Ensures> | Ally Donaldson | 2013-07-22 |
| * | | | Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li... | Ally Donaldson | 2013-07-22 |
| * | | | Closing branch. | Ally Donaldson | 2013-07-22 |
| | | * | Merge | Ally Donaldson | 2013-07-22 |
| | | |\ | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |