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