index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
cparser
/
Lexer.mll
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'absint/master' into kvx-work
Cyril SIX
2021-06-01
1
-1
/
+1
|
\
|
*
Support `# 0 ...` preprocessed line directive
Xavier Leroy
2021-06-01
1
-1
/
+1
|
*
Use the LGPL instead of the GPL for dual-licensed files
Xavier Leroy
2021-05-08
1
-4
/
+5
*
|
[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...
Cyril SIX
2021-06-01
1
-4
/
+5
*
|
Merge branch 'master' into merge_master_8.13.1
Sylvain Boulmé
2021-03-23
1
-1
/
+2
|
\
|
|
*
C parser: handle other built-in types than __builtin_va_list
Xavier Leroy
2020-12-26
1
-1
/
+2
*
|
Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8
David Monniaux
2020-11-18
1
-0
/
+2
|
\
|
|
*
Support _Static_assert from C11
Xavier Leroy
2020-07-21
1
-0
/
+2
*
|
Merge branch 'mppa-work' into mppa-thread
Cyril SIX
2020-02-25
1
-1
/
+1
|
\
|
|
*
Support vertical tabs and treat them as whitespace (#218)
Bernhard Schommer
2020-02-18
1
-1
/
+1
*
|
parse _Thread_local
David Monniaux
2020-02-24
1
-0
/
+2
|
/
*
New parser based on new version of the Coq backend of Menhir (#276)
Jacques-Henri Jourdan
2019-07-05
1
-127
/
+120
*
Check for reserved keywords.
Bernhard Schommer
2019-05-10
1
-1
/
+8
*
Improved diagnostics: spelling, wording, etc (#138)
Michael Schmidt
2018-09-14
1
-1
/
+1
*
Various improvements in the wording of diagnostics.
Michael Schmidt
2018-08-02
1
-3
/
+3
*
Refactor the handling of errors and warnings (#44)
Bernhard Schommer
2018-02-08
1
-5
/
+5
*
Remove unused open.
Bernhard Schommer
2017-02-06
1
-1
/
+0
*
Implement offsetof via builtin.
Bernhard Schommer
2017-01-20
1
-0
/
+2
*
Classified all warnings and added various options.
Bernhard Schommer
2016-07-29
1
-6
/
+6
*
Added the _Noreturn keyword.
Bernhard Schommer
2016-03-23
1
-0
/
+2
*
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
1
-1
/
+1
*
Code cleanup.
Bernhard Schommer
2016-03-10
1
-4
/
+3
*
More gcc/newlib compatibility code.
Bernhard Schommer
2015-12-11
1
-1
/
+8
*
Merge pull request #69 from jhjourdan/parser_fix
Bernhard Schommer
2015-11-12
1
-39
/
+40
|
\
|
*
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
1
-29
/
+62
|
|
\
|
*
|
other, simpler fix: the lexer emits 2 tokens for each identifier
Jacques-Henri Jourdan
2015-10-08
1
-40
/
+40
*
|
|
Change one line in [Lexer.mll] to obey API change in Menhir 20151110.
François Pottier
2015-11-10
1
-1
/
+1
|
|
/
|
/
|
*
|
Install the new system for reporting syntax errors.
François Pottier
2015-10-23
1
-6
/
+15
*
|
Lexer update: use Menhir's incremental API instead of Menhir's traditional API.
François Pottier
2015-10-23
1
-3
/
+16
*
|
Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].
François Pottier
2015-10-23
1
-6
/
+10
*
|
Lexer cleanup: isolate the entry point into the lexer.
François Pottier
2015-10-23
1
-6
/
+10
*
|
Read the whole source C file into memory instad of reading it on demand.
François Pottier
2015-10-23
1
-2
/
+2
*
|
Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of...
François Pottier
2015-10-22
1
-10
/
+12
|
/
*
Fixed a few bugs in the pre parser. In particular, the following code
Jacques-Henri Jourdan
2015-09-30
1
-36
/
+42
*
Detect (and reject with an error) preprocessing numbers that are not valid in...
Xavier Leroy
2015-04-06
1
-0
/
+7
*
Recognize more of GCC's alternate keywords (e.g. "__signed").
Xavier Leroy
2014-12-29
1
-21
/
+24
*
GCCism: accept __volatile and __volatile__
Xavier Leroy
2014-09-21
1
-0
/
+2
*
Error instead of warning on illegal escape sequences.
Xavier Leroy
2014-09-21
1
-1
/
+1
*
Assorted fixes to fix parsing issues and be more GCC-like:
xleroy
2014-05-12
1
-62
/
+101
*
Fix string litteral parsing
jjourdan
2014-05-11
1
-1
/
+4
*
- Added alternate keywords __inline, __restrict, etc, for GCC compatibility
xleroy
2014-05-08
1
-2
/
+24
*
Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...
xleroy
2014-05-05
1
-12
/
+7
*
Be less picky in the way we parse '#' lines
xleroy
2014-05-02
1
-11
/
+23
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-593
/
+462
*
Merge of the "alignas" branch.
xleroy
2013-10-05
1
-0
/
+5
*
Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)
xleroy
2012-11-03
1
-18
/
+28
*
'typeof' is not a keyword
xleroy
2012-02-29
1
-0
/
+2
*
- Support for _Alignof(ty) operator from ISO C 2011
xleroy
2012-02-26
1
-0
/
+1
*
Switching to the new C parser/elaborator/simplifier
xleroy
2010-03-03
1
-0
/
+604