@hackage / linearscan

Linear scan register allocator, formally verified in Coq

1.0.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / linearscan-hoopl Makes it easy to use the linearscan register allocator with Hoopl
- Version: 1.0.0
- Last uploaded: 10 years ago
- License: BSD-3-Clause