Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Issue #71: incorrect initialization of wchar_t arrays from wide string literal | Xavier Leroy | 2015-11-13 | 3 | -6/+35 |
* | Merge branch 'master' of ssh://github.com/AbsInt/CompCert | Xavier Leroy | 2015-11-13 | 14 | -2357/+1932 |
|\ | |||||
| * | Merge pull request #69 from jhjourdan/parser_fix | Bernhard Schommer | 2015-11-12 | 11 | -2353/+1926 |
| |\ | |||||
| | * | Typo, coherence in error messages | Jacques-Henri Jourdan | 2015-11-07 | 2 | -7/+8 |
| | * | Integrate a few comments of F. Pottier into the pre_parser and handcrafted.me... | Jacques-Henri Jourdan | 2015-11-07 | 3 | -141/+139 |
| | * | Updating deLexer to PRE_NAME tokens | Jacques-Henri Jourdan | 2015-11-07 | 1 | -0/+3 |
| | * | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-07 | 15 | -30/+65 |
| | |\ | |||||
| | * \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -2/+0 |
| | |\ \ | |||||
| | * \ \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 1 | -166/+183 |
| | |\ \ \ | |||||
| | * \ \ \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 314 | -20824/+23064 |
| | |\ \ \ \ | |||||
| | * | | | | | Better handling of old-style K&R function declarations: | Jacques-Henri Jourdan | 2015-11-01 | 7 | -261/+345 |
| | * | | | | | other, simpler fix: the lexer emits 2 tokens for each identifier | Jacques-Henri Jourdan | 2015-10-08 | 4 | -257/+198 |
| * | | | | | | Merge pull request #68 from fpottier/cut | Bernhard Schommer | 2015-11-12 | 3 | -3/+3 |
| |\ \ \ \ \ \ | |||||
| | * | | | | | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110. | François Pottier | 2015-11-10 | 2 | -2/+2 |
| | * | | | | | | Fix in cparser/GNUmakefile. | François Pottier | 2015-11-06 | 1 | -1/+1 |
| * | | | | | | | Do not enforce locations for function parameters. | Bernhard Schommer | 2015-11-10 | 1 | -1/+3 |
* | | | | | | | | 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 |