aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
* New option to control the debug information build.Bernhard Schommer2015-11-041-0/+2
* Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
* Do not dump the .sdump files.Bernhard Schommer2015-10-161-15/+2
* Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-1/+7
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-4/+4
* Push the linker args separate.Bernhard Schommer2015-10-061-2/+4
* More refactoring of the Debug Information.Bernhard Schommer2015-09-271-1/+1
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-4/+5
* Add the debug interface file.Bernhard Schommer2015-09-161-0/+1
* Merge branch 'new-builtins'Bernhard Schommer2015-09-011-2/+4
|\
| * Improve error reporting in Asmexpand.Xavier Leroy2015-08-241-2/+4
* | Improve printing of internal compiler errors.Xavier Leroy2015-08-251-2/+2
* | Fixed the -T option.Bernhard Schommer2015-08-251-1/+1
* | Count number of input files and do not use number of source files for warning...Bernhard Schommer2015-08-241-12/+14
* | Added error message when no input file is specified.Bernhard Schommer2015-08-231-0/+5
|/
* 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
generated by cgit (git 2.34.1) at 2024-06-29 04:56:31 +0000