aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Added now option to control debug output.Bernhard Schommer2015-11-162-3/+10
* Harden Driver.command against EINTR errorsXavier Leroy2015-11-101-1/+5
* New option to control the debug information build.Bernhard Schommer2015-11-042-0/+3
* Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-202-16/+10
|\
| * 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-162-1/+8
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-142-36/+36
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-145-18/+18
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-207-54/+54
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-3/+3
|/
* 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-013-3/+14
|\
| * Improve error reporting in Asmexpand.Xavier Leroy2015-08-241-2/+4
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-232-1/+10
* | 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 the directory ../share/compcert to the search path for .ini files and r...Bernhard Schommer2015-08-231-9/+12
|/
* 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-063-13/+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-013-5/+5
| * Added --version option to print version string.Bernhard Schommer2015-06-261-9/+19
* | Merge branch 'master' into json_exportBernhard Schommer2015-06-174-3/+12
|\|
| * Merge pull request #43 from AbsInt/standard-headersXavier Leroy2015-06-083-2/+9
| |\
| | * Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-253-2/+9
| * | Represent external worlds by a coinductive type rather than an inductive type.Xavier Leroy2015-06-071-1/+1
| * | 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-192-0/+3
* | 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
|/
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-171-1/+1
* Merge branch 'master' into dwarfBernhard Schommer2015-03-314-2/+116
|\
| * Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-205-19/+96
| * Merge branch 'master' into struct-passingXavier Leroy2015-03-143-189/+180
| |\
| * | Improve performance and configurability for the StructReturn pass.Xavier Leroy2015-03-142-3/+29
| * | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-272-1/+10
* | | 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
* | | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+6
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-103-189/+180
|\ \ \ | | |/ | |/|
| * | Merge branch 'master' into no-shellBernhard Schommer2015-02-194-137/+113
| |\ \
generated by cgit (git 2.34.1) at 2024-06-02 17:20:27 +0000