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