aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog
Commit message (Expand)AuthorAgeFilesLines
* 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-03 01:08:17 +0000