Commit message (Expand) | Author | Age | |
---|---|---|---|
* | SimplVolatile: new pass to eliminate read-modify-write ops over volatiles | 2011-08-18 | |
* | Factor out bind_lvalue | 2011-08-17 | |
* | More vigorous scrubbing of r-value structs | 2011-08-09 | |
* | Improved treatment of structs/unions as r-values | 2011-08-08 | |
* | Added animation of the CompCert C semantics (ccomp -interp) | 2011-07-28 | |
* | cparser/StructAssign: always use __builtin_memcpy + alignment indication | 2011-05-11 | |
* | Use memcpy_word only if alignment AND size are multiples of word size. | 2011-04-17 | |
* | In StructAssign: be careful not to duplicate accesses to a volatile variable. | 2010-11-10 | |
* | Merge of branches/full-expr-4: | 2010-08-18 | |
* | __builtin_memcpy, continued. | 2010-04-17 | |
* | Support __builtin_memcpy; use it for struct assignment | 2010-04-17 | |
* | Bug fix: infinite loop in cparser/ on bit field of size 32 bits. | 2010-04-09 | |
* | Switching to the new C parser/elaborator/simplifier | 2010-03-03 |