├── .drone.yml ├── .envrc ├── .github └── workflows │ └── action.yml ├── .gitignore ├── .gitmodules ├── ADPfusion.cabal ├── ADPfusion ├── Core.hs ├── Core │ ├── Apply.hs │ ├── Classes.hs │ ├── Multi.hs │ ├── SynVar │ │ ├── Array.hs │ │ ├── Array │ │ │ ├── Set.hs │ │ │ ├── Subword.hs │ │ │ └── Type.hs │ │ ├── Axiom.hs │ │ ├── Backtrack.hs │ │ ├── Fill.hs │ │ ├── FillTyLvl.hs │ │ ├── Indices.hs │ │ ├── Recursive │ │ │ └── Type.hs │ │ ├── Split.hs │ │ ├── Split │ │ │ └── Type.hs │ │ └── TableWrap.hs │ ├── TH.hs │ ├── TH │ │ ├── Backtrack.hs │ │ ├── Common.hs │ │ └── Stream.hs │ ├── Term │ │ ├── Chr.hs │ │ ├── Deletion.hs │ │ ├── Edge.hs │ │ ├── Epsilon.hs │ │ ├── MultiChr.hs │ │ ├── PeekIndex.hs │ │ ├── Str.hs │ │ └── Switch.hs │ └── TyLvlIx.hs ├── Multi │ ├── Classes.hs │ ├── Empty.hs │ ├── GChr.hs │ └── None.hs ├── PointL.hs ├── PointL │ ├── Core.hs │ ├── SynVar.hs │ ├── SynVar │ │ ├── Indices.hs │ │ ├── Recursive.hs │ │ └── Split.hs │ └── Term │ │ ├── Chr.hs │ │ ├── Deletion.hs │ │ ├── Epsilon.hs │ │ ├── MultiChr.hs │ │ ├── PeekIndex.hs │ │ ├── Str.hs │ │ └── Switch.hs ├── PointR.hs ├── PointR │ ├── Core.hs │ ├── SynVar │ │ └── Indices.hs │ └── Term │ │ ├── Chr.hs │ │ ├── Deletion.hs │ │ ├── Epsilon.hs │ │ └── MultiChr.hs ├── Tutorial │ └── NeedlemanWunsch.hs ├── Unit.hs └── Unit │ ├── Core.hs │ ├── SynVar │ └── Indices.hs │ └── Term │ ├── Deletion.hs │ └── Epsilon.hs ├── C ├── bench-gen.sh ├── bench-run.sh ├── genussfold.input ├── nw.c └── pseudoknot.c ├── HACKING.md ├── LICENSE ├── README.md ├── Setup.hs ├── cabal.project ├── changelog.md ├── default.nix ├── devel-stack.yaml ├── envhs.nix ├── flake.lock ├── flake.nix ├── fusiontests └── T2.hs ├── gaplike-newcodegen.png ├── gaplike-performance.png ├── hie.yaml ├── local.cabal.project ├── nightly-stack.yaml ├── runtimes ├── 0100.input.gz ├── 0200.input.gz ├── 0300.input.gz ├── 0400.input.gz ├── 0500.input.gz ├── 0600.input.gz ├── 0700.input.gz ├── 0800.input.gz ├── 0900.input.gz ├── 1000.input.gz ├── 10000.input.gz └── howto.sh ├── shell.nix ├── src ├── DishonestCasino.hs ├── MemoRecNussinov.hs ├── NeedlemanWunsch.hs ├── Palindrome.hs ├── SmithWaterman.hs ├── Sparse.hs └── SpecTest.hs └── tests ├── BacktrackingStructures.hs ├── BenchFun ├── Common.hs ├── Test2V_1.hs └── Test2V_2.hs ├── QuickCheck ├── Common.hs ├── Point.hs └── PointR.hs ├── TestInlineFill.hs ├── allocation.hs ├── benchmark.hs └── properties.hs /.drone.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/.drone.yml -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/workflows/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/.github/workflows/action.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | deps 2 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ADPfusion.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion.cabal -------------------------------------------------------------------------------- /ADPfusion/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Apply.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Apply.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Classes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Classes.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Multi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Multi.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Array.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Array.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Array/Set.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Array/Set.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Array/Subword.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Array/Subword.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Array/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Array/Type.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Axiom.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Axiom.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Backtrack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Backtrack.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Fill.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Fill.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/FillTyLvl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/FillTyLvl.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Indices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Indices.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Recursive/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Recursive/Type.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Split.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Split.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/Split/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/Split/Type.hs -------------------------------------------------------------------------------- /ADPfusion/Core/SynVar/TableWrap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/SynVar/TableWrap.hs -------------------------------------------------------------------------------- /ADPfusion/Core/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/TH.hs -------------------------------------------------------------------------------- /ADPfusion/Core/TH/Backtrack.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/TH/Backtrack.hs -------------------------------------------------------------------------------- /ADPfusion/Core/TH/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/TH/Common.hs -------------------------------------------------------------------------------- /ADPfusion/Core/TH/Stream.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/TH/Stream.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Chr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Chr.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Deletion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Deletion.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Edge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Edge.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Epsilon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Epsilon.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/MultiChr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/MultiChr.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/PeekIndex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/PeekIndex.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Str.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Str.hs -------------------------------------------------------------------------------- /ADPfusion/Core/Term/Switch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/Term/Switch.hs -------------------------------------------------------------------------------- /ADPfusion/Core/TyLvlIx.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Core/TyLvlIx.hs -------------------------------------------------------------------------------- /ADPfusion/Multi/Classes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Multi/Classes.hs -------------------------------------------------------------------------------- /ADPfusion/Multi/Empty.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Multi/Empty.hs -------------------------------------------------------------------------------- /ADPfusion/Multi/GChr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Multi/GChr.hs -------------------------------------------------------------------------------- /ADPfusion/Multi/None.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Multi/None.hs -------------------------------------------------------------------------------- /ADPfusion/PointL.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Core.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/SynVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/SynVar.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/SynVar/Indices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/SynVar/Indices.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/SynVar/Recursive.hs: -------------------------------------------------------------------------------- 1 | 2 | module ADPfusion.PointL.SynVar.Recursive where 3 | 4 | -------------------------------------------------------------------------------- /ADPfusion/PointL/SynVar/Split.hs: -------------------------------------------------------------------------------- 1 | 2 | module ADPfusion.PointL.SynVar.Split where 3 | 4 | -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/Chr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/Chr.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/Deletion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/Deletion.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/Epsilon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/Epsilon.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/MultiChr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/MultiChr.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/PeekIndex.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/PeekIndex.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/Str.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/Str.hs -------------------------------------------------------------------------------- /ADPfusion/PointL/Term/Switch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointL/Term/Switch.hs -------------------------------------------------------------------------------- /ADPfusion/PointR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/Core.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/SynVar/Indices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/SynVar/Indices.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/Term/Chr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/Term/Chr.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/Term/Deletion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/Term/Deletion.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/Term/Epsilon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/Term/Epsilon.hs -------------------------------------------------------------------------------- /ADPfusion/PointR/Term/MultiChr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/PointR/Term/MultiChr.hs -------------------------------------------------------------------------------- /ADPfusion/Tutorial/NeedlemanWunsch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Tutorial/NeedlemanWunsch.hs -------------------------------------------------------------------------------- /ADPfusion/Unit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Unit.hs -------------------------------------------------------------------------------- /ADPfusion/Unit/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Unit/Core.hs -------------------------------------------------------------------------------- /ADPfusion/Unit/SynVar/Indices.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Unit/SynVar/Indices.hs -------------------------------------------------------------------------------- /ADPfusion/Unit/Term/Deletion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Unit/Term/Deletion.hs -------------------------------------------------------------------------------- /ADPfusion/Unit/Term/Epsilon.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/ADPfusion/Unit/Term/Epsilon.hs -------------------------------------------------------------------------------- /C/bench-gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/C/bench-gen.sh -------------------------------------------------------------------------------- /C/bench-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/C/bench-run.sh -------------------------------------------------------------------------------- /C/genussfold.input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/C/genussfold.input -------------------------------------------------------------------------------- /C/nw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/C/nw.c -------------------------------------------------------------------------------- /C/pseudoknot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/C/pseudoknot.c -------------------------------------------------------------------------------- /HACKING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/HACKING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/cabal.project -------------------------------------------------------------------------------- /changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/changelog.md -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/default.nix -------------------------------------------------------------------------------- /devel-stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/devel-stack.yaml -------------------------------------------------------------------------------- /envhs.nix: -------------------------------------------------------------------------------- 1 | with (import {}); 2 | hsDevFunctions ./. 3 | -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/flake.nix -------------------------------------------------------------------------------- /fusiontests/T2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/fusiontests/T2.hs -------------------------------------------------------------------------------- /gaplike-newcodegen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/gaplike-newcodegen.png -------------------------------------------------------------------------------- /gaplike-performance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/gaplike-performance.png -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/hie.yaml -------------------------------------------------------------------------------- /local.cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/local.cabal.project -------------------------------------------------------------------------------- /nightly-stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/nightly-stack.yaml -------------------------------------------------------------------------------- /runtimes/0100.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0100.input.gz -------------------------------------------------------------------------------- /runtimes/0200.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0200.input.gz -------------------------------------------------------------------------------- /runtimes/0300.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0300.input.gz -------------------------------------------------------------------------------- /runtimes/0400.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0400.input.gz -------------------------------------------------------------------------------- /runtimes/0500.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0500.input.gz -------------------------------------------------------------------------------- /runtimes/0600.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0600.input.gz -------------------------------------------------------------------------------- /runtimes/0700.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0700.input.gz -------------------------------------------------------------------------------- /runtimes/0800.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0800.input.gz -------------------------------------------------------------------------------- /runtimes/0900.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/0900.input.gz -------------------------------------------------------------------------------- /runtimes/1000.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/1000.input.gz -------------------------------------------------------------------------------- /runtimes/10000.input.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/10000.input.gz -------------------------------------------------------------------------------- /runtimes/howto.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/runtimes/howto.sh -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/shell.nix -------------------------------------------------------------------------------- /src/DishonestCasino.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/DishonestCasino.hs -------------------------------------------------------------------------------- /src/MemoRecNussinov.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/MemoRecNussinov.hs -------------------------------------------------------------------------------- /src/NeedlemanWunsch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/NeedlemanWunsch.hs -------------------------------------------------------------------------------- /src/Palindrome.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/Palindrome.hs -------------------------------------------------------------------------------- /src/SmithWaterman.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/SmithWaterman.hs -------------------------------------------------------------------------------- /src/Sparse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/Sparse.hs -------------------------------------------------------------------------------- /src/SpecTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/src/SpecTest.hs -------------------------------------------------------------------------------- /tests/BacktrackingStructures.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/BacktrackingStructures.hs -------------------------------------------------------------------------------- /tests/BenchFun/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/BenchFun/Common.hs -------------------------------------------------------------------------------- /tests/BenchFun/Test2V_1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/BenchFun/Test2V_1.hs -------------------------------------------------------------------------------- /tests/BenchFun/Test2V_2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/BenchFun/Test2V_2.hs -------------------------------------------------------------------------------- /tests/QuickCheck/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/QuickCheck/Common.hs -------------------------------------------------------------------------------- /tests/QuickCheck/Point.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/QuickCheck/Point.hs -------------------------------------------------------------------------------- /tests/QuickCheck/PointR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/QuickCheck/PointR.hs -------------------------------------------------------------------------------- /tests/TestInlineFill.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/TestInlineFill.hs -------------------------------------------------------------------------------- /tests/allocation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/allocation.hs -------------------------------------------------------------------------------- /tests/benchmark.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/benchmark.hs -------------------------------------------------------------------------------- /tests/properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/choener/ADPfusion/HEAD/tests/properties.hs --------------------------------------------------------------------------------