| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Restart the name generator at first_unused_ident for every function. | Xavier Leroy | 2016-02-05 | 3 | -58/+38 |
| * | Also print braces around the registers. | Bernhard Schommer | 2016-02-04 | 1 | -2/+7 |
| * | Fixed missing \" in json printing for registers. | Bernhard Schommer | 2016-02-04 | 1 | -2/+2 |
| * | Added gcc cmd-line option -include. | Bernhard Schommer | 2016-02-03 | 1 | -0/+3 |
| * | Merge pull request #85 from AbsInt/option_json | Xavier Leroy | 2016-02-02 | 4 | -107/+299 |
| |\ |
|
| | * | Added version and compiler working directory to options dump. | Bernhard Schommer | 2016-01-27 | 1 | -0/+4 |
| | * | Added new option -doptions. | Bernhard Schommer | 2016-01-27 | 2 | -4/+58 |
| | * | Added printer for Configuration and finished Clflags. | Bernhard Schommer | 2016-01-25 | 5 | -135/+201 |
| | * | Started implementing a printer for Clflags. | Bernhard Schommer | 2016-01-25 | 4 | -12/+80 |
| * | | Make void always incomplete and exit on void members. | Bernhard Schommer | 2016-02-02 | 2 | -2/+8 |
| * | | Do test for wrap around on singed ocaml integers. | Bernhard Schommer | 2016-01-28 | 1 | -1/+1 |
| * | | Allow adding of attributes in valid_assignment_attr. | Bernhard Schommer | 2016-01-28 | 1 | -2/+2 |
| |/ |
|
| * | Added option to dump preprocessed source code. | Bernhard Schommer | 2016-01-22 | 2 | -4/+13 |
| * | Added warning for strict-sequences. | Bernhard Schommer | 2016-01-21 | 1 | -1/+1 |
| * | Include fix for wint_t gcc problem. | Bernhard Schommer | 2016-01-21 | 1 | -12/+16 |
| * | Removed the last remains of cchecklink. | Bernhard Schommer | 2016-01-21 | 1 | -2/+0 |
| * | More unique debug types. | Bernhard Schommer | 2016-01-14 | 3 | -26/+26 |
| * | More descriptive error message for failed command. | Bernhard Schommer | 2016-01-11 | 1 | -4/+14 |
| * | Added configuration to enable clightgen build. | Bernhard Schommer | 2015-12-28 | 2 | -10/+14 |
| * | Merge branch 'master' of ssh://ssh.absint.com/common/repositories/git/tools/c... | Bernhard Schommer | 2015-12-28 | 1 | -2/+4 |
| |\ |
|
| | * | add options for include paths also to the command line of the assembler, bug ... | Michael Schmidt | 2015-12-23 | 1 | -2/+4 |
| * | | ARM: bug in expansion of __builtin_clzll | Xavier Leroy | 2015-12-22 | 1 | -1/+1 |
| * | | Add CLZ builtins for ARM and IA32 | Xavier Leroy | 2015-12-22 | 10 | -7/+68 |
| * | | Upgrade for release 2.6. | Xavier Leroy | 2015-12-21 | 1 | -1/+8 |
| |/ |
|
| * | The return type of __builtin_clz() et al is "int", as documented and for GCC ...v2.6 | Xavier Leroy | 2015-12-21 | 4 | -6/+8 |
| * | powerpc/Asmexpand: fix expansion of __builtin_clzll | Xavier Leroy | 2015-12-20 | 1 | -2/+2 |
| * | clightgen: update to recent change -fstruct-return/-fstruct-passing | Xavier Leroy | 2015-12-19 | 1 | -4/+7 |
| * | Update VERSION for release 2.6 | Xavier Leroy | 2015-12-19 | 1 | -2/+2 |
| * | Update Changelog for release 2.6. | Xavier Leroy | 2015-12-19 | 1 | -0/+49 |
| * | Merge pull request #79 from AbsInt/config-option | Xavier Leroy | 2015-12-19 | 2 | -8/+31 |
| |\ |
|
| | * | Removed the open Filename. | Bernhard Schommer | 2015-12-11 | 1 | -9/+8 |
| | * | Add a target option. | Bernhard Schommer | 2015-12-11 | 2 | -3/+7 |
| | * | Allow relative paths for the tools. | Bernhard Schommer | 2015-12-01 | 1 | -10/+21 |
| | * | Allow relative library path. | Bernhard Schommer | 2015-11-30 | 1 | -2/+11 |
| * | | Libcompcert should be compiled in thumb mode for armv7m. | Bernhard Schommer | 2015-12-18 | 1 | -2/+2 |
| * | | Enum is compatible to its integer type. | Bernhard Schommer | 2015-12-17 | 1 | -0/+3 |
| * | | Merge branch 'master' of file:///common/repositories/git/tools/compcert | Bernhard Schommer | 2015-12-17 | 2 | -8/+14 |
| |\ \ |
|
| | * | | bug 17752, fix semantics of builtin_set_spr64 | Michael Schmidt | 2015-12-16 | 1 | -1/+1 |
| | * | | bug 17752, fix tab-indentation in assembly output | Michael Schmidt | 2015-12-15 | 1 | -1/+1 |
| | * | | bug 17752, check target architecture for 64bit-builtins | Michael Schmidt | 2015-12-15 | 1 | -7/+13 |
| * | | | Do not print cfi_sections for bsd. | Bernhard Schommer | 2015-12-17 | 1 | -1/+1 |
| |/ / |
|
| * | | Print cfi_sections only if cfi is supported. | Bernhard Schommer | 2015-12-15 | 4 | -5/+11 |
| * | | bug 17752, add constant propagation for builtins | Michael Schmidt | 2015-12-15 | 1 | -1/+3 |
| * | | bug 17752, rename builtin64_X to __builtin_X64 | Michael Schmidt | 2015-12-15 | 2 | -8/+8 |
| * | | bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPC | Michael Schmidt | 2015-12-15 | 3 | -3/+24 |
| * | | Bug 17752, add rldicr instruction for PowerPC | Michael Schmidt | 2015-12-15 | 3 | -2/+8 |
| * | | bug 17752, add builtin_mr for PowerPC | Michael Schmidt | 2015-12-14 | 1 | -1/+1 |
| * | | bug 17752, add builtin_mr for PowerPC | Michael Schmidt | 2015-12-14 | 3 | -6/+31 |
| * | | bug 17752, builtin_nop for ia32 | Michael Schmidt | 2015-12-14 | 2 | -0/+6 |
| * | | bug 17752, add builtin_clzl and builtin_clzll for PowerPC | Michael Schmidt | 2015-12-11 | 2 | -1/+16 |
