summaryrefslogtreecommitdiff
path: root/cfrontend/Ctypes.v
Commit message (Expand)AuthorAge
* Introduce and use the platform-specific Archi module giving:Gravatar xleroy2014-01-03
* Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union).Gravatar xleroy2013-12-30
* Simpler, more robust emulation of calls to variadic functions:Gravatar xleroy2013-12-28
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...Gravatar xleroy2013-11-06
* Merge of the "alignas" branch.Gravatar xleroy2013-10-05
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Make Clight independent of CompCert C.Gravatar xleroy2012-10-08