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
/
Elab.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Use env1 instead of env to also have the type specifiers used in the return p...
Bernhard Schommer
2015-07-09
1
-1
/
+1
*
Propagated the composed type constructed build during identifier lookup.
Bernhard Schommer
2015-07-09
1
-6
/
+6
*
Add implicit "return 0;" at end of function "main".
Xavier Leroy
2015-07-08
1
-1
/
+13
*
Turn "redefinition with an incompatible type" warning into an error.
Xavier Leroy
2015-07-08
1
-1
/
+6
*
Simple fix for problem with local extern.
Bernhard Schommer
2015-06-24
1
-0
/
+1
*
Turn the error on anonymous structs/unions into a warning.
Xavier Leroy
2015-06-11
1
-1
/
+1
*
Error if, in the same scope, a typedef is redefined as a variable, or a varia...
Xavier Leroy
2015-06-06
1
-2
/
+8
*
Make a register as storage specify to a fatal error.
Bernhard Schommer
2015-05-14
1
-1
/
+1
*
Changed the enter_or_refine_ident function to produce an error if a non-stat...
Bernhard Schommer
2015-05-13
1
-6
/
+14
*
Detect uses of anonymous structs/unions (a C2011 feature and GCC extension) a...
Xavier Leroy
2015-04-30
1
-0
/
+14
*
Detect and reject "&" operator applied to "register" local variable or to a b...
Xavier Leroy
2015-04-28
1
-0
/
+17
*
Experiment: support a subset of GCC's extended asm statements.
Xavier Leroy
2015-04-17
1
-10
/
+25
*
Issue #26: problems with big escape sequences in string/char literals.
Xavier Leroy
2015-03-07
1
-7
/
+12
*
Delay reads from !Machine.config before it is properly initialized.
Xavier Leroy
2015-01-22
1
-8
/
+8
*
Wrong handling of block-local function declarations (again)
Xavier Leroy
2015-01-01
1
-12
/
+7
*
Revised type compatibility check w.r.t. handling of attributes.
Xavier Leroy
2015-01-01
1
-9
/
+11
*
PR#12: regression introduced in commit 2d32afc
Xavier Leroy
2014-12-30
1
-2
/
+0
*
PR#6: fix handling of wchar_t and assignments from wide string literals.
Xavier Leroy
2014-12-30
1
-2
/
+2
*
PR#11: support sizeof(struct {...}) and _Alignof(struct {...})
Xavier Leroy
2014-12-30
1
-25
/
+38
*
Wrong handling of block-local function declarations (in Elab.ml).
Xavier Leroy
2014-11-26
1
-12
/
+7
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
1
-388
/
+393
*
Improve error reporting for unsupported compound literals.
xleroy
2014-08-20
1
-1
/
+4
*
Improve error detection and error messages for enums.
xleroy
2014-08-17
1
-3
/
+7
*
Spurious error on a local static function declaration
xleroy
2014-08-13
1
-0
/
+1
*
In enter_or_refine_ident: revised handling of "extern" decls.
xleroy
2014-05-18
1
-29
/
+38
*
Another corner case for string literal initializers: char * x[] = { "lit" }
xleroy
2014-05-18
1
-1
/
+2
*
- Re-added support for "__func__" identifier as per ISO C99.
xleroy
2014-05-15
1
-1
/
+12
*
Assorted fixes to fix parsing issues and be more GCC-like:
xleroy
2014-05-12
1
-108
/
+44
*
Incorrect conversion of K&R functions. Example of problem:
xleroy
2014-05-12
1
-2
/
+3
*
Fix string litteral parsing
jjourdan
2014-05-11
1
-2
/
+3
*
Fixed regression on initializers of the form T x[N] = "literal";
xleroy
2014-05-08
1
-8
/
+10
*
Stern warning on non-prototype function definitions.
xleroy
2014-05-05
1
-0
/
+1
*
Support for old-style K&R function definitions.
xleroy
2014-05-05
1
-0
/
+46
*
Integration of Jacques-Henri Jourdan's verified parser.
xleroy
2014-04-29
1
-306
/
+375
*
Clean-up pass on C types:
xleroy
2014-04-23
1
-12
/
+14
*
Merge of branch linear-typing:
xleroy
2014-04-06
1
-5
/
+2
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
1
-129
/
+313
*
Add option -Os to optimize for code size rather than for execution speed.
xleroy
2014-02-19
1
-9
/
+15
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
1
-4
/
+8
*
Catch and report Env errors arising out of some Cutil functions
xleroy
2013-12-30
1
-7
/
+8
*
Elab.ml: more warnings.
xleroy
2013-12-30
1
-4
/
+9
*
Improved detection of variables with incomplete types.
xleroy
2013-12-30
1
-4
/
+9
*
Simpler, more robust emulation of calls to variadic functions:
xleroy
2013-12-28
1
-2
/
+3
*
Revise parsing of character constants for conformance with ISO C 99.
xleroy
2013-10-25
1
-12
/
+13
*
Typing of integer literals: follow C99 rules exactly.
xleroy
2013-10-21
1
-28
/
+29
*
Merge of the "alignas" branch.
xleroy
2013-10-05
1
-1
/
+20
*
Follow-up to commit 2339:
xleroy
2013-10-05
1
-1
/
+1
*
Elab:
xleroy
2013-10-04
1
-22
/
+27
*
Recognize attribute((packed)) after a "struct {...}" and not just between "st...
xleroy
2013-06-21
1
-18
/
+31
*
Support __attribute__(ident) where ident is not bound. Useful for GCC compat...
xleroy
2013-05-13
1
-3
/
+6
[next]