aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
* Added command line option to specify a linker command file for the linker.Bernhard Schommer2015-08-201-0/+5
* Also print the system in the output to differentiate between diab and gcc pro...Bernhard Schommer2015-08-051-2/+2
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+3
* Merge branch 'master' into json_exportBernhard Schommer2015-07-061-10/+23
|\
| * Added Build, Tag, etc in version string and driver/Version.ml should be ignoredBernhard Schommer2015-07-011-1/+1
| * Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-2/+5
| * Added --version option to print version string.Bernhard Schommer2015-06-261-9/+19
* | Merge branch 'master' into json_exportBernhard Schommer2015-06-171-2/+4
|\|
| * Merge pull request #43 from AbsInt/standard-headersXavier Leroy2015-06-081-2/+2
| |\
| | * Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-251-2/+2
| * | Allow the option -o to be also the prefix of the file name for compability wi...Bernhard Schommer2015-05-311-0/+2
| |/
* | Added flag for the renaming of static functions.Bernhard Schommer2015-05-191-0/+2
* | Moved the information needed from the atoms to the ASM printer and removed un...Bernhard Schommer2015-05-061-2/+2
* | Added the first version of the sdump export to json.Bernhard Schommer2015-04-271-2/+14
|/
* Merge branch 'master' into dwarfBernhard Schommer2015-03-311-2/+30
|\
| * Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-201-11/+12
| * Merge branch 'master' into struct-passingXavier Leroy2015-03-141-32/+56
| |\
| * | Improve performance and configurability for the StructReturn pass.Xavier Leroy2015-03-141-3/+27
| * | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-1/+4
* | | Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-241-8/+4
* | | Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-191-6/+10
* | | Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-181-2/+3
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-101-32/+56
|\ \ \ | | |/ | |/|
| * | Merge branch 'master' into no-shellBernhard Schommer2015-02-191-22/+34
| |\|
| * | Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-291-32/+56
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-231-1/+1
|\ \ \ | | |/ | |/|
| * | Merge branch 'named-structs'Xavier Leroy2015-01-231-1/+1
| |\ \
| | * | Represent struct and union types by name instead of by structure.Xavier Leroy2014-12-221-1/+1
| | |/
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-121-21/+33
|\| |
| * | PR#16: give option rules precedence over file pattern rules.Xavier Leroy2015-01-031-22/+33
| * | PR#14: recognize ".so" arguments as files to pass to the linker.Xavier Leroy2015-01-021-1/+2
| |/
* / Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-021-1/+1
|/
* Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-241-1/+1
* Add flags to control individual optimization passes + flag -O0 for turning th...Xavier Leroy2014-11-161-12/+29
* Revised parsing of command-line arguments (in preparation for adding more).Xavier Leroy2014-11-161-118/+104
* Removed environment variable for the stdlib_path and added a new variable for...Bernhard Schommer2014-10-061-5/+1
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-291-0/+1
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.xleroy2014-08-191-4/+8
* Nicer reporting of I/O errors (e.g. "No such file").xleroy2014-08-131-23/+26
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-2/+3
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-271-0/+2
* Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...xleroy2014-04-091-1/+1
* Merge of branch linear-typing:xleroy2014-04-061-0/+2
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-0/+4
* Recognize .i and .p source files as C sources not to be preprocessed.xleroy2014-02-051-3/+31
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-121-20/+9
* More tolerance for functions declared without a prototypexleroy2013-12-281-3/+5
* Simpler, more robust emulation of calls to variadic functions:xleroy2013-12-281-2/+0
* Revised parsing of command-line options, more GCC-like.xleroy2013-12-211-21/+44
* Merge of branch value-analysis.xleroy2013-12-201-0/+3
generated by cgit (git 2.34.1) at 2024-07-01 05:04:49 +0000