summaryrefslogtreecommitdiff
path: root/ia32/PrintOp.ml
Commit message (Expand)AuthorAge
* Cminor parsing and printing (from Andrew Tolmach)Gravatar xleroy2013-10-16
* Do not use Format for faster printing of RTL, XTL, LTL, MachGravatar xleroy2013-09-26
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Assorted changes to reduce stack and heap requirements when compiling very bi...Gravatar xleroy2013-03-16
* Use Flocq for floatsGravatar xleroy2012-06-28
* Merge of the reuse-temps branch:Gravatar xleroy2010-09-02