aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-1514-139/+139
* Upgrade ocaml version needed and enable more warnings.Bernhard Schommer2016-03-101-3/+3
* Code cleanup.Bernhard Schommer2016-03-1016-230/+194
* Fixed typo in equal types.Bernhard Schommer2016-03-101-1/+1
* Make void always incomplete and exit on void members.Bernhard Schommer2016-02-022-2/+8
* Do test for wrap around on singed ocaml integers.Bernhard Schommer2016-01-281-1/+1
* Allow adding of attributes in valid_assignment_attr.Bernhard Schommer2016-01-281-2/+2
* Enum is compatible to its integer type.Bernhard Schommer2015-12-171-0/+3
* More gcc/newlib compatibility code.Bernhard Schommer2015-12-111-1/+8
* Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-081-2/+2
* Fixed regression introduce by merge of PR#69.Bernhard Schommer2015-12-031-4/+1
* Open files in binary mode.Bernhard Schommer2015-11-301-1/+1
* For uniformity with other messages, added an "Ill-formed expression.".François Pottier2015-11-241-0/+1
* Use 1-based column numbers instead of 0-based.François Pottier2015-11-241-2/+2
* Update of the auto-generated comments.François Pottier2015-11-241-610/+611
* A simplification in the grammar, leading to fewer states in the automatonFrançois Pottier2015-11-242-19/+4
* Fix a typo in a syntax error message.François Pottier2015-11-231-1/+1
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-131-6/+6
* Merge pull request #69 from jhjourdan/parser_fixBernhard Schommer2015-11-129-2351/+1836
|\
| * Typo, coherence in error messagesJacques-Henri Jourdan2015-11-072-7/+8
| * Integrate a few comments of F. Pottier into the pre_parser and handcrafted.me...Jacques-Henri Jourdan2015-11-073-141/+139
| * Updating deLexer to PRE_NAME tokensJacques-Henri Jourdan2015-11-071-0/+3
| * Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-073-5/+23
| |\
| * \ Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-0449-328/+5967
| |\ \
| * | | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-015-258/+276
| * | | other, simpler fix: the lexer emits 2 tokens for each identifierJacques-Henri Jourdan2015-10-083-257/+181
* | | | Merge pull request #68 from fpottier/cutBernhard Schommer2015-11-122-2/+2
|\ \ \ \
| * | | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110.François Pottier2015-11-101-1/+1
| * | | | Fix in cparser/GNUmakefile.François Pottier2015-11-061-1/+1
* | | | | Handle large static initializers for global arraysXavier Leroy2015-11-095-5/+5
| |_|_|/ |/| | |
* | | | Remove debug stmts during grouping of switch.Bernhard Schommer2015-11-062-4/+14
|/ / /
* | / When printing a fragment of source text as part of an error message, compress...François Pottier2015-11-031-1/+9
| |/ |/|
* | Set [ErrorReports.debug] to [false].François Pottier2015-10-281-1/+1
* | Fixed some comments.François Pottier2015-10-281-16/+16
* | Merge pull request #61 from fpottier/cleanBernhard Schommer2015-10-261-5/+1
|\ \
| * | Fixed one error message and removed two comments.François Pottier2015-10-261-5/+1
* | | Also redirect the output of stderr.Bernhard Schommer2015-10-261-2/+1
|/ /
* | Merge remote branch 'upstream/master' into cleanFrançois Pottier2015-10-2327-160/+206
|\ \
| * \ Merge branch 'clean' of https://github.com/fpottier/CompCert into fpottier-cleanBernhard Schommer2015-10-201-84/+104
| |\ \
| * | | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-149-40/+40
| * | | bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1418-122/+122
| * | | Move strip functions to Cutil.Bernhard Schommer2015-10-122-0/+46
| | |/ | |/|
* | | Added copyright banners to the new files.François Pottier2015-10-237-0/+82
* | | Added a few cleanup commands in [make clean].François Pottier2015-10-231-1/+1
* | | Added some handwritten .c files in tests/handwritten/.François Pottier2015-10-2311-0/+59
* | | Install the new system for reporting syntax errors.François Pottier2015-10-237-6/+5777
* | | Lexer update: use Menhir's incremental API instead of Menhir's traditional API.François Pottier2015-10-231-3/+16
* | | Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].François Pottier2015-10-231-6/+10
* | | Lexer cleanup: isolate the entry point into the lexer.François Pottier2015-10-231-6/+10
* | | Added an %on_error_reduce declaration.François Pottier2015-10-231-0/+42
generated by cgit (git 2.34.1) at 2024-06-02 22:39:28 +0000