| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | | More gcc/newlib compatibility code. | Bernhard Schommer | 2015-12-11 | 2 | -3/+21 |
| * | | bug 17752, add builtin_nop for PowerPC | Michael Schmidt | 2015-12-11 | 2 | -0/+0 |
| * | | bug 17752, add builtin_nop for PowerPC | Michael Schmidt | 2015-12-11 | 2 | -0/+6 |
| * | | bug 17752, add builtin_uisel as unsigned version of builtin_isel | Michael Schmidt | 2015-12-09 | 2 | -2/+5 |
| * | | Merge pull request #78 from AbsInt/struct-passing-2 | Bernhard Schommer | 2015-12-08 | 4 | -46/+29 |
| |\ \ |
|
| | * | | Revise and simplify the -fstruct-return and -fstruct-passing options. | Xavier Leroy | 2015-12-08 | 4 | -46/+29 |
| |/ / |
|
| * | | Ignore .merlin files. Bug 17742 | Bernhard Schommer | 2015-12-07 | 1 | -0/+1 |
| * | | Ignore *.cmt(i) files and allow global COMPFLAGS. | Bernhard Schommer | 2015-12-07 | 2 | -4/+4 |
| * | | Sort strings in the debug_str section. | Bernhard Schommer | 2015-12-04 | 1 | -0/+1 |
| * | | Fixed regression introduce by merge of PR#69. | Bernhard Schommer | 2015-12-03 | 5 | -4/+17 |
| * | | Open files in binary mode. | Bernhard Schommer | 2015-11-30 | 2 | -3/+2 |
| |/ |
|
| * | New option --conf. | Bernhard Schommer | 2015-11-26 | 2 | -18/+31 |
| * | Merge pull request #76 from fpottier/cut | Bernhard Schommer | 2015-11-24 | 2 | -2/+3 |
| |\ |
|
| | * | For uniformity with other messages, added an "Ill-formed expression.". | François Pottier | 2015-11-24 | 1 | -0/+1 |
| | * | Use 1-based column numbers instead of 0-based. | François Pottier | 2015-11-24 | 1 | -2/+2 |
| * | | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-11-24 | 2 | -630/+616 |
| |\ \ |
|
| | * | | Merge pull request #74 from fpottier/cut | Bernhard Schommer | 2015-11-24 | 2 | -630/+616 |
| | |\| |
|
| | | * | Update of the auto-generated comments. | François Pottier | 2015-11-24 | 1 | -610/+611 |
| | | * | A simplification in the grammar, leading to fewer states in the automaton | François Pottier | 2015-11-24 | 2 | -19/+4 |
| | | * | Fix a typo in a syntax error message. | François Pottier | 2015-11-23 | 1 | -1/+1 |
| | |/ |
|
| * / | Separate assembler options for the diab backend. | Bernhard Schommer | 2015-11-20 | 1 | -1/+4 |
| |/ |
|
| * | Added the compilation unit in the json export. Bug 17659. | Bernhard Schommer | 2015-11-19 | 1 | -4/+4 |
| * | Added now option to control debug output. | Bernhard Schommer | 2015-11-16 | 3 | -20/+30 |
| * | Tentative fix for issue #70 (menhirLib recompilation problems) | Xavier Leroy | 2015-11-13 | 1 | -2/+2 |
