| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Port to Coq 8.5pl2 | Xavier Leroy | 2016-07-08 | 8 | -81/+106 |
| * | bug 19234, inherit varargs flag from previous function definitions for KR con... | Michael Schmidt | 2016-06-28 | 1 | -4/+19 |
| * | Revised handling of old-style, K&R function definitions | Xavier Leroy | 2016-06-24 | 1 | -63/+130 |
| * | Remove code that will is deprecated in ocaml 4.03 | Bernhard Schommer | 2016-06-21 | 2 | -6/+8 |
| * | Pass the updated env through elab_expr. | Bernhard Schommer | 2016-06-21 | 1 | -149/+166 |
| * | Fixed a comment. | François Pottier | 2016-05-27 | 2 | -5/+3 |
| * | Check for type compatibility when initializing TInt arrays with wide strings ... | Michael Schmidt | 2016-04-06 | 1 | -1/+1 |
| * | Check for type compatibility when initializing TInt arrays with wide strings ... | Michael Schmidt | 2016-04-06 | 1 | -1/+1 |
| * | Revert initialization check, bug 18000 | Michael Schmidt | 2016-04-05 | 1 | -8/+0 |
| * | Match type size with size of wchar_t when initializing TInt arrays with wide ... | Michael Schmidt | 2016-04-05 | 1 | -1/+1 |
| * | Catch initialization of arrays with single expressions, bug 18000 | Michael Schmidt | 2016-04-05 | 1 | -2/+2 |
| * | Catch initialization of arrays with single expressions, bug 18000 | Michael Schmidt | 2016-04-05 | 1 | -0/+8 |
| * | Merge pull request #95 from AbsInt/noreturn | Bernhard Schommer | 2016-04-04 | 8 | -25/+68 |
| |\ |
|
| | * | Added the _Noreturn keyword. | Bernhard Schommer | 2016-03-23 | 8 | -25/+68 |
| * | | Compatibility with newer ocaml versions. Bug 18313. | Bernhard Schommer | 2016-03-31 | 2 | -3/+3 |
| |/ |
|
| * | Fix a bug in the pre-parser. | Jacques-Henri Jourdan | 2016-03-23 | 1 | -0/+1 |
| * | Deactivate warning 27 and added back removed code. | Bernhard Schommer | 2016-03-15 | 14 | -139/+139 |
| * | Upgrade ocaml version needed and enable more warnings. | Bernhard Schommer | 2016-03-10 | 1 | -3/+3 |
| * | Code cleanup. | Bernhard Schommer | 2016-03-10 | 16 | -230/+194 |
| * | Fixed typo in equal types. | Bernhard Schommer | 2016-03-10 | 1 | -1/+1 |
| * | 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 |
| * | Enum is compatible to its integer type. | Bernhard Schommer | 2015-12-17 | 1 | -0/+3 |
| * | More gcc/newlib compatibility code. | Bernhard Schommer | 2015-12-11 | 1 | -1/+8 |
| * | Revise and simplify the -fstruct-return and -fstruct-passing options. | Xavier Leroy | 2015-12-08 | 1 | -2/+2 |
| * | Fixed regression introduce by merge of PR#69. | Bernhard Schommer | 2015-12-03 | 1 | -4/+1 |
| * | Open files in binary mode. | Bernhard Schommer | 2015-11-30 | 1 | -1/+1 |
| * | 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 |
| * | 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 |
| * | Issue #71: incorrect initialization of wchar_t arrays from wide string literal | Xavier Leroy | 2015-11-13 | 1 | -6/+6 |
| * | Merge pull request #69 from jhjourdan/parser_fix | Bernhard Schommer | 2015-11-12 | 9 | -2351/+1836 |
| |\ |
|
| | * | 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 | 3 | -5/+23 |
| | |\ |
|
| | * \ | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 49 | -328/+5967 |
| | |\ \ |
|
| | * | | | Better handling of old-style K&R function declarations: | Jacques-Henri Jourdan | 2015-11-01 | 5 | -258/+276 |
| | * | | | other, simpler fix: the lexer emits 2 tokens for each identifier | Jacques-Henri Jourdan | 2015-10-08 | 3 | -257/+181 |
| * | | | | Merge pull request #68 from fpottier/cut | Bernhard Schommer | 2015-11-12 | 2 | -2/+2 |
| |\ \ \ \ |
|
| | * | | | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110. | François Pottier | 2015-11-10 | 1 | -1/+1 |
| | * | | | | Fix in cparser/GNUmakefile. | François Pottier | 2015-11-06 | 1 | -1/+1 |
| * | | | | | Handle large static initializers for global arrays | Xavier Leroy | 2015-11-09 | 5 | -5/+5 |
| | |_|_|/
|/| | | |
|
| * | | | | Remove debug stmts during grouping of switch. | Bernhard Schommer | 2015-11-06 | 2 | -4/+14 |
| |/ / / |
|
| * | / | When printing a fragment of source text as part of an error message, compress... | François Pottier | 2015-11-03 | 1 | -1/+9 |
| | |/
|/| |
|
| * | | 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 |
