aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Lexer.mll
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'absint/master' into kvx-workCyril SIX2021-06-011-1/+1
|\
| * Support `# 0 ...` preprocessed line directiveXavier Leroy2021-06-011-1/+1
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+5
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-1/+2
|\|
| * C parser: handle other built-in types than __builtin_va_listXavier Leroy2020-12-261-1/+2
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-0/+2
|\|
| * Support _Static_assert from C11Xavier Leroy2020-07-211-0/+2
* | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-251-1/+1
|\|
| * Support vertical tabs and treat them as whitespace (#218)Bernhard Schommer2020-02-181-1/+1
* | parse _Thread_localDavid Monniaux2020-02-241-0/+2
|/
* 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-05-08 22:03:53 +0000