Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |