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
*
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
*
Recognize attribute((packed)) after a "struct {...}" and not just between "st...
xleroy
2013-06-21
3
-18
/
+39
*
Support __attribute__(ident) where ident is not bound. Useful for GCC compat...
xleroy
2013-05-13
1
-3
/
+6
*
Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,
xleroy
2013-04-29
3
-33
/
+49
*
Add __builtin_bswap16 and __builtin_bswap32 to all ports.
xleroy
2013-04-20
1
-15
/
+35
*
Updated
xleroy
2013-03-26
2
-18
/
+23
*
Better locations for error messages relative to type specifiers.
xleroy
2013-03-25
1
-14
/
+9
*
Remove the C primitives for unsigned long long arithmetic, replaced
xleroy
2013-03-18
3
-44
/
+25
*
Suppress int64_unsigned_to_float, now unused.
xleroy
2013-03-11
2
-7
/
+0
*
Support for inline assembly (asm statements).
xleroy
2012-12-18
16
-71
/
+198
*
Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)
xleroy
2012-11-03
10
-86
/
+84
*
Update cparser/Makefile (fix by Jacques-Henri Jourdan)
xleroy
2012-11-03
2
-28
/
+28
*
checklink: first import of Valentin Robert's validator for asm and link
xleroy
2012-03-28
11
-14
/
+36
*
Cprint: export Cprint.attributes
xleroy
2012-03-07
2
-6
/
+25
*
Problems with multiple declarations of publically-visible identifiers
xleroy
2012-02-29
2
-10
/
+22
*
'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
10
-19
/
+27
*
Interp: help debug stuck expressions
xleroy
2012-02-10
3
-5
/
+4
*
Merge of the "volatile" branch:
xleroy
2012-02-04
13
-1243
/
+31
*
cparser/*: refactoring of the expansion of read-modify-write operators
xleroy
2011-11-26
8
-225
/
+342
*
Corrected initialization of char arrays by string literals.
xleroy
2011-10-17
1
-24
/
+23
*
More cleanups in packed struct emulation.
xleroy
2011-10-16
2
-14
/
+18
*
Revised emulation of packed structs
xleroy
2011-10-16
2
-56
/
+53
*
arm/PrintAsm: don't generate "vfd" directive, useless?
xleroy
2011-08-22
4
-20
/
+31
*
Wrong check: &e must be rejected if e has array type and is not a l-value.
xleroy
2011-08-21
1
-8
/
+5
*
Presimplification SimplVolatile: cleaned up and integrated.
xleroy
2011-08-18
1
-12
/
+18
*
SimplVolatile: new pass to eliminate read-modify-write ops over volatiles
xleroy
2011-08-18
10
-169
/
+265
*
Factor out bind_lvalue
xleroy
2011-08-17
3
-41
/
+20
*
More vigorous scrubbing of r-value structs
xleroy
2011-08-09
1
-12
/
+8
*
Improved treatment of structs/unions as r-values
xleroy
2011-08-08
2
-21
/
+47
*
Added animation of the CompCert C semantics (ccomp -interp)
xleroy
2011-07-28
1
-27
/
+23
*
Check for duplicate label definitions
xleroy
2011-07-18
1
-7
/
+11
*
More precise typechecking of statements
xleroy
2011-07-17
1
-33
/
+75
[next]