aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Change atom printer to use the common function.Bernhard Schommer2016-03-161-1/+1
* Cleanup of AsmToJSON.Bernhard Schommer2016-03-166-128/+140
* Removed not needed env.Bernhard Schommer2016-03-151-5/+5
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-1547-447/+449
* Added back invariant checks for IRC.Bernhard Schommer2016-03-151-0/+36
* Revert "Removed unused parameter from is_small/rel_data."Bernhard Schommer2016-03-156-26/+28
* Removed unused parameter from is_small/rel_data.Bernhard Schommer2016-03-116-28/+26
* Cleanup of Clightgen code.Bernhard Schommer2016-03-102-45/+41
* Clean up of ia32 target dependend code.Bernhard Schommer2016-03-104-58/+18
* Cleanup of ARM dependedn code.Bernhard Schommer2016-03-102-66/+8
* Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-105-17/+21
* Code cleanup.Bernhard Schommer2016-03-1056-740/+590
* Fixed typo in equal types.Bernhard Schommer2016-03-101-1/+1
* Added more support for gcc options.Bernhard Schommer2016-03-021-4/+75
* Merge remote-tracking branch 'origin/configuration-split'Bernhard Schommer2016-02-293-23/+58
|\
| * Split up tools and options.Bernhard Schommer2016-02-253-23/+58
* | Added gcc's Xassembler option.Bernhard Schommer2016-02-291-3/+8
* | Fixed typo. Bug 18066Bernhard Schommer2016-02-291-3/+4
* | Added some gcc linker options.Bernhard Schommer2016-02-261-0/+22
|/
* bug 18168, catch cases where variadic arguments are transfered via registersMichael Schmidt2016-02-241-2/+2
* bug 18168, fix offset computation for var-args in ARM stacklayoutMichael Schmidt2016-02-241-1/+1
* bug 18209, make message compatible to clangMichael Schmidt2016-02-231-1/+1
* bug 18209, check that input files existMichael Schmidt2016-02-231-0/+14
* PR#87: include the BSD license in the LICENSE file.Xavier Leroy2016-02-191-1/+28
* Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.Xavier Leroy2016-02-181-2/+8
* Added new option for static linking.Bernhard Schommer2016-02-161-0/+2
* Fixed regression introduced by refactoring of Driver.ml.Bernhard Schommer2016-02-151-3/+7
* Merge pull request #86 from AbsInt/clightgen-improvedBernhard Schommer2016-02-054-90/+114
|\
| * Naming of compiler-generated temporariesXavier Leroy2016-02-051-32/+76
| * Restart the name generator at first_unused_ident for every function.Xavier Leroy2016-02-053-58/+38
|/
* Also print braces around the registers.Bernhard Schommer2016-02-041-2/+7
* Fixed missing \" in json printing for registers.Bernhard Schommer2016-02-041-2/+2
* Added gcc cmd-line option -include.Bernhard Schommer2016-02-031-0/+3
* Merge pull request #85 from AbsInt/option_jsonXavier Leroy2016-02-024-107/+299
|\
| * Added version and compiler working directory to options dump.Bernhard Schommer2016-01-271-0/+4
| * Added new option -doptions.Bernhard Schommer2016-01-272-4/+58
| * Added printer for Configuration and finished Clflags.Bernhard Schommer2016-01-255-135/+201
| * Started implementing a printer for Clflags.Bernhard Schommer2016-01-254-12/+80
* | Make void always incomplete and exit on void members.Bernhard Schommer2016-02-022-2/+8
* | Do test for wrap around on singed ocaml integers.Bernhard Schommer2016-01-281-1/+1
* | Allow adding of attributes in valid_assignment_attr.Bernhard Schommer2016-01-281-2/+2
|/
* Added option to dump preprocessed source code.Bernhard Schommer2016-01-222-4/+13
* Added warning for strict-sequences.Bernhard Schommer2016-01-211-1/+1
* Include fix for wint_t gcc problem.Bernhard Schommer2016-01-211-12/+16
* Removed the last remains of cchecklink.Bernhard Schommer2016-01-211-2/+0
* More unique debug types.Bernhard Schommer2016-01-143-26/+26
* More descriptive error message for failed command.Bernhard Schommer2016-01-111-4/+14
* Added configuration to enable clightgen build.Bernhard Schommer2015-12-282-10/+14
* Merge branch 'master' of ssh://ssh.absint.com/common/repositories/git/tools/c...Bernhard Schommer2015-12-281-2/+4
|\
| * add options for include paths also to the command line of the assembler, bug ...Michael Schmidt2015-12-231-2/+4
generated by cgit (git 2.34.1) at 2024-07-01 08:52:34 +0000