index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
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
*
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