Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Update for 1.7.1 | 2010-04-13 | ||
* | Updates for release 1.7 | 2010-03-30 | ||
* | Backtracking on commit 1220 | 2010-01-13 | ||
* | MAJ Changes | 2010-01-12 | ||
* | MAJ Changes | 2009-12-16 | ||
* | Support Clight initializers of the form "int * x = &y;". | 2009-11-01 | ||
* | Updated for 1.5 | 2009-09-15 | ||
* | Last updates for release 1.5. | 2009-08-28 | ||
* | 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 |