summaryrefslogtreecommitdiff
path: root/driver/Clflags.ml
Commit message (Expand)AuthorAge
* Corrected initialization of char arrays by string literals.Gravatar xleroy2011-10-17
* Presimplification SimplVolatile: cleaned up and integrated.Gravatar xleroy2011-08-18
* Added animation of the CompCert C semantics (ccomp -interp)Gravatar xleroy2011-07-28
* cparser: support for attributes over struct and union.Gravatar xleroy2011-05-12
* powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).Gravatar xleroy2011-05-08
* Better emulation of long long as a struct.Gravatar xleroy2010-09-04
* Merge of branches/full-expr-4:Gravatar xleroy2010-08-18
* Suppressed -fall-extensions option, too dangerous wrt flonglongGravatar xleroy2010-03-03
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03
* Revised handling of #pragma section and small data areasGravatar xleroy2010-01-27
* PowerPC/EABI port: preliminary support for #pragma section andGravatar xleroy2009-11-03
* Simplified the treatment of the PowerPC small data area; now more specific to...Gravatar xleroy2009-11-02
* Preliminary support for small data area in PowerPC port.Gravatar xleroy2009-11-01
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 15:12:53 +0000