aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Lexer.mll
Commit message (Expand)AuthorAgeFilesLines
* C parser: handle other built-in types than __builtin_va_listXavier Leroy2020-12-261-1/+2
* Support _Static_assert from C11Xavier Leroy2020-07-211-0/+2
* Support vertical tabs and treat them as whitespace (#218)Bernhard Schommer2020-02-181-1/+1
* New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-051-127/+120
* Check for reserved keywords.Bernhard Schommer2019-05-101-1/+8
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-141-1/+1
* Various improvements in the wording of diagnostics.Michael Schmidt2018-08-021-3/+3
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-5/+5
* Remove unused open.Bernhard Schommer2017-02-061-1/+0
* Implement offsetof via builtin.Bernhard Schommer2017-01-201-0/+2
* Classified all warnings and added various options.Bernhard Schommer2016-07-291-6/+6
* Added the _Noreturn keyword.Bernhard Schommer2016-03-231-0/+2
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-1/+1
* Code cleanup.Bernhard Schommer2016-03-101-4/+3
* More gcc/newlib compatibility code.Bernhard Schommer2015-12-111-1/+8
* Merge pull request #69 from jhjourdan/parser_fixBernhard Schommer2015-11-121-39/+40
|\
| * Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-041-29/+62
| |\
| * | other, simpler fix: the lexer emits 2 tokens for each identifierJacques-Henri Jourdan2015-10-081-40/+40
* | | Change one line in [Lexer.mll] to obey API change in Menhir 20151110.François Pottier2015-11-101-1/+1
| |/ |/|
* | Install the new system for reporting syntax errors.François Pottier2015-10-231-6/+15
* | 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
* | Read the whole source C file into memory instad of reading it on demand.François Pottier2015-10-231-2/+2
* | Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of...François Pottier2015-10-221-10/+12
|/
* Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-36/+42
* Detect (and reject with an error) preprocessing numbers that are not valid in...Xavier Leroy2015-04-061-0/+7
* Recognize more of GCC's alternate keywords (e.g. "__signed").Xavier Leroy2014-12-291-21/+24
* GCCism: accept __volatile and __volatile__Xavier Leroy2014-09-211-0/+2
* Error instead of warning on illegal escape sequences.Xavier Leroy2014-09-211-1/+1
* Assorted fixes to fix parsing issues and be more GCC-like:xleroy2014-05-121-62/+101
* Fix string litteral parsingjjourdan2014-05-111-1/+4
* - Added alternate keywords __inline, __restrict, etc, for GCC compatibilityxleroy2014-05-081-2/+24
* Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...xleroy2014-05-051-12/+7
* Be less picky in the way we parse '#' linesxleroy2014-05-021-11/+23
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-593/+462
* Merge of the "alignas" branch.xleroy2013-10-051-0/+5
* Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)xleroy2012-11-031-18/+28
* 'typeof' is not a keywordxleroy2012-02-291-0/+2
* - Support for _Alignof(ty) operator from ISO C 2011xleroy2012-02-261-0/+1
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-031-0/+604
generated by cgit (git 2.34.1) at 2024-06-02 14:21:22 +0000