aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Use define for wchar_t typeBernhard Schommer2023-02-011-0/+9
* Handle unstructured 'switch' statements such as Duff's deviceXavier Leroy2022-10-293-6/+11
* Revised passing of options to `Parse.preprocessed_file`Xavier Leroy2022-09-271-7/+5
* Support the `-std=<standard>` option (#456)Xavier Leroy2022-09-233-4/+24
* Support C11 Unicode string literals and character constants (#452)Xavier Leroy2022-09-191-1/+4
* Simplify handling of file suffixes.Bernhard Schommer2022-05-183-24/+22
* Fix computing of output filenames.Bernhard Schommer2022-05-181-13/+15
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-1/+1
* Native support for bit fields (#400)Xavier Leroy2021-08-223-6/+4
* Remove `-version-file` option from option summaryXavier Leroy2021-04-231-1/+0
* "macosx" is now called "macos"Xavier Leroy2021-01-182-3/+3
* AArch64: macOS portXavier Leroy2020-12-261-1/+3
* Error when using -main without -interpXavier Leroy2020-12-061-0/+2
* Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-303-19/+41
* Remove -version-file optionXavier Leroy2020-10-121-19/+2
* Add missing comment for print_version_file_and_exitChristoph Cullmann2020-07-301-0/+1
* No trailing commas for --version-file option.Bernhard Schommer2020-07-091-1/+1
* Fix typo.Bernhard Schommer2020-07-081-1/+1
* Revert "Use the same version string."Bernhard Schommer2020-07-081-3/+10
* Use the same version string.Bernhard Schommer2020-07-081-10/+3
* Remove no longer needed option enforce-buildnrBernhard Schommer2020-07-081-10/+1
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-3/+5
* Add option to print version information in fileBernhard Schommer2020-07-081-1/+17
* Move Commandline to the lib/ directoryXavier Leroy2020-05-052-196/+0
* Move reserved_registers to CPragmas.Bernhard Schommer2020-04-201-0/+1
* Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-2/+2
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-1/+1
* AArch64 portXavier Leroy2019-08-082-1/+2
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
* -O0 now implies -fno-inliningMichael Schmidt2019-07-091-1/+1
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-2/+2
* Update documentation of -ObranchlessXavier Leroy2019-07-051-1/+1
* Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-052-4/+4
* If-conversion optimizationXavier Leroy2019-06-062-2/+10
* Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-312-3/+3
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-102-0/+3
* Change to AbsInt version string.Bernhard Schommer2019-05-101-2/+2
* Expand the responsefiles earlierBernhard Schommer2019-05-103-13/+13
* Check for alignment of command-line switches.Bernhard Schommer2019-05-101-3/+7
* Define macros with CompCert's version number (#284)Xavier Leroy2019-03-271-2/+24
* Fix passing of -u to linker.Bernhard Schommer2018-08-211-1/+1
* Add sizeof_reg and new Machine configurations (#129)Bernhard Schommer2018-08-201-4/+6
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-026-12/+12
* Typo in -iquote preprocessing option (#239)Frédéric Besson2018-06-201-1/+1
* Simplify module Complements and add separate compilation (#121)Xavier Leroy2018-05-291-74/+172
* Define C11 conditional feature macros (#77)Bernhard Schommer2018-04-061-1/+10
* Removed struct passing/return from ConfigurationsBernhard Schommer2018-02-162-49/+0
* Move struct passing/return style to Machine.Bernhard Schommer2018-02-161-1/+5
* Added error summary in case of fatal error.Bernhard Schommer2018-02-091-1/+1
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-088-70/+64
generated by cgit (git 2.34.1) at 2024-05-03 21:28:46 +0000