summaryrefslogtreecommitdiff
path: root/Changelog
Commit message (Expand)AuthorAge
* More faithful semantics for volatile reads and writes.Gravatar xleroy2010-05-23
* UpdateGravatar xleroy2010-05-05
* Update for 1.7.1Gravatar xleroy2010-04-13
* Updates for release 1.7Gravatar xleroy2010-03-30
* Backtracking on commit 1220Gravatar xleroy2010-01-13
* MAJ ChangesGravatar xleroy2010-01-12
* MAJ ChangesGravatar xleroy2009-12-16
* Support Clight initializers of the form "int * x = &y;".Gravatar xleroy2009-11-01
* Updated for 1.5Gravatar xleroy2009-09-15
* Last updates for release 1.5.Gravatar xleroy2009-08-28
* Updated for release 1.5Gravatar xleroy2009-08-27
* Adapted to work with Coq 8.2-1Gravatar xleroy2009-06-05
* Various clean-upsGravatar xleroy2009-04-17
* Honor "static" modifier on C globals.Gravatar xleroy2009-03-28
* UpdateGravatar xleroy2009-03-26
* Added tail call optimization passGravatar xleroy2009-03-26
* UpdateGravatar xleroy2008-08-09
* Changes 1.2 -> 1.3Gravatar xleroy2008-08-09