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
*
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