Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | | | Harden Driver.command against EINTR errors | Xavier Leroy | 2015-11-10 | 1 | -1/+5 | |
|/ / / / / / / | ||||||
* | | | | | | | Handle large static initializers for global arrays | Xavier Leroy | 2015-11-09 | 8 | -123/+210 | |
* | | | | | | | bug 17544, use json-printer function for mfcr instruction | Michael Schmidt | 2015-11-09 | 1 | -3/+2 | |
| |_|_|_|_|/ |/| | | | | | ||||||
* | | | | | | Fix for switch was to eager. | Bernhard Schommer | 2015-11-06 | 1 | -6/+8 | |
* | | | | | | Remove debug stmts during grouping of switch. | Bernhard Schommer | 2015-11-06 | 3 | -7/+19 | |
* | | | | | | Added printing functions for debug annotations. | Bernhard Schommer | 2015-11-06 | 1 | -0/+3 | |
* | | | | | | Merge branch 'master' of git+ssh://ssh.absint.com/common/repositories/git/too... | Michael Schmidt | 2015-11-06 | 1 | -2/+2 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Do not print parameter names in function types. | Bernhard Schommer | 2015-11-06 | 1 | -2/+2 | |
| |/ / / / / | ||||||
* / / / / / | bug 17567, typos | Michael Schmidt | 2015-11-06 | 4 | -11/+11 | |
|/ / / / / | ||||||
* | | | | | Merge pull request #67 from fpottier/compress | Bernhard Schommer | 2015-11-05 | 1 | -1/+9 | |
|\ \ \ \ \ | ||||||
| * | | | | | When printing a fragment of source text as part of an error message, compress... | François Pottier | 2015-11-03 | 1 | -1/+9 | |
| | |/ / / | |/| | | | ||||||
* | | | | | New option to control the debug information build. | Bernhard Schommer | 2015-11-04 | 4 | -5/+15 | |
* | | | | | bug 17567, typos | Michael Schmidt | 2015-11-04 | 1 | -3/+3 | |
* | | | | | bug 17567, typos | Michael Schmidt | 2015-11-04 | 2 | -2/+2 | |
| |_|_|/ |/| | | | ||||||
* | | | | Removed unused p_char_list function. Bug 17544. | Bernhard Schommer | 2015-11-03 | 1 | -2/+0 | |
| |_|/ |/| | | ||||||
* | | | Changed the name of a few ppc instructions. Bug 17544 | Bernhard Schommer | 2015-11-03 | 1 | -3/+3 | |
* | | | Simplify the Json export. | Bernhard Schommer | 2015-11-03 | 1 | -166/+183 | |
|/ / | ||||||
* | | Few simple rewrite for the AsmToJSON printer. | Bernhard Schommer | 2015-10-29 | 1 | -155/+147 | |
* | | Another typo in AsmToJson. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 | |
* | | Fixed some minor types in the asm printer. | Bernhard Schommer | 2015-10-29 | 1 | -1/+1 | |
* | | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-10-28 | 2 | -17/+17 | |
|\ \ | ||||||
| * \ | Merge pull request #62 from fpottier/comment | Bernhard Schommer | 2015-10-28 | 2 | -17/+17 | |
| |\ \ | ||||||
| | * | | Set [ErrorReports.debug] to [false]. | François Pottier | 2015-10-28 | 1 | -1/+1 | |
| | * | | Fixed some comments. | François Pottier | 2015-10-28 | 1 | -16/+16 | |
| |/ / | ||||||
* | | | Use ifndef correct. Bug 17481 | Bernhard Schommer | 2015-10-27 | 1 | -1/+1 | |
* | | | Test if menhir includes is set before trying to set it. | Bernhard Schommer | 2015-10-27 | 1 | -1/+5 | |
* | | | Allow the MENHIR_INCLUDE path to be set by environment. | Bernhard Schommer | 2015-10-27 | 1 | -4/+3 | |
|/ / | ||||||
* | | Fixed typo in AsmToJson. | Bernhard Schommer | 2015-10-26 | 1 | -1/+1 | |
* | | Merge pull request #61 from fpottier/clean | Bernhard Schommer | 2015-10-26 | 1 | -5/+1 | |
|\ \ | ||||||
| * | | Fixed one error message and removed two comments. | François Pottier | 2015-10-26 | 1 | -5/+1 | |
* | | | Also redirect the output of stderr. | Bernhard Schommer | 2015-10-26 | 1 | -2/+1 | |
* | | | Merge branch 'fpottier-clean' | Bernhard Schommer | 2015-10-26 | 26 | -126/+6195 | |
|\ \ \ | ||||||
| * | | | Merge branch 'clean' of git://github.com/fpottier/CompCert into fpottier-clean | Bernhard Schommer | 2015-10-26 | 26 | -126/+6195 | |
|/| | | | |/ / | ||||||
| * | | Merge branch 'clean' of github.com:fpottier/CompCert into clean | François Pottier | 2015-10-23 | 0 | -0/+0 | |
| |\ \ | ||||||
| | * \ | Merge remote branch 'upstream/master' into clean | François Pottier | 2015-10-23 | 289 | -20497/+17037 | |
| | |\ \ | ||||||
| * | \ \ | Merge remote branch 'upstream/master' into clean | François Pottier | 2015-10-23 | 289 | -20497/+17037 | |
| |\ \ \ \ | | |/ / / | |/| / / | | |/ / | ||||||
| * | | | Updated [configure] to require today's Menhir. | François Pottier | 2015-10-23 | 1 | -3/+4 | |
| * | | | Added copyright banners to the new files. | François Pottier | 2015-10-23 | 8 | -0/+94 | |
| * | | | Added a few cleanup commands in [make clean]. | François Pottier | 2015-10-23 | 2 | -2/+3 | |
| * | | | Added some handwritten .c files in tests/handwritten/. | François Pottier | 2015-10-23 | 11 | -0/+59 | |
| * | | | Install the new system for reporting syntax errors. | François Pottier | 2015-10-23 | 9 | -8/+5791 | |
| * | | | Lexer update: use Menhir's incremental API instead of Menhir's traditional API. | François Pottier | 2015-10-23 | 1 | -3/+16 | |
| * | | | Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer]. | François Pottier | 2015-10-23 | 1 | -6/+10 | |
| * | | | Lexer cleanup: isolate the entry point into the lexer. | François Pottier | 2015-10-23 | 1 | -6/+10 | |
| * | | | Added an %on_error_reduce declaration. | François Pottier | 2015-10-23 | 1 | -0/+42 | |
| * | | | Changed [asm_flags] to a left-recursive list. | François Pottier | 2015-10-23 | 1 | -1/+1 | |
| * | | | Removed the two uses of $syntaxerror in a semantic action. | François Pottier | 2015-10-23 | 1 | -2/+7 | |
| * | | | Inlined [constant_expression] to save one state. | François Pottier | 2015-10-23 | 1 | -1/+1 | |
| * | | | Reformulated [specifier_qualifier_list_no_typedef_name] as a left-recursive l... | François Pottier | 2015-10-23 | 1 | -4/+4 | |
| * | | | Redefined [pointer] as a left-recursive list. | François Pottier | 2015-10-23 | 1 | -7/+24 |