package coq-linearscan
A linear scan register allocator in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.0.tar.gz
sha256=1dfa22c9c5b3a1a76d069a23fdf9ed3c7950006d8689d18ea7c01903ddbec9c6
Description
An implementation in Coq of register allocator described in the paper Optimized Interval Splitting in a Linear Scan Register Allocator by Christian Wimmer and Hanspeter Mӧssenbӧck.
Tags
keyword: register allocator category:Computer Science/Semantics and Compilation/Compilation date: 2022-07-23 logpath: LinearscanPublished: 23 Jul 2022
Dependencies
None
Dev Dependencies (3)
-
coq-mathcomp-ssreflect
(>= "1.12" & < "1.16~") | (= "dev") -
coq-haskell
(>= "1.1" & < "1.2~") | (= "dev") -
coq
(>= "8.14" & < "8.17~") | (= "dev")
Used by
None
Conflicts
None
On This Page