Commit message (Expand) | Author | Age | |
---|---|---|---|
* | added script for running the portfolio solver (parallel houdini) | 2013-07-30 | |
* | parallel houdini prototype working | 2013-07-26 | |
* | Avoid another potential data race. | 2013-07-23 | |
* | Removed the remaining pure collections. | 2013-07-23 | |
* | Resolved some issues with data races. | 2013-07-23 | |
* | Did some refactoring. | 2013-07-23 | |
* | Did some refactoring. | 2013-07-23 | |
* | Minor fix | 2013-07-23 | |
* | Did some refactoring. | 2013-07-23 | |
* | Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod... | 2013-07-22 | |
* | Fixed the Coco/R grammar and regenerated the parser. | 2013-07-22 | |
* | All ...Seq classes now gone | 2013-07-22 | |
* | ExprSeq: farewell | 2013-07-22 | |
* | RESeq: farewell | 2013-07-22 | |
* | BlockSeq: farewell | 2013-07-22 | |
* | StringSeq: farewell | 2013-07-22 | |
* | CmdSeq: farewell | 2013-07-22 | |
* | Fixes to refactoring | 2013-07-22 | |
* | Started to remove ...Seq classes | 2013-07-22 | |
* | More refactoring | 2013-07-22 | |
* | More refactoring | 2013-07-22 | |
* | Merge | 2013-07-22 | |
|\ | |||
* | | More refactoring | 2013-07-22 | |
* | | More refactoring | 2013-07-22 | |
* | | More refactoring: PureCollections.Sequence not used anymore. | 2013-07-22 | |
* | | More refactoring towards replacing PureCollections.Sequence with List | 2013-07-22 | |
| * | Fixed an issue with parallelization. | 2013-07-22 | |
|/ | |||
* | Merge | 2013-07-22 | |
|\ | |||
| * | small fix to pickup correctly the CVC4 executable | 2013-07-22 | |
* | | Whitespace fix | 2013-07-22 | |
* | | Whitespace fix | 2013-07-22 | |
* | | Whitespace fix | 2013-07-22 | |
* | | Merge | 2013-07-22 | |
|\| | |||
* | | Refactoring of TypeVariableSeq | 2013-07-22 | |
* | | Changed Has method of PureSequence to Contains to make refactoring easier. | 2013-07-22 | |
| * | fix | 2013-07-22 | |
| * | merge | 2013-07-22 | |
| |\ | |||
| * \ | merge | 2013-07-22 | |
| |\ \ | |/ / |/| | | |||
| * | | refactoring | 2013-07-22 | |
| * | | refactoring | 2013-07-22 | |
* | | | Refactoring of VariableSeq and TypeSeq | 2013-07-22 | |
* | | | Requires/EnsuresSeq replaced by List<Requires/Ensures> | 2013-07-22 | |
* | | | Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and Li... | 2013-07-22 | |
| | * | Merge | 2013-07-22 | |
| | |\ | |||
* | | | | Fixed bugs arising from differences between hashtables and dictionaries | 2013-07-22 | |
* | | | | Large refactoring of Hashtable to Dictionary. | 2013-07-22 | |
* | | | | Merge | 2013-07-22 | |
|\ \ \ \ | | |/ / | |/| | | |||
| * | | | Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri... | 2013-07-22 | |
* | | | | Refactored variable2sequenceNumber to use Dictionary | 2013-07-22 | |
|/ / / | |||
* | | | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai... | 2013-07-22 |