Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Compile lambda functions and apply expressions, and change let expr compilation | 2014-08-12 | |
* | Implemented missing routine in runtime system (real-to-int conversion) | 2014-07-21 | |
* | Compile reals | 2014-04-13 | |
* | Merge | 2014-01-08 | |
|\ | |||
* | | Allow left-hand sides of a let expression to be patterns (like in the case of... | 2014-01-08 | |
| * | Compile assign-such-that for all integers, not just ones where a bound is found | 2014-01-06 | |
|/ | |||
* | The "choose" statement, hacky and specialized as it was, is now gone. Use th... | 2013-03-27 | |
* | Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ... | 2013-03-27 | |
* | Fixed some build/migration issues | 2012-10-04 |