aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
Commit message (Expand)AuthorAgeFilesLines
* MAJ docv1.10xleroy2012-03-121-1/+1
* Merge of Andrew Tolmach's HASP-related changesxleroy2012-03-091-0/+1
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsxleroy2012-03-071-0/+3
* Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt>xleroy2012-02-291-1/+4
* - Support for _Alignof(ty) operator from ISO C 2011xleroy2012-02-261-1/+3
* Translate CompCert C's "a ? b : c" to the equivalent simple Clight expr ifxleroy2012-02-251-2/+2
* More aggressive common subexpression elimination (CSE) of memory loads.xleroy2012-02-231-0/+1
* Simplified and cleaned up the passing of information from C2C to PrintAsm, as...xleroy2012-02-221-0/+35
* Updatev1.9.1xleroy2011-11-271-7/+26
* Changelog, doc: updated for release 1.9v1.9xleroy2011-08-221-1/+1
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-0/+8
* MAJxleroy2011-08-161-4/+12
* ARM: added reversed load/store builtins + bswap builtin (to be tested)xleroy2011-07-301-4/+23
* In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...xleroy2011-07-161-0/+5
* Merge of branch new-semantics: revised and strengthened top-level statements ...xleroy2011-07-151-0/+8
* Revised handling of annotation statements, and more generally built-in functi...xleroy2011-06-131-0/+12
* Forgot somethingxleroy2011-05-241-0/+4
* Update for release 1.8.2xleroy2011-05-241-0/+3
* cparser: support for attributes over struct and union.xleroy2011-05-121-2/+4
* powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).xleroy2011-05-081-0/+26
* Update for 1.8.1 releasev1.8.1xleroy2011-03-141-0/+23
* Update for release 1.8xleroy2010-09-211-6/+7
* Updatedxleroy2010-09-041-9/+25
* More faithful semantics for volatile reads and writes.xleroy2010-05-231-0/+7
* Updatexleroy2010-05-051-1/+24
* Update for 1.7.1v1.7.1xleroy2010-04-131-0/+17
* Updates for release 1.7v1.7xleroy2010-03-301-0/+46
* Backtracking on commit 1220v1.6xleroy2010-01-131-1/+1
* MAJ Changesxleroy2010-01-121-1/+1
* MAJ Changesxleroy2009-12-161-0/+14
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-011-0/+9
* Updated for 1.5xleroy2009-09-151-0/+3
* Last updates for release 1.5.v1.5xleroy2009-08-281-3/+3
* Updated for release 1.5xleroy2009-08-271-0/+31
* Adapted to work with Coq 8.2-1v1.4.1xleroy2009-06-051-0/+5
* Various clean-upsv1.4xleroy2009-04-171-2/+2
* Honor "static" modifier on C globals.xleroy2009-03-281-0/+2
* Updatexleroy2009-03-261-0/+25
* Added tail call optimization passxleroy2009-03-261-0/+3
* Updatev1.3xleroy2008-08-091-2/+2
* Changes 1.2 -> 1.3xleroy2008-08-091-0/+42
generated by cgit (git 2.34.1) at 2024-06-02 17:57:57 +0000