Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Preliminary support for gcc-style __attribute__ over types | xleroy | 2010-07-08 | 1 | -75/+80 |
| | | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1377 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | Revised treatment of builtins | xleroy | 2010-03-07 | 1 | -8/+7 |
| | | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1283 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | Switching to the new C parser/elaborator/simplifier | xleroy | 2010-03-03 | 1 | -0/+82 |
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e |