Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change to AbsInt version string. | Bernhard Schommer | 2019-05-10 | 1 | -1/+1 |
| | | | | | The AbsInt build number no longer contains "release", so it must be printed additionally. | ||||
* | Expand the responsefiles earlier | Bernhard Schommer | 2019-05-10 | 1 | -2/+2 |
| | | | | | | | | | * Move the expansion of response files to module Commandline, during the initialization of `Commandline.argv`. This way we're sure it's done exactly once. * Make `Commandline.argv` a `string array` instead of a `string array ref`. We no longer need to update it after initialization! * Improve reporting of errors during expansion of response files. | ||||
* | Change AsmToJson to be similar to other printers. | Bernhard Schommer | 2018-01-05 | 1 | -0/+32 |
| | |||||
* | Resynchronize the LICENSE file and the license headers in individual files (#45) | Xavier Leroy | 2018-01-05 | 1 | -0/+124 |
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/ |