summaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Expand)AuthorAge
* Integration of Jacques-Henri Jourdan's verified parser.Gravatar xleroy2014-04-29
* Updates for release 2.2Gravatar xleroy2014-02-21
* Updating LICENSE and license headers, continued.Gravatar xleroy2013-06-17
* Update LICENSE file and headers for dual-licensed files.Gravatar xleroy2013-06-17
* Update for release 1.12Gravatar xleroy2013-01-09
* Make Clight independent of CompCert C.Gravatar xleroy2012-10-08
* Preparation for release 1.11Gravatar xleroy2012-07-13
* Use Flocq for floatsGravatar xleroy2012-06-28
* Minor updatesGravatar xleroy2012-03-11
* MAJ licenceGravatar xleroy2011-08-23
* License for Floataux.mlGravatar xleroy2010-10-27
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03
* Cleaned up configure script.Gravatar xleroy2009-03-29
* UpdatesGravatar xleroy2009-01-05
* DatesGravatar xleroy2008-01-28
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 08:54:12 +0000