@hackage / linearscan

Linear scan register allocator, formally verified in Coq

Latest1.0.0

Dependencies

library:linearscan (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5.0
- License: BSD-3-Clause
@hackage / ghc-prim GHC primitives
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause