summaryrefslogtreecommitdiff
path: root/exportclight
Commit message (Expand)AuthorAge
* Update clightgen for CompCert 2.2.Gravatar xleroy2014-02-23
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.Gravatar xleroy2014-01-12
* Merge of the "alignas" branch.Gravatar xleroy2013-10-05
* One more copyright header update.Gravatar xleroy2013-06-17
* Update LICENSE file and headers for dual-licensed files.Gravatar xleroy2013-06-17
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* UpdatedGravatar xleroy2013-04-30
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* List.iteri not in OCaml < 4.00, better not use it.Gravatar xleroy2013-04-08
* Update clightgen to changes in Camlcoq and in AST.Gravatar xleroy2013-03-20
* Put clighgen files in exportclight/Gravatar xleroy2013-01-05