summaryrefslogtreecommitdiff
path: root/arm/Machregs.v
Commit message (Expand)AuthorAge
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* Add __builtin_bswap16 and __builtin_bswap32 to all ports.Gravatar xleroy2013-04-20
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Glasnost: making transparent a number of definitions that were opaqueGravatar xleroy2013-03-10
* ARM codegen ported to new ABI + VFD floatsGravatar xleroy2011-07-30
* Adapted to work with Coq 8.2-1Gravatar xleroy2009-06-05
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30