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
*
Merge remote-tracking branch 'origin/master' into parser_fix
Jacques-Henri Jourdan
2015-11-04
1
-29
/
+62
|
\
|
*
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
*
|
other, simpler fix: the lexer emits 2 tokens for each identifier
Jacques-Henri Jourdan
2015-10-08
1
-40
/
+40
|
/
*
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