aboutsummaryrefslogtreecommitdiffstats
path: root/LICENSE
Commit message (Expand)AuthorAgeFilesLines
* Refactor clightgenXavier Leroy2021-09-221-1/+1
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-268/+431
* Update the list of dual-licensed filesXavier Leroy2020-05-051-2/+2
* New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-051-12/+15
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-6/+15
* Removed CMinor import. Bug 20992Bernhard Schommer2017-02-141-5/+0
* common/Determinism.v: dual-license with GPLXavier Leroy2016-06-301-14/+1
* LICENSE: update the list of files that are dual-licensed under the GPLXavier Leroy2016-06-281-2/+10
* PR#87: include the BSD license in the LICENSE file.Xavier Leroy2016-02-191-1/+28
* Adapt LICENSE file to include AbsInt and how to obtain a commercial license.Bernhard Schommer2015-06-261-7/+14
* Update the years.v2.5Xavier Leroy2015-06-121-2/+2
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-41/+1
* Updates for release 2.2xleroy2014-02-211-3/+3
* Updating LICENSE and license headers, continued.xleroy2013-06-171-0/+2
* Update LICENSE file and headers for dual-licensed files.xleroy2013-06-171-22/+37
* Update for release 1.12xleroy2013-01-091-3/+5
* Make Clight independent of CompCert C.xleroy2012-10-081-7/+8
* Preparation for release 1.11v1.11xleroy2012-07-131-5/+5
* Use Flocq for floatsxleroy2012-06-281-1/+175
* Minor updatesxleroy2012-03-111-8/+8
* MAJ licencexleroy2011-08-231-15/+18
* License for Floataux.mlxleroy2010-10-271-1/+1
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-9/+14
* Cleaned up configure script.xleroy2009-03-291-8/+6
* Updatesxleroy2009-01-051-11/+12
* Datesxleroy2008-01-281-1/+1
* Ajout license, README, copyright noticesxleroy2008-01-271-0/+509
generated by cgit (git 2.34.1) at 2024-04-27 11:00:57 +0000