| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Resynchronize the LICENSE file and the license headers in individual files (#45) | Xavier Leroy | 2018-01-05 | 1 | -109/+0 |
| | | | | | | | | | | | | Some files are dual-licensed (GPL + noncommercial license), as marked redundantly in the license headers of those files, and in the LICENSE file. OVer the years those two markings got inconsistent. This commit updates the LICENSE file and the license headers of some files so that they agree on which files are dual-licensed. Some build-related files were dual-licensed but some others were not. Fixed by dual-licensing configure, Makefile.menhir, extraction/extraction.v, */extractionMachdep.v Moved lib/Json* to backend/ because there is no need to dual-license those files, yet lib/* is dual-licensed. Plus: JsonAST did not really belong in lib/ anyway, as it depends on AST which is not in lib/ | ||||
| * | New json printing interface. | Bernhard Schommer | 2017-11-14 | 1 | -1/+50 |
| | | | | | | The common json export functionallity is moved into an own File. Bug 22472 | ||||
| * | Formatted json printing. | Bernhard Schommer | 2017-06-28 | 1 | -22/+32 |
| | | | | | | | | | | Instead of just dumping the json output it is now a little bit formatted for better reading. Furthermore the AsmToJson function for the non powerpc targets now prints the json value "null" sucht that the resulting json file is valid json. | ||||
| * | Cleanup of AsmToJSON. | Bernhard Schommer | 2016-03-16 | 1 | -2/+10 |
| | | | | | | | Removed unused code, factored out common functions and added an interface file. Bug 18394 | ||||
| * | Added printer for Configuration and finished Clflags. | Bernhard Schommer | 2016-01-25 | 1 | -0/+9 |
| | | |||||
| * | Started implementing a printer for Clflags. | Bernhard Schommer | 2016-01-25 | 1 | -0/+33 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |