Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | Merge | 2013-07-29 | ||
|\ \ | ||||
* | | | added proper resolution and typechecking for all generated expressions | 2013-07-29 | ||
| * | | Fixed issue in the model viewer. | 2013-07-29 | ||
|/ / | ||||
* | | added types for all the expressions being added to calls | 2013-07-29 | ||
* | | Allow for certain visual elements of the model viewer to be hidden. | 2013-07-28 | ||
* | | Make 'Model' a proper project. | 2013-07-26 | ||
* | | Removed harmful "Assert(false)". | 2013-07-26 | ||
| * | 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 in the answer | 2013-07-22 | ||
| * | fix | 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 |