Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Updating LICENSE and license headers, continued. | xleroy | 2013-06-17 | 1 | -0/+2 |
* | Update LICENSE file and headers for dual-licensed files. | xleroy | 2013-06-17 | 1 | -22/+37 |
* | Update for release 1.12 | xleroy | 2013-01-09 | 1 | -3/+5 |
* | Make Clight independent of CompCert C. | xleroy | 2012-10-08 | 1 | -7/+8 |
* | Preparation for release 1.11v1.11 | xleroy | 2012-07-13 | 1 | -5/+5 |
* | Use Flocq for floats | xleroy | 2012-06-28 | 1 | -1/+175 |
* | Minor updates | xleroy | 2012-03-11 | 1 | -8/+8 |
* | MAJ licence | xleroy | 2011-08-23 | 1 | -15/+18 |
* | License for Floataux.ml | xleroy | 2010-10-27 | 1 | -1/+1 |
* | Switching to the new C parser/elaborator/simplifier | xleroy | 2010-03-03 | 1 | -9/+14 |
* | Cleaned up configure script. | xleroy | 2009-03-29 | 1 | -8/+6 |
* | Updates | xleroy | 2009-01-05 | 1 | -11/+12 |
* | Dates | xleroy | 2008-01-28 | 1 | -1/+1 |
* | Ajout license, README, copyright notices | xleroy | 2008-01-27 | 1 | -0/+509 |