├── .github └── workflows │ └── coq-ci.yml ├── .gitignore ├── LICENSE ├── LinearScan.hs ├── Makefile ├── REAME.md ├── Setup.hs ├── TODO.org ├── _CoqProject ├── check ├── coq-linearscan.opam ├── default.nix ├── fixcode.pl ├── fixmake.pl ├── linearscan.cabal ├── shell.nix ├── src ├── Allocate.v ├── Assign.v ├── Blocks.v ├── Build.v ├── Context.v ├── Cursor.v ├── Graph.v ├── IntMap.v ├── IntSet.v ├── Interval.v ├── Lib.v ├── ListSsr.v ├── LiveSets.v ├── Loops.v ├── Main.v ├── Morph.v ├── NonEmpty.v ├── Range.v ├── Resolve.v ├── ScanState.v ├── Spec.v ├── Spill.v ├── Split.v ├── Ssr.v ├── Tactics.v ├── Trace.v ├── UsePos.v ├── Vector.v └── Verify.v └── unused /.github/workflows/coq-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/.github/workflows/coq-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/LICENSE -------------------------------------------------------------------------------- /LinearScan.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/LinearScan.hs -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/Makefile -------------------------------------------------------------------------------- /REAME.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/REAME.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /TODO.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/TODO.org -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/_CoqProject -------------------------------------------------------------------------------- /check: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/check -------------------------------------------------------------------------------- /coq-linearscan.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/coq-linearscan.opam -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/default.nix -------------------------------------------------------------------------------- /fixcode.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/fixcode.pl -------------------------------------------------------------------------------- /fixmake.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/fixmake.pl -------------------------------------------------------------------------------- /linearscan.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/linearscan.cabal -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/shell.nix -------------------------------------------------------------------------------- /src/Allocate.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Allocate.v -------------------------------------------------------------------------------- /src/Assign.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Assign.v -------------------------------------------------------------------------------- /src/Blocks.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Blocks.v -------------------------------------------------------------------------------- /src/Build.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Build.v -------------------------------------------------------------------------------- /src/Context.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Context.v -------------------------------------------------------------------------------- /src/Cursor.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Cursor.v -------------------------------------------------------------------------------- /src/Graph.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Graph.v -------------------------------------------------------------------------------- /src/IntMap.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/IntMap.v -------------------------------------------------------------------------------- /src/IntSet.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/IntSet.v -------------------------------------------------------------------------------- /src/Interval.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Interval.v -------------------------------------------------------------------------------- /src/Lib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Lib.v -------------------------------------------------------------------------------- /src/ListSsr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/ListSsr.v -------------------------------------------------------------------------------- /src/LiveSets.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/LiveSets.v -------------------------------------------------------------------------------- /src/Loops.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Loops.v -------------------------------------------------------------------------------- /src/Main.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Main.v -------------------------------------------------------------------------------- /src/Morph.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Morph.v -------------------------------------------------------------------------------- /src/NonEmpty.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/NonEmpty.v -------------------------------------------------------------------------------- /src/Range.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Range.v -------------------------------------------------------------------------------- /src/Resolve.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Resolve.v -------------------------------------------------------------------------------- /src/ScanState.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/ScanState.v -------------------------------------------------------------------------------- /src/Spec.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Spec.v -------------------------------------------------------------------------------- /src/Spill.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Spill.v -------------------------------------------------------------------------------- /src/Split.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Split.v -------------------------------------------------------------------------------- /src/Ssr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Ssr.v -------------------------------------------------------------------------------- /src/Tactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Tactics.v -------------------------------------------------------------------------------- /src/Trace.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Trace.v -------------------------------------------------------------------------------- /src/UsePos.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/UsePos.v -------------------------------------------------------------------------------- /src/Vector.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Vector.v -------------------------------------------------------------------------------- /src/Verify.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/src/Verify.v -------------------------------------------------------------------------------- /unused: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/linearscan/HEAD/unused --------------------------------------------------------------------------------