Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Support for _Alignof(ty) operator from ISO C 2011 | 2012-02-26 | |
* | Merge of the "volatile" branch: | 2012-02-04 | |
* | Added volatile_read_global and volatile_store_global builtins. | 2012-01-15 | |
* | Cleaned up old commented-out parts | 2011-08-19 | |
* | Interp.ml: initialize PRNG | 2011-07-29 | |
* | Added animation of the CompCert C semantics (ccomp -interp) | 2011-07-28 |