summaryrefslogtreecommitdiff
path: root/backend/SelectLongproof.v
Commit message (Expand)AuthorAge
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Expand 64-bit integer comparisons into 32-bit integer comparisons.Gravatar xleroy2013-04-29
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20