summaryrefslogtreecommitdiff
path: root/driver/Clflags.ml
Commit message (Expand)AuthorAge
* Rename "-fthumb" option into "-mthumb" for GCC compatibility.Gravatar xleroy2014-08-19
* configure: distinguish between ABI and processor model.Gravatar xleroy2014-07-29
* ARM port: add support for Thumb2. To be tested.Gravatar xleroy2014-07-27
* Merge of branch linear-typing:Gravatar xleroy2014-04-06
* Add option -Os to optimize for code size rather than for execution speed.Gravatar xleroy2014-02-19
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.Gravatar xleroy2014-01-12
* More tolerance for functions declared without a prototypeGravatar xleroy2013-12-28
* Simpler, more robust emulation of calls to variadic functions:Gravatar xleroy2013-12-28
* Merge of branch value-analysis.Gravatar xleroy2013-12-20
* Rename "-fno-sse" into "-fno-fpu" and honor it on PowerPC as well.Gravatar xleroy2013-11-27
* Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi...Gravatar xleroy2013-05-17
* Preliminary support for debugging info (-g).Gravatar xleroy2013-05-17
* driver: removed option -flonglongGravatar xleroy2013-04-22
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Updated PowerPC port to new integers.Gravatar xleroy2013-02-12
* Support for inline assembly (asm statements).Gravatar xleroy2012-12-18
* Generate output files in current directory; can be overriden with -o optionGravatar xleroy2012-10-08
* Added option -falign-functionsGravatar xleroy2012-07-01
* Merge of the newmem branch:Gravatar xleroy2012-05-21
* 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
* Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt>Gravatar xleroy2012-02-29
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* 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-05-23 23:24:03 +0000