Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Updated for release 1.5 | 2009-08-27 | ||
* | Adapted to work with Coq 8.2-1 | 2009-06-05 | ||
* | Various clean-ups | 2009-04-17 | ||
* | Honor "static" modifier on C globals. | 2009-03-28 | ||
* | Update | 2009-03-26 | ||
* | Added tail call optimization pass | 2009-03-26 | ||
* | Update | 2008-08-09 | ||
* | Changes 1.2 -> 1.3 | 2008-08-09 |