summaryrefslogtreecommitdiff
path: root/checklink/Asm_printers.ml
Commit message (Expand)AuthorAge
* Updated to Pbuiltin with list of resultsGravatar xleroy2013-04-30
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.Gravatar xleroy2013-01-29
* Revert unintentional commit #1955Gravatar xleroy2012-07-06
* Ajout trunk CompCertGravatar blazy2012-07-04
* checklink: adaptation to the new floatsGravatar varobert2012-07-03
* Tracing each data chunk in debug modeGravatar varobert2012-04-04
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28