index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cparser
Commit message (
Expand
)
Author
Age
*
Wrong check: &e must be rejected if e has array type and is not a l-value.
xleroy
2011-08-21
*
Presimplification SimplVolatile: cleaned up and integrated.
xleroy
2011-08-18
*
SimplVolatile: new pass to eliminate read-modify-write ops over volatiles
xleroy
2011-08-18
*
Factor out bind_lvalue
xleroy
2011-08-17
*
More vigorous scrubbing of r-value structs
xleroy
2011-08-09
*
Improved treatment of structs/unions as r-values
xleroy
2011-08-08
*
Added animation of the CompCert C semantics (ccomp -interp)
xleroy
2011-07-28
*
Check for duplicate label definitions
xleroy
2011-07-18
*
More precise typechecking of statements
xleroy
2011-07-17
*
In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...
xleroy
2011-07-16
*
Revised handling of annotation statements, and more generally built-in functi...
xleroy
2011-06-13
*
Silence a warning that happens all too often in MacOS X
xleroy
2011-05-12
*
cparser: support for attributes over struct and union.
xleroy
2011-05-12
*
cparser/StructAssign: always use __builtin_memcpy + alignment indication
xleroy
2011-05-11
*
powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).
xleroy
2011-05-08
*
Added pass CleanupLabels to remove unreferenced labels in a proved way.
xleroy
2011-05-08
*
Support compile-time constant expressions as arguments to gcc-style attributes
xleroy
2011-04-20
*
Use memcpy_word only if alignment AND size are multiples of word size.
xleroy
2011-04-17
*
cparser/Elab: __attribute, not attribute
xleroy
2011-04-16
*
Revised handling of GCC attributes. Preliminary, untested support for __alig...
xleroy
2011-04-14
*
Revised handling of sizeof(string-literal)
xleroy
2011-03-15
*
Bitfields: MSB-to-LSB in addition to LSB-to-MSB
xleroy
2011-03-10
*
In StructAssign: be careful not to duplicate accesses to a volatile variable.
xleroy
2010-11-10
*
Inconsistent treatment of "lone" zero-width bit fields
xleroy
2010-09-24
*
Updates for IA32-Cygwin.
xleroy
2010-09-08
*
Adding __builtin_annotation
xleroy
2010-09-01
*
Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...
xleroy
2010-09-01
*
Merge of branches/full-expr-4:
xleroy
2010-08-18
*
Wrong cast in constant_expr
xleroy
2010-08-04
*
Preliminary support for gcc-style __attribute__ over types
xleroy
2010-07-08
*
Bug in cparser/AddCasts.ml.
xleroy
2010-07-08
*
__builtin_memcpy, continued.
xleroy
2010-04-17
*
Support __builtin_memcpy; use it for struct assignment
xleroy
2010-04-17
*
Bug fix: infinite loop in cparser/ on bit field of size 32 bits.
xleroy
2010-04-09
*
Static initialization of structs with bitfields
xleroy
2010-04-07
*
In cparser/SimplExpr.ml:
xleroy
2010-04-02
*
cparser/AddCasts.ml: forgot to materialize cast at return statement.
xleroy
2010-04-01
*
Handling of builtins, continued.
xleroy
2010-03-07
*
Revised treatment of builtins
xleroy
2010-03-07
*
Support for 'inline' modifier
xleroy
2010-03-03
*
Switching to the new C parser/elaborator/simplifier
xleroy
2010-03-03