summaryrefslogtreecommitdiff
path: root/cfrontend/CPragmas.ml
Commit message (Expand)AuthorAge
* Bad printing of alignment on 'comm' symbols.Gravatar xleroy2013-07-07
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Strip quotes from section names during #pragma parsing.Gravatar xleroy2012-07-11
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsGravatar xleroy2012-03-07
* Remove 'near-code' access mode, makes no sense in CompCertGravatar xleroy2012-03-06
* Make CPragmas common to all ports.Gravatar xleroy2012-02-27