Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated the frame files to work with the latest Coco/R. This entails *not* ha... | 2010-06-22 | |
* | added attributes to CallForallCmd as well | 2010-03-07 | |
* | added the ability to annotate calls with attributes | 2010-03-06 | |
* | Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;... | 2010-02-19 | |
* | Implement if-then-else expression. | 2010-02-18 | |
* | Allow ":" in addition to "returns" in function definitions. Make the pretty-p... | 2009-12-17 | |
* | Fixed problem where nullary function with definition had caused a crash. | 2009-08-07 | |
* | Initial set of files. | 2009-07-15 |