aboutsummaryrefslogtreecommitdiffstats
path: root/exportclight
Commit message (Expand)AuthorAgeFilesLines
...
* Fixed warning 45 for ExportClight.ml.Bernhard Schommer2016-05-281-1/+1
* Added version string to Clightgen.Bernhard Schommer2016-05-241-2/+14
* Escape all newlines.Bernhard Schommer2016-05-241-5/+5
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-161/+28
* bug 18004, fix file extensions for dparse optionMichael Schmidt2016-04-251-1/+1
* Also refactor clightgen to work with new warnings. Bug 18394Bernhard Schommer2016-03-231-6/+6
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-0/+2
|\
| * Misc updates following the introduction of the new linking frameworkXavier Leroy2016-03-061-0/+2
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-152-27/+27
* | Cleanup of Clightgen code.Bernhard Schommer2016-03-102-45/+41
|/
* Naming of compiler-generated temporariesXavier Leroy2016-02-051-32/+76
* clightgen: update to recent change -fstruct-return/-fstruct-passingXavier Leroy2015-12-191-4/+7
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-202-8/+8
* Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-113-14/+15
* Upgrade to reflect changes in type external_function.Xavier Leroy2015-10-111-4/+2
* Update clightgen w.r.t. teh calling_conventions record (new field cc_unproto).Xavier Leroy2015-08-171-1/+2
* Update clightgen w.r.t. EF_inline_asm (type of the clobber list).Xavier Leroy2015-08-171-1/+6
* Update clightgen to the new annotations and the new inline asm.Xavier Leroy2015-04-232-25/+10
* Update clightgen with respect to new representation of composites.Xavier Leroy2015-02-203-232/+151
* Refactoring in the printing of FP numbers.Xavier Leroy2014-09-241-8/+2
* Upgrade clightgen with the new features of CompCert 2.4 (single floats, etc).Xavier Leroy2014-09-241-7/+20
* Merge of "newspilling" branch:xleroy2014-07-231-3/+3
* Update clightgen for CompCert 2.2.v2.2xleroy2014-02-233-17/+33
* - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.xleroy2014-01-121-1/+0
* Merge of the "alignas" branch.xleroy2013-10-052-14/+27
* One more copyright header update.xleroy2013-06-171-1/+0
* Update LICENSE file and headers for dual-licensed files.xleroy2013-06-171-0/+4
* Merge of the "princeton" branch:xleroy2013-06-161-4/+54
* Updatedxleroy2013-04-301-3/+1
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-202-1/+22
* List.iteri not in OCaml < 4.00, better not use it.xleroy2013-04-081-2/+9
* Update clightgen to changes in Camlcoq and in AST.xleroy2013-03-202-15/+33
* Put clighgen files in exportclight/xleroy2013-01-054-0/+872
generated by cgit (git 2.34.1) at 2024-05-09 05:16:34 +0000