package coq-linearscan

  1. Overview
  2. No Docs
A linear scan register allocator in Coq

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. J
    John Wiegley

Maintainers

  1. J
    johnw@newartisans.com

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: Linearscan

Published: 23 Jul 2022

Dependencies

None

Dev Dependencies (3)

  1. coq-mathcomp-ssreflect (>= "1.12" & < "1.16~") | (= "dev")
  2. coq-haskell (>= "1.1" & < "1.2~") | (= "dev")
  3. coq (>= "8.14" & < "8.17~") | (= "dev")

Used by

None

Conflicts

None