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
Commit message (
Expand
)
Author
Age
Files
Lines
*
Moved the timing facility to a seperate file.
Bernhard Schommer
2014-09-29
1
-3
/
+3
*
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
*
Support C99 compound literals (by expansion in Unblock pass).
xleroy
2014-08-21
11
-453
/
+625
*
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
*
Make Alphabet.v compatible with an environnment where Containers is installed
jjourdan
2014-07-04
1
-1
/
+1
*
Empty declarations
jjourdan
2014-05-23
3
-11180
/
+11249
*
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
*
Typo in struct_declaration_list causing conflicts.
xleroy
2014-05-18
1
-1
/
+1
*
- Re-added support for "__func__" identifier as per ISO C99.
xleroy
2014-05-15
5
-5746
/
+5462
*
Assorted fixes to fix parsing issues and be more GCC-like:
xleroy
2014-05-12
7
-13538
/
+14066
*
Incorrect conversion of K&R functions. Example of problem:
xleroy
2014-05-12
2
-2
/
+10
*
Fix string litteral parsing
jjourdan
2014-05-11
2
-3
/
+7
*
Fixed regression on initializers of the form T x[N] = "literal";
xleroy
2014-05-08
1
-8
/
+10
*
- Added alternate keywords __inline, __restrict, etc, for GCC compatibility
xleroy
2014-05-08
1
-2
/
+24
*
Stern warning on non-prototype function definitions.
xleroy
2014-05-05
1
-0
/
+1
*
Do not allow typedef_name in identifier lists of K&R style definitions
jjourdan
2014-05-05
1
-4
/
+4
*
Support for old-style K&R function definitions.
xleroy
2014-05-05
6
-4545
/
+5621
*
Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...
xleroy
2014-05-05
2
-15
/
+8
*
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
31
-3153
/
+66118
*
Clean-up pass on C types:
xleroy
2014-04-23
4
-44
/
+55
*
Merge of branch linear-typing:
xleroy
2014-04-06
3
-12
/
+13
*
"->" can also be applied to array types, not just pointer types.
xleroy
2014-03-30
1
-1
/
+1
*
C: Support array initializers that are too short + default init for remainder.
xleroy
2014-03-28
5
-140
/
+361
*
Do not transform __builtin_va_arg for a struct or union type, this causes
xleroy
2014-02-24
1
-31
/
+37
*
Wrong type used for transforming lval = f(...)
xleroy
2014-02-21
1
-1
/
+1
*
Add option -Os to optimize for code size rather than for execution speed.
xleroy
2014-02-19
1
-9
/
+15
*
- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.
xleroy
2014-01-12
1
-1
/
+4
*
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
2
-8
/
+9
*
Elab.ml: more warnings.
xleroy
2013-12-30
2
-6
/
+16
*
Improved detection of variables with incomplete types.
xleroy
2013-12-30
1
-4
/
+9
*
Check in C2C that packed structs were properly emulated.
xleroy
2013-12-28
1
-3
/
+8
*
Simpler, more robust emulation of calls to variadic functions:
xleroy
2013-12-28
5
-5
/
+9
*
Hack StructReturn to better adhere to PowerPC and ARM calling conventions.
xleroy
2013-12-20
3
-67
/
+142
*
Bring sizeof and alignof in sync with cfrontend/Ctypes.
xleroy
2013-12-11
1
-22
/
+18
*
Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...
xleroy
2013-11-06
2
-10
/
+19
*
Make it possible to use the "__packed__" keyword as an attribute name
xleroy
2013-11-05
1
-0
/
+1
*
Eliminate unreferenced inline functions
xleroy
2013-10-28
1
-2
/
+4
*
Revise parsing of character constants for conformance with ISO C 99.
xleroy
2013-10-25
2
-12
/
+14
*
Typing of integer literals: follow C99 rules exactly.
xleroy
2013-10-21
1
-28
/
+29
*
PackedStructs.ml: cleanups and bug-fixes
xleroy
2013-10-13
2
-15
/
+17
*
Merge of the "alignas" branch.
xleroy
2013-10-05
8
-257
/
+211
*
Follow-up to commit 2339:
xleroy
2013-10-05
1
-1
/
+1
*
Elab:
xleroy
2013-10-04
2
-29
/
+34
*
Bad printing of alignment on 'comm' symbols.
xleroy
2013-07-07
1
-2
/
+2
[next]