Move benchmarks into benchmark/ subdir.
Showing
with
677 additions
and
106 deletions
+677
-106
- .gitignore .gitignore +0 -106
- benchmarks/.gitignore benchmarks/.gitignore +378 -0
- benchmarks/Makefile benchmarks/Makefile +7 -0
- benchmarks/Makefile-template benchmarks/Makefile-template +0 -0
- benchmarks/gc/Makefile benchmarks/gc/Makefile +57 -0
- benchmarks/gc/cacheprof/Arch_x86.hs benchmarks/gc/cacheprof/Arch_x86.hs +0 -0
- benchmarks/gc/cacheprof/Generics.hs benchmarks/gc/cacheprof/Generics.hs +0 -0
- benchmarks/gc/cacheprof/Main.hs benchmarks/gc/cacheprof/Main.hs +0 -0
- benchmarks/gc/cacheprof/Makefile benchmarks/gc/cacheprof/Makefile +12 -0
- benchmarks/gc/cacheprof/cacheprof.stdin benchmarks/gc/cacheprof/cacheprof.stdin +0 -0
- benchmarks/gc/cacheprof/cacheprof.stdout benchmarks/gc/cacheprof/cacheprof.stdout +0 -0
- benchmarks/gc/cacheprof/cacheprof_hooks2_x86.s benchmarks/gc/cacheprof/cacheprof_hooks2_x86.s +0 -0
- benchmarks/gc/circsim/Main.lhs benchmarks/gc/circsim/Main.lhs +0 -0
- benchmarks/gc/circsim/Makefile benchmarks/gc/circsim/Makefile +16 -0
- benchmarks/gc/circsim/circsim.faststdout benchmarks/gc/circsim/circsim.faststdout +0 -0
- benchmarks/gc/circsim/circsim.stdout benchmarks/gc/circsim/circsim.stdout +0 -0
- benchmarks/gc/constraints/Main.hs benchmarks/gc/constraints/Main.hs +0 -0
- benchmarks/gc/constraints/Makefile benchmarks/gc/constraints/Makefile +16 -0
- benchmarks/gc/constraints/constraints.faststdout benchmarks/gc/constraints/constraints.faststdout +0 -0
- benchmarks/gc/constraints/constraints.stdout benchmarks/gc/constraints/constraints.stdout +0 -0
- benchmarks/gc/fibheaps/Main.lhs benchmarks/gc/fibheaps/Main.lhs +0 -0
- benchmarks/gc/fibheaps/Makefile benchmarks/gc/fibheaps/Makefile +15 -0
- benchmarks/gc/fibheaps/fibheaps.stdout benchmarks/gc/fibheaps/fibheaps.stdout +0 -0
- benchmarks/gc/fibheaps/orig benchmarks/gc/fibheaps/orig +0 -0
- benchmarks/gc/fibheaps/stuff benchmarks/gc/fibheaps/stuff +0 -0
- benchmarks/gc/fulsom/Bah.hs benchmarks/gc/fulsom/Bah.hs +0 -0
- benchmarks/gc/fulsom/Csg.hs benchmarks/gc/fulsom/Csg.hs +0 -0
- benchmarks/gc/fulsom/Interval.hs benchmarks/gc/fulsom/Interval.hs +0 -0
- benchmarks/gc/fulsom/Kolor.hs benchmarks/gc/fulsom/Kolor.hs +0 -0
- benchmarks/gc/fulsom/MAIL benchmarks/gc/fulsom/MAIL +0 -0
- benchmarks/gc/fulsom/Main.hs benchmarks/gc/fulsom/Main.hs +0 -0
- benchmarks/gc/fulsom/Makefile benchmarks/gc/fulsom/Makefile +22 -0
- benchmarks/gc/fulsom/Matrix.hs benchmarks/gc/fulsom/Matrix.hs +0 -0
- benchmarks/gc/fulsom/Oct.hs benchmarks/gc/fulsom/Oct.hs +0 -0
- benchmarks/gc/fulsom/Patchlevel.hs benchmarks/gc/fulsom/Patchlevel.hs +0 -0
- benchmarks/gc/fulsom/Quad.hs benchmarks/gc/fulsom/Quad.hs +0 -0
- benchmarks/gc/fulsom/README.nofib benchmarks/gc/fulsom/README.nofib +0 -0
- benchmarks/gc/fulsom/README.original benchmarks/gc/fulsom/README.original +0 -0
- benchmarks/gc/fulsom/Raster.hs benchmarks/gc/fulsom/Raster.hs +0 -0
- benchmarks/gc/fulsom/Shapes.hs benchmarks/gc/fulsom/Shapes.hs +0 -0
- benchmarks/gc/fulsom/Types.hs benchmarks/gc/fulsom/Types.hs +0 -0
- benchmarks/gc/fulsom/Vector.hs benchmarks/gc/fulsom/Vector.hs +0 -0
- benchmarks/gc/fulsom/fulsom.stdout benchmarks/gc/fulsom/fulsom.stdout +0 -0
- benchmarks/gc/fulsom/out benchmarks/gc/fulsom/out +0 -0
- benchmarks/gc/fulsom/pics/sphere.gif benchmarks/gc/fulsom/pics/sphere.gif +0 -0
- benchmarks/gc/fulsom/raster/raster.c benchmarks/gc/fulsom/raster/raster.c +0 -0
- benchmarks/gc/fulsom/stuff benchmarks/gc/fulsom/stuff +0 -0
- benchmarks/gc/fulsom/stuff-SAVE benchmarks/gc/fulsom/stuff-SAVE +0 -0
- benchmarks/gc/fulsom/stuff2 benchmarks/gc/fulsom/stuff2 +0 -0
- benchmarks/gc/gc_bench/Makefile benchmarks/gc/gc_bench/Makefile +19 -0
- benchmarks/gc/gc_bench/gc_bench.hs benchmarks/gc/gc_bench/gc_bench.hs +0 -0
- benchmarks/gc/ghc/Expected.hs benchmarks/gc/ghc/Expected.hs +0 -0
- benchmarks/gc/ghc/Makefile benchmarks/gc/ghc/Makefile +18 -0
- benchmarks/gc/happy/AbsSyn.lhs benchmarks/gc/happy/AbsSyn.lhs +0 -0
- benchmarks/gc/happy/AttrGrammar.lhs benchmarks/gc/happy/AttrGrammar.lhs +0 -0
- benchmarks/gc/happy/AttrGrammarParser.hs benchmarks/gc/happy/AttrGrammarParser.hs +0 -0
- benchmarks/gc/happy/First.lhs benchmarks/gc/happy/First.lhs +0 -0
- benchmarks/gc/happy/GenUtils.lhs benchmarks/gc/happy/GenUtils.lhs +0 -0
- benchmarks/gc/happy/Grammar.lhs benchmarks/gc/happy/Grammar.lhs +0 -0
- benchmarks/gc/happy/Info.lhs benchmarks/gc/happy/Info.lhs +0 -0
- benchmarks/gc/happy/LALR.lhs benchmarks/gc/happy/LALR.lhs +0 -0
- benchmarks/gc/happy/Lexer.lhs benchmarks/gc/happy/Lexer.lhs +0 -0
- benchmarks/gc/happy/Makefile benchmarks/gc/happy/Makefile +16 -0
- benchmarks/gc/happy/ParseMonad.lhs benchmarks/gc/happy/ParseMonad.lhs +0 -0
- benchmarks/gc/happy/Parser.hs benchmarks/gc/happy/Parser.hs +0 -0
- benchmarks/gc/happy/Paths_happy.hs benchmarks/gc/happy/Paths_happy.hs +0 -0
- benchmarks/gc/happy/ProduceCode.lhs benchmarks/gc/happy/ProduceCode.lhs +0 -0
- benchmarks/gc/happy/ProduceGLRCode.lhs benchmarks/gc/happy/ProduceGLRCode.lhs +0 -0
- benchmarks/gc/happy/Set.hs benchmarks/gc/happy/Set.hs +0 -0
- benchmarks/gc/happy/Target.lhs benchmarks/gc/happy/Target.lhs +0 -0
- benchmarks/gc/happy/TestInput.hs benchmarks/gc/happy/TestInput.hs +0 -0
- benchmarks/gc/happy/TestInput.y benchmarks/gc/happy/TestInput.y +0 -0
- benchmarks/gc/happy/happy.expected benchmarks/gc/happy/happy.expected +0 -0
- benchmarks/gc/happy/happy.lhs benchmarks/gc/happy/happy.lhs +0 -0
- benchmarks/gc/happy/happy.stderr benchmarks/gc/happy/happy.stderr +0 -0
- benchmarks/gc/hash/Makefile benchmarks/gc/hash/Makefile +12 -0
- benchmarks/gc/hash/hash.hs benchmarks/gc/hash/hash.hs +0 -0
- benchmarks/gc/lcss/Main.hs benchmarks/gc/lcss/Main.hs +0 -0
- benchmarks/gc/lcss/Makefile benchmarks/gc/lcss/Makefile +10 -0
- benchmarks/gc/lcss/lcss.faststdout benchmarks/gc/lcss/lcss.faststdout +0 -0
- benchmarks/gc/lcss/lcss.slowstdout benchmarks/gc/lcss/lcss.slowstdout +0 -0
- benchmarks/gc/lcss/lcss.stdout benchmarks/gc/lcss/lcss.stdout +0 -0
- benchmarks/gc/linear/AbsCg.lhs benchmarks/gc/linear/AbsCg.lhs +0 -0
- benchmarks/gc/linear/AbsDensematrix.lhs benchmarks/gc/linear/AbsDensematrix.lhs +0 -0
- benchmarks/gc/linear/Absmatlib.lhs benchmarks/gc/linear/Absmatlib.lhs +0 -0
- benchmarks/gc/linear/Cg.lhs benchmarks/gc/linear/Cg.lhs +0 -0
- benchmarks/gc/linear/Densematrix.lhs benchmarks/gc/linear/Densematrix.lhs +0 -0
- benchmarks/gc/linear/Input.lhs benchmarks/gc/linear/Input.lhs +0 -0
- benchmarks/gc/linear/Makefile benchmarks/gc/linear/Makefile +14 -0
- benchmarks/gc/linear/Matlib.lhs benchmarks/gc/linear/Matlib.lhs +0 -0
- benchmarks/gc/linear/Matrix.lhs benchmarks/gc/linear/Matrix.lhs +0 -0
- benchmarks/gc/linear/Misc.lhs benchmarks/gc/linear/Misc.lhs +0 -0
- benchmarks/gc/linear/Utils.lhs benchmarks/gc/linear/Utils.lhs +0 -0
- benchmarks/gc/linear/linear.expected benchmarks/gc/linear/linear.expected +0 -0
- benchmarks/gc/linear/linear.lhs benchmarks/gc/linear/linear.lhs +0 -0
- benchmarks/gc/linear/linear.ps benchmarks/gc/linear/linear.ps +0 -0
- benchmarks/gc/linear/linear.stdout benchmarks/gc/linear/linear.stdout +0 -0
- benchmarks/gc/mutstore1/Main.hs benchmarks/gc/mutstore1/Main.hs +0 -0
- benchmarks/gc/mutstore1/Makefile benchmarks/gc/mutstore1/Makefile +8 -0
- benchmarks/gc/mutstore1/Store1.hs benchmarks/gc/mutstore1/Store1.hs +0 -0
- benchmarks/gc/mutstore2/Main.hs benchmarks/gc/mutstore2/Main.hs +0 -0
- benchmarks/gc/mutstore2/Makefile benchmarks/gc/mutstore2/Makefile +8 -0
- benchmarks/gc/mutstore2/Store2.hs benchmarks/gc/mutstore2/Store2.hs +0 -0
- benchmarks/gc/power/Main.hs benchmarks/gc/power/Main.hs +0 -0
- benchmarks/gc/power/Makefile benchmarks/gc/power/Makefile +15 -0
- benchmarks/gc/power/power.slowstdout benchmarks/gc/power/power.slowstdout +0 -0
- benchmarks/gc/power/power.stdout benchmarks/gc/power/power.stdout +0 -0
- benchmarks/gc/spellcheck/Makefile benchmarks/gc/spellcheck/Makefile +20 -0
- benchmarks/gc/spellcheck/input benchmarks/gc/spellcheck/input +0 -0
- benchmarks/gc/spellcheck/spellcheck.hs benchmarks/gc/spellcheck/spellcheck.hs +0 -0
- benchmarks/gc/spellcheck/spellcheck.stdout benchmarks/gc/spellcheck/spellcheck.stdout +0 -0
- benchmarks/gc/spellcheck/words benchmarks/gc/spellcheck/words +0 -0
- benchmarks/gc/treejoin/27000.1 benchmarks/gc/treejoin/27000.1 +0 -0
- benchmarks/gc/treejoin/27000.2 benchmarks/gc/treejoin/27000.2 +0 -0
- benchmarks/gc/treejoin/MAIL benchmarks/gc/treejoin/MAIL +0 -0
- benchmarks/gc/treejoin/Main.hs benchmarks/gc/treejoin/Main.hs +0 -0
- benchmarks/gc/treejoin/Makefile benchmarks/gc/treejoin/Makefile +14 -0
- benchmarks/gc/treejoin/treejoin.stdout benchmarks/gc/treejoin/treejoin.stdout +0 -0
- benchmarks/hackage/Agum/Agum.stdout benchmarks/hackage/Agum/Agum.stdout +0 -0
- benchmarks/hackage/Agum/ChangeLog benchmarks/hackage/Agum/ChangeLog +0 -0
- benchmarks/hackage/Agum/Fibon/Instance.hs benchmarks/hackage/Agum/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Agum/Fibon/README benchmarks/hackage/Agum/Fibon/README +0 -0
- benchmarks/hackage/Agum/Fibon/data/ref/input/eqn.txt benchmarks/hackage/Agum/Fibon/data/ref/input/eqn.txt +0 -0
- benchmarks/hackage/Agum/Fibon/data/ref/output/agum.stdout.expected ...s/hackage/Agum/Fibon/data/ref/output/agum.stdout.expected +0 -0
- benchmarks/hackage/Agum/Fibon/data/test/input/eqn.txt benchmarks/hackage/Agum/Fibon/data/test/input/eqn.txt +0 -0
- benchmarks/hackage/Agum/Fibon/data/test/output/agum.stdout.expected .../hackage/Agum/Fibon/data/test/output/agum.stdout.expected +0 -0
- benchmarks/hackage/Agum/Fibon/gen.hs benchmarks/hackage/Agum/Fibon/gen.hs +0 -0
- benchmarks/hackage/Agum/Makefile benchmarks/hackage/Agum/Makefile +0 -0
- benchmarks/hackage/Agum/Setup.hs benchmarks/hackage/Agum/Setup.hs +0 -0
- benchmarks/hackage/Agum/agum.cabal benchmarks/hackage/Agum/agum.cabal +0 -0
- benchmarks/hackage/Agum/eqn.txt benchmarks/hackage/Agum/eqn.txt +0 -0
- benchmarks/hackage/Agum/license.txt benchmarks/hackage/Agum/license.txt +0 -0
- benchmarks/hackage/Agum/readme.txt benchmarks/hackage/Agum/readme.txt +0 -0
- benchmarks/hackage/Agum/src/Algebra/AbelianGroup/IntLinEq.hs benchmarks/hackage/Agum/src/Algebra/AbelianGroup/IntLinEq.hs +0 -0
- benchmarks/hackage/Agum/src/Algebra/AbelianGroup/Main.hs benchmarks/hackage/Agum/src/Algebra/AbelianGroup/Main.hs +0 -0
- benchmarks/hackage/Agum/src/Algebra/AbelianGroup/UnificationMatching.hs ...kage/Agum/src/Algebra/AbelianGroup/UnificationMatching.hs +0 -0
- benchmarks/hackage/Bzlib/Bzlib.stdout benchmarks/hackage/Bzlib/Bzlib.stdout +0 -0
- benchmarks/hackage/Bzlib/Codec/Compression/BZip.hs benchmarks/hackage/Bzlib/Codec/Compression/BZip.hs +0 -0
- benchmarks/hackage/Bzlib/Codec/Compression/BZip/Internal.hs benchmarks/hackage/Bzlib/Codec/Compression/BZip/Internal.hs +0 -0
- benchmarks/hackage/Bzlib/Codec/Compression/BZip/Stream.hsc benchmarks/hackage/Bzlib/Codec/Compression/BZip/Stream.hsc +0 -0
- benchmarks/hackage/Bzlib/Fibon/Instance.hs benchmarks/hackage/Bzlib/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Bzlib/Fibon/data/ref/input/mito.aa.bz2 benchmarks/hackage/Bzlib/Fibon/data/ref/input/mito.aa.bz2 +0 -0
- benchmarks/hackage/Bzlib/Fibon/data/ref/output/mito.aa.bz2 benchmarks/hackage/Bzlib/Fibon/data/ref/output/mito.aa.bz2 +0 -0
- benchmarks/hackage/Bzlib/Fibon/data/test/input/bzlib.cabal.bz2 ...marks/hackage/Bzlib/Fibon/data/test/input/bzlib.cabal.bz2 +0 -0
- benchmarks/hackage/Bzlib/Fibon/data/test/output/bzlib.cabal.bz2 ...arks/hackage/Bzlib/Fibon/data/test/output/bzlib.cabal.bz2 +0 -0
- benchmarks/hackage/Bzlib/LICENSE benchmarks/hackage/Bzlib/LICENSE +0 -0
- benchmarks/hackage/Bzlib/Main.hs benchmarks/hackage/Bzlib/Main.hs +0 -0
- benchmarks/hackage/Bzlib/Makefile benchmarks/hackage/Bzlib/Makefile +0 -0
- benchmarks/hackage/Bzlib/Setup.hs benchmarks/hackage/Bzlib/Setup.hs +0 -0
- benchmarks/hackage/Bzlib/bunzip2.hs benchmarks/hackage/Bzlib/bunzip2.hs +0 -0
- benchmarks/hackage/Bzlib/bzip2.hs benchmarks/hackage/Bzlib/bzip2.hs +0 -0
- benchmarks/hackage/Bzlib/bzlib.cabal benchmarks/hackage/Bzlib/bzlib.cabal +0 -0
- benchmarks/hackage/Bzlib/cbits/blocksort.c benchmarks/hackage/Bzlib/cbits/blocksort.c +0 -0
- benchmarks/hackage/Bzlib/cbits/bzlib.c benchmarks/hackage/Bzlib/cbits/bzlib.c +0 -0
- benchmarks/hackage/Bzlib/cbits/bzlib.h benchmarks/hackage/Bzlib/cbits/bzlib.h +0 -0
- benchmarks/hackage/Bzlib/cbits/bzlib_private.h benchmarks/hackage/Bzlib/cbits/bzlib_private.h +0 -0
- benchmarks/hackage/Bzlib/cbits/compress.c benchmarks/hackage/Bzlib/cbits/compress.c +0 -0
- benchmarks/hackage/Bzlib/cbits/crctable.c benchmarks/hackage/Bzlib/cbits/crctable.c +0 -0
- benchmarks/hackage/Bzlib/cbits/decompress.c benchmarks/hackage/Bzlib/cbits/decompress.c +0 -0
- benchmarks/hackage/Bzlib/cbits/huffman.c benchmarks/hackage/Bzlib/cbits/huffman.c +0 -0
- benchmarks/hackage/Bzlib/cbits/randtable.c benchmarks/hackage/Bzlib/cbits/randtable.c +0 -0
- benchmarks/hackage/Bzlib/mito.aa.bz2 benchmarks/hackage/Bzlib/mito.aa.bz2 +0 -0
- benchmarks/hackage/Cpsa/ChangeLog benchmarks/hackage/Cpsa/ChangeLog +0 -0
- benchmarks/hackage/Cpsa/Cpsa.stderr benchmarks/hackage/Cpsa/Cpsa.stderr +0 -0
- benchmarks/hackage/Cpsa/Cpsa.stdout benchmarks/hackage/Cpsa/Cpsa.stdout +0 -0
- benchmarks/hackage/Cpsa/Fibon/Instance.hs benchmarks/hackage/Cpsa/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Cpsa/Fibon/data/ref/input/nsl5.lisp benchmarks/hackage/Cpsa/Fibon/data/ref/input/nsl5.lisp +0 -0
- benchmarks/hackage/Cpsa/Fibon/data/ref/output/cpsa.stdout.expected ...s/hackage/Cpsa/Fibon/data/ref/output/cpsa.stdout.expected +0 -0
- benchmarks/hackage/Cpsa/Fibon/data/test/input/ns.scm benchmarks/hackage/Cpsa/Fibon/data/test/input/ns.scm +0 -0
- benchmarks/hackage/Cpsa/Fibon/data/test/output/cpsa.stdout.expected .../hackage/Cpsa/Fibon/data/test/output/cpsa.stdout.expected +0 -0
- benchmarks/hackage/Cpsa/Makefile benchmarks/hackage/Cpsa/Makefile +0 -0
- benchmarks/hackage/Cpsa/NEWS benchmarks/hackage/Cpsa/NEWS +0 -0
- benchmarks/hackage/Cpsa/README benchmarks/hackage/Cpsa/README +0 -0
- benchmarks/hackage/Cpsa/Setup.hs benchmarks/hackage/Cpsa/Setup.hs +0 -0
- benchmarks/hackage/Cpsa/cpsa.cabal benchmarks/hackage/Cpsa/cpsa.cabal +0 -0
- benchmarks/hackage/Cpsa/cpsatst benchmarks/hackage/Cpsa/cpsatst +0 -0
- benchmarks/hackage/Cpsa/doc/Make.hs benchmarks/hackage/Cpsa/doc/Make.hs +0 -0
- benchmarks/hackage/Cpsa/doc/Makefile benchmarks/hackage/Cpsa/doc/Makefile +0 -0
- benchmarks/hackage/Cpsa/doc/README benchmarks/hackage/Cpsa/doc/README +0 -0
- benchmarks/hackage/Cpsa/doc/SDAG.lhs benchmarks/hackage/Cpsa/doc/SDAG.lhs +0 -0
- benchmarks/hackage/Cpsa/doc/bcasyntax.tex benchmarks/hackage/Cpsa/doc/bcasyntax.tex +0 -0
- benchmarks/hackage/Cpsa/doc/carriers.mp benchmarks/hackage/Cpsa/doc/carriers.mp +0 -0
- benchmarks/hackage/Cpsa/doc/cmstrands.mp benchmarks/hackage/Cpsa/doc/cmstrands.mp +0 -0
- benchmarks/hackage/Cpsa/doc/cpsa.bib benchmarks/hackage/Cpsa/doc/cpsa.bib +0 -0
- benchmarks/hackage/Cpsa/doc/cpsa.mk benchmarks/hackage/Cpsa/doc/cpsa.mk +0 -0
- benchmarks/hackage/Cpsa/doc/cpsadesign.pdf benchmarks/hackage/Cpsa/doc/cpsadesign.pdf +0 -0
- benchmarks/hackage/Cpsa/doc/cpsadesign.tex benchmarks/hackage/Cpsa/doc/cpsadesign.tex +0 -0
- benchmarks/hackage/Cpsa/doc/cpsadiagrams.mp benchmarks/hackage/Cpsa/doc/cpsadiagrams.mp +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaoverview.pdf benchmarks/hackage/Cpsa/doc/cpsaoverview.pdf +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaoverview.tex benchmarks/hackage/Cpsa/doc/cpsaoverview.tex +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaprimer.pdf benchmarks/hackage/Cpsa/doc/cpsaprimer.pdf +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaprimer.tex benchmarks/hackage/Cpsa/doc/cpsaprimer.tex +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaspec.pdf benchmarks/hackage/Cpsa/doc/cpsaspec.pdf +0 -0
- benchmarks/hackage/Cpsa/doc/cpsaspec.tex benchmarks/hackage/Cpsa/doc/cpsaspec.tex +0 -0
- benchmarks/hackage/Cpsa/doc/cpsatheory.pdf benchmarks/hackage/Cpsa/doc/cpsatheory.pdf +0 -0
- benchmarks/hackage/Cpsa/doc/cpsatheory.tex benchmarks/hackage/Cpsa/doc/cpsatheory.tex +0 -0
- benchmarks/hackage/Cpsa/doc/cpsauser.html benchmarks/hackage/Cpsa/doc/cpsauser.html +0 -0
- benchmarks/hackage/Cpsa/doc/ffgg.scm benchmarks/hackage/Cpsa/doc/ffgg.scm +0 -0
- benchmarks/hackage/Cpsa/doc/index.html benchmarks/hackage/Cpsa/doc/index.html +0 -0
- benchmarks/hackage/Cpsa/doc/macros.tex benchmarks/hackage/Cpsa/doc/macros.tex +0 -0
- benchmarks/hackage/Cpsa/doc/ns.scm benchmarks/hackage/Cpsa/doc/ns.scm +0 -0
- benchmarks/hackage/Cpsa/doc/or.scm benchmarks/hackage/Cpsa/doc/or.scm +0 -0
- benchmarks/hackage/Cpsa/doc/strands.mp benchmarks/hackage/Cpsa/doc/strands.mp +0 -0
- benchmarks/hackage/Cpsa/doc/termtree.mp benchmarks/hackage/Cpsa/doc/termtree.mp +0 -0
- benchmarks/hackage/Cpsa/doc/woolam.scm benchmarks/hackage/Cpsa/doc/woolam.scm +0 -0
- benchmarks/hackage/Cpsa/doc/yahalom.scm benchmarks/hackage/Cpsa/doc/yahalom.scm +0 -0
- benchmarks/hackage/Cpsa/generated/Paths_cpsa.hs benchmarks/hackage/Cpsa/generated/Paths_cpsa.hs +0 -0
- benchmarks/hackage/Cpsa/ghci benchmarks/hackage/Cpsa/ghci +0 -0
- benchmarks/hackage/Cpsa/license.txt benchmarks/hackage/Cpsa/license.txt +0 -0
- benchmarks/hackage/Cpsa/nsl5.lisp benchmarks/hackage/Cpsa/nsl5.lisp +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Annotations/Annotations.hs benchmarks/hackage/Cpsa/src/CPSA/Annotations/Annotations.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Annotations/Formulas.hs benchmarks/hackage/Cpsa/src/CPSA/Annotations/Formulas.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Annotations/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Annotations/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Basic/Algebra.hs benchmarks/hackage/Cpsa/src/CPSA/Basic/Algebra.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/DiffieHellman/Algebra.hs benchmarks/hackage/Cpsa/src/CPSA/DiffieHellman/Algebra.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/DiffieHellman/IntLinEq.hs benchmarks/hackage/Cpsa/src/CPSA/DiffieHellman/IntLinEq.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/CompactView.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/CompactView.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Config.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Config.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/ExpandedView.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/ExpandedView.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/LaTeXView.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/LaTeXView.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Layout.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Layout.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Loader.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Loader.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Preskeleton.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Preskeleton.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/SVG.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/SVG.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/Tree.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/Tree.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Graph/XMLOutput.hs benchmarks/hackage/Cpsa/src/CPSA/Graph/XMLOutput.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Algebra.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Algebra.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/CPSA.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/CPSA.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Cohort.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Cohort.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Displayer.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Displayer.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Entry.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Entry.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Expand.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Expand.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Loader.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Loader.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Pretty.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Pretty.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Printer.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Printer.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Protocol.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Protocol.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/SExpr.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/SExpr.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Strand.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Strand.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Utilities.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Utilities.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Lib/Vector.hs benchmarks/hackage/Cpsa/src/CPSA/Lib/Vector.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Parameters/Flow.hs benchmarks/hackage/Cpsa/src/CPSA/Parameters/Flow.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Parameters/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Parameters/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Pretty/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Pretty/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Shapes/Main.hs benchmarks/hackage/Cpsa/src/CPSA/Shapes/Main.hs +0 -0
- benchmarks/hackage/Cpsa/src/CPSA/Shapes/Shapes.hs benchmarks/hackage/Cpsa/src/CPSA/Shapes/Shapes.hs +0 -0
- benchmarks/hackage/Cpsa/src/cpsa.el benchmarks/hackage/Cpsa/src/cpsa.el +0 -0
- benchmarks/hackage/Cpsa/src/cpsa.pl benchmarks/hackage/Cpsa/src/cpsa.pl +0 -0
- benchmarks/hackage/Cpsa/src/cpsa2svg benchmarks/hackage/Cpsa/src/cpsa2svg +0 -0
- benchmarks/hackage/Cpsa/src/cpsacgi benchmarks/hackage/Cpsa/src/cpsacgi +0 -0
- benchmarks/hackage/Cpsa/src/cpsacgi.py benchmarks/hackage/Cpsa/src/cpsacgi.py +0 -0
- benchmarks/hackage/Cpsa/src/cpsaops.scm benchmarks/hackage/Cpsa/src/cpsaops.scm +0 -0
- benchmarks/hackage/Cpsa/src/httpd_allow_execmem.te benchmarks/hackage/Cpsa/src/httpd_allow_execmem.te +0 -0
- benchmarks/hackage/Cpsa/src/index.html benchmarks/hackage/Cpsa/src/index.html +0 -0
- benchmarks/hackage/Cpsa/src/pp.pl benchmarks/hackage/Cpsa/src/pp.pl +0 -0
- benchmarks/hackage/Cpsa/src/preskel benchmarks/hackage/Cpsa/src/preskel +0 -0
- benchmarks/hackage/Cpsa/src/sexpr.pl benchmarks/hackage/Cpsa/src/sexpr.pl +0 -0
- benchmarks/hackage/Cpsa/tst/Make.hs benchmarks/hackage/Cpsa/tst/Make.hs +0 -0
- benchmarks/hackage/Cpsa/tst/Makefile benchmarks/hackage/Cpsa/tst/Makefile +0 -0
- benchmarks/hackage/Cpsa/tst/README benchmarks/hackage/Cpsa/tst/README +0 -0
- benchmarks/hackage/Cpsa/tst/blanchet.scm benchmarks/hackage/Cpsa/tst/blanchet.scm +0 -0
- benchmarks/hackage/Cpsa/tst/blanchet.tst benchmarks/hackage/Cpsa/tst/blanchet.tst +0 -0
- benchmarks/hackage/Cpsa/tst/checktst benchmarks/hackage/Cpsa/tst/checktst +0 -0
- benchmarks/hackage/Cpsa/tst/completeness-test.scm benchmarks/hackage/Cpsa/tst/completeness-test.scm +0 -0
- benchmarks/hackage/Cpsa/tst/completeness-test.tst benchmarks/hackage/Cpsa/tst/completeness-test.tst +0 -0
- benchmarks/hackage/Cpsa/tst/cpsagraphall benchmarks/hackage/Cpsa/tst/cpsagraphall +0 -0
- benchmarks/hackage/Cpsa/tst/cpsashapesall benchmarks/hackage/Cpsa/tst/cpsashapesall +0 -0
- benchmarks/hackage/Cpsa/tst/dass-mod.lisp benchmarks/hackage/Cpsa/tst/dass-mod.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/dass.lisp benchmarks/hackage/Cpsa/tst/dass.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/dass_simple.scm benchmarks/hackage/Cpsa/tst/dass_simple.scm +0 -0
- benchmarks/hackage/Cpsa/tst/dass_simple.tst benchmarks/hackage/Cpsa/tst/dass_simple.tst +0 -0
- benchmarks/hackage/Cpsa/tst/denning-sacco.scm benchmarks/hackage/Cpsa/tst/denning-sacco.scm +0 -0
- benchmarks/hackage/Cpsa/tst/denning-sacco.tst benchmarks/hackage/Cpsa/tst/denning-sacco.tst +0 -0
- benchmarks/hackage/Cpsa/tst/dh.sch benchmarks/hackage/Cpsa/tst/dh.sch +0 -0
- benchmarks/hackage/Cpsa/tst/dh.tst benchmarks/hackage/Cpsa/tst/dh.tst +0 -0
- benchmarks/hackage/Cpsa/tst/dh_unifywithconst.sch benchmarks/hackage/Cpsa/tst/dh_unifywithconst.sch +0 -0
- benchmarks/hackage/Cpsa/tst/dh_unifywithconst.tst benchmarks/hackage/Cpsa/tst/dh_unifywithconst.tst +0 -0
- benchmarks/hackage/Cpsa/tst/ds-short.lisp benchmarks/hackage/Cpsa/tst/ds-short.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/dy.lsp benchmarks/hackage/Cpsa/tst/dy.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/dy.tst benchmarks/hackage/Cpsa/tst/dy.tst +0 -0
- benchmarks/hackage/Cpsa/tst/encsig.scm benchmarks/hackage/Cpsa/tst/encsig.scm +0 -0
- benchmarks/hackage/Cpsa/tst/encsig.tst benchmarks/hackage/Cpsa/tst/encsig.tst +0 -0
- benchmarks/hackage/Cpsa/tst/epmo.scm benchmarks/hackage/Cpsa/tst/epmo.scm +0 -0
- benchmarks/hackage/Cpsa/tst/epmo.tst benchmarks/hackage/Cpsa/tst/epmo.tst +0 -0
- benchmarks/hackage/Cpsa/tst/epmo_acctnum.lsp benchmarks/hackage/Cpsa/tst/epmo_acctnum.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/epmo_acctnum.tst benchmarks/hackage/Cpsa/tst/epmo_acctnum.tst +0 -0
- benchmarks/hackage/Cpsa/tst/ffgg.scm benchmarks/hackage/Cpsa/tst/ffgg.scm +0 -0
- benchmarks/hackage/Cpsa/tst/ffgg.tst benchmarks/hackage/Cpsa/tst/ffgg.tst +0 -0
- benchmarks/hackage/Cpsa/tst/isoreject.scm benchmarks/hackage/Cpsa/tst/isoreject.scm +0 -0
- benchmarks/hackage/Cpsa/tst/isoreject.tst benchmarks/hackage/Cpsa/tst/isoreject.tst +0 -0
- benchmarks/hackage/Cpsa/tst/kelly1.scm benchmarks/hackage/Cpsa/tst/kelly1.scm +0 -0
- benchmarks/hackage/Cpsa/tst/kelly1.tst benchmarks/hackage/Cpsa/tst/kelly1.tst +0 -0
- benchmarks/hackage/Cpsa/tst/kelly64.lisp benchmarks/hackage/Cpsa/tst/kelly64.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/kerb5.lisp benchmarks/hackage/Cpsa/tst/kerb5.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/kerberos.scm benchmarks/hackage/Cpsa/tst/kerberos.scm +0 -0
- benchmarks/hackage/Cpsa/tst/kerberos.tst benchmarks/hackage/Cpsa/tst/kerberos.tst +0 -0
- benchmarks/hackage/Cpsa/tst/missing_contraction.scm benchmarks/hackage/Cpsa/tst/missing_contraction.scm +0 -0
- benchmarks/hackage/Cpsa/tst/missing_contraction.tst benchmarks/hackage/Cpsa/tst/missing_contraction.tst +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine-alt.lisp benchmarks/hackage/Cpsa/tst/neuman-stubblebine-alt.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.lisp benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.lsp benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.tst benchmarks/hackage/Cpsa/tst/neuman-stubblebine-reauth.tst +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine.scm benchmarks/hackage/Cpsa/tst/neuman-stubblebine.scm +0 -0
- benchmarks/hackage/Cpsa/tst/neuman-stubblebine.tst benchmarks/hackage/Cpsa/tst/neuman-stubblebine.tst +0 -0
- benchmarks/hackage/Cpsa/tst/no_contraction.scm benchmarks/hackage/Cpsa/tst/no_contraction.scm +0 -0
- benchmarks/hackage/Cpsa/tst/no_contraction.tst benchmarks/hackage/Cpsa/tst/no_contraction.tst +0 -0
- benchmarks/hackage/Cpsa/tst/non_transforming.scm benchmarks/hackage/Cpsa/tst/non_transforming.scm +0 -0
- benchmarks/hackage/Cpsa/tst/non_transforming.tst benchmarks/hackage/Cpsa/tst/non_transforming.tst +0 -0
- benchmarks/hackage/Cpsa/tst/ns.scm benchmarks/hackage/Cpsa/tst/ns.scm +0 -0
- benchmarks/hackage/Cpsa/tst/ns.tst benchmarks/hackage/Cpsa/tst/ns.tst +0 -0
- benchmarks/hackage/Cpsa/tst/nsl3.scm benchmarks/hackage/Cpsa/tst/nsl3.scm +0 -0
- benchmarks/hackage/Cpsa/tst/nsl3.tst benchmarks/hackage/Cpsa/tst/nsl3.tst +0 -0
- benchmarks/hackage/Cpsa/tst/nsl4.lisp benchmarks/hackage/Cpsa/tst/nsl4.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/nsl4cm1.lsp benchmarks/hackage/Cpsa/tst/nsl4cm1.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/nsl4cm1.tst benchmarks/hackage/Cpsa/tst/nsl4cm1.tst +0 -0
- benchmarks/hackage/Cpsa/tst/nsl4resp2.lisp benchmarks/hackage/Cpsa/tst/nsl4resp2.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/nsl5.lisp benchmarks/hackage/Cpsa/tst/nsl5.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/nsl5i.lisp benchmarks/hackage/Cpsa/tst/nsl5i.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/nslsk.scm benchmarks/hackage/Cpsa/tst/nslsk.scm +0 -0
- benchmarks/hackage/Cpsa/tst/nslsk.tst benchmarks/hackage/Cpsa/tst/nslsk.tst +0 -0
- benchmarks/hackage/Cpsa/tst/or.scm benchmarks/hackage/Cpsa/tst/or.scm +0 -0
- benchmarks/hackage/Cpsa/tst/or.tst benchmarks/hackage/Cpsa/tst/or.tst +0 -0
- benchmarks/hackage/Cpsa/tst/pca.lsp benchmarks/hackage/Cpsa/tst/pca.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/pca.tst benchmarks/hackage/Cpsa/tst/pca.tst +0 -0
- benchmarks/hackage/Cpsa/tst/pruning1.scm benchmarks/hackage/Cpsa/tst/pruning1.scm +0 -0
- benchmarks/hackage/Cpsa/tst/pruning1.tst benchmarks/hackage/Cpsa/tst/pruning1.tst +0 -0
- benchmarks/hackage/Cpsa/tst/sigenc.scm benchmarks/hackage/Cpsa/tst/sigenc.scm +0 -0
- benchmarks/hackage/Cpsa/tst/sigenc.tst benchmarks/hackage/Cpsa/tst/sigenc.tst +0 -0
- benchmarks/hackage/Cpsa/tst/sorted_epmo_acctnum.scm benchmarks/hackage/Cpsa/tst/sorted_epmo_acctnum.scm +0 -0
- benchmarks/hackage/Cpsa/tst/sorted_epmo_acctnum.tst benchmarks/hackage/Cpsa/tst/sorted_epmo_acctnum.tst +0 -0
- benchmarks/hackage/Cpsa/tst/targetterms2.scm benchmarks/hackage/Cpsa/tst/targetterms2.scm +0 -0
- benchmarks/hackage/Cpsa/tst/targetterms2.tst benchmarks/hackage/Cpsa/tst/targetterms2.tst +0 -0
- benchmarks/hackage/Cpsa/tst/targetterms6.scm benchmarks/hackage/Cpsa/tst/targetterms6.scm +0 -0
- benchmarks/hackage/Cpsa/tst/targetterms6.tst benchmarks/hackage/Cpsa/tst/targetterms6.tst +0 -0
- benchmarks/hackage/Cpsa/tst/tnsl5.lisp benchmarks/hackage/Cpsa/tst/tnsl5.lisp +0 -0
- benchmarks/hackage/Cpsa/tst/uncarried_keys.scm benchmarks/hackage/Cpsa/tst/uncarried_keys.scm +0 -0
- benchmarks/hackage/Cpsa/tst/uncarried_keys.tst benchmarks/hackage/Cpsa/tst/uncarried_keys.tst +0 -0
- benchmarks/hackage/Cpsa/tst/uo.scm benchmarks/hackage/Cpsa/tst/uo.scm +0 -0
- benchmarks/hackage/Cpsa/tst/uo.tst benchmarks/hackage/Cpsa/tst/uo.tst +0 -0
- benchmarks/hackage/Cpsa/tst/updatetst benchmarks/hackage/Cpsa/tst/updatetst +0 -0
- benchmarks/hackage/Cpsa/tst/weird.scm benchmarks/hackage/Cpsa/tst/weird.scm +0 -0
- benchmarks/hackage/Cpsa/tst/weird.tst benchmarks/hackage/Cpsa/tst/weird.tst +0 -0
- benchmarks/hackage/Cpsa/tst/wmf.lsp benchmarks/hackage/Cpsa/tst/wmf.lsp +0 -0
- benchmarks/hackage/Cpsa/tst/wmf.tst benchmarks/hackage/Cpsa/tst/wmf.tst +0 -0
- benchmarks/hackage/Cpsa/tst/woolam.scm benchmarks/hackage/Cpsa/tst/woolam.scm +0 -0
- benchmarks/hackage/Cpsa/tst/woolam.tst benchmarks/hackage/Cpsa/tst/woolam.tst +0 -0
- benchmarks/hackage/Cpsa/tst/yahalom.scm benchmarks/hackage/Cpsa/tst/yahalom.scm +0 -0
- benchmarks/hackage/Cpsa/tst/yahalom.tst benchmarks/hackage/Cpsa/tst/yahalom.tst +0 -0
- benchmarks/hackage/Crypto/Codec/Binary/BubbleBabble.hs benchmarks/hackage/Crypto/Codec/Binary/BubbleBabble.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/AES.hs benchmarks/hackage/Crypto/Codec/Encryption/AES.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/AESAux.hs benchmarks/hackage/Crypto/Codec/Encryption/AESAux.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/Blowfish.hs benchmarks/hackage/Crypto/Codec/Encryption/Blowfish.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/BlowfishAux.hs benchmarks/hackage/Crypto/Codec/Encryption/BlowfishAux.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/DES.hs benchmarks/hackage/Crypto/Codec/Encryption/DES.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/DESAux.hs benchmarks/hackage/Crypto/Codec/Encryption/DESAux.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/Modes.hs benchmarks/hackage/Crypto/Codec/Encryption/Modes.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/Padding.hs benchmarks/hackage/Crypto/Codec/Encryption/Padding.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/RSA.hs benchmarks/hackage/Crypto/Codec/Encryption/RSA.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/RSA/EMEOAEP.hs benchmarks/hackage/Crypto/Codec/Encryption/RSA/EMEOAEP.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/RSA/MGF.hs benchmarks/hackage/Crypto/Codec/Encryption/RSA/MGF.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/RSA/NumberTheory.hs ...marks/hackage/Crypto/Codec/Encryption/RSA/NumberTheory.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Encryption/TEA.hs benchmarks/hackage/Crypto/Codec/Encryption/TEA.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Text/Raw.hs benchmarks/hackage/Crypto/Codec/Text/Raw.hs +0 -0
- benchmarks/hackage/Crypto/Codec/Utils.hs benchmarks/hackage/Crypto/Codec/Utils.hs +0 -0
- benchmarks/hackage/Crypto/Crypto.cabal benchmarks/hackage/Crypto/Crypto.cabal +0 -0
- benchmarks/hackage/Crypto/Crypto.stdout benchmarks/hackage/Crypto/Crypto.stdout +0 -0
- benchmarks/hackage/Crypto/CryptoHomePage.html benchmarks/hackage/Crypto/CryptoHomePage.html +0 -0
- benchmarks/hackage/Crypto/Data/Digest/MD5.hs benchmarks/hackage/Crypto/Data/Digest/MD5.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/MD5Aux.hs benchmarks/hackage/Crypto/Data/Digest/MD5Aux.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA1.hs benchmarks/hackage/Crypto/Data/Digest/SHA1.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA2.hs benchmarks/hackage/Crypto/Data/Digest/SHA2.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA224.hs benchmarks/hackage/Crypto/Data/Digest/SHA224.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA256.hs benchmarks/hackage/Crypto/Data/Digest/SHA256.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA384.hs benchmarks/hackage/Crypto/Data/Digest/SHA384.hs +0 -0
- benchmarks/hackage/Crypto/Data/Digest/SHA512.hs benchmarks/hackage/Crypto/Data/Digest/SHA512.hs +0 -0
- benchmarks/hackage/Crypto/Data/HMAC.hs benchmarks/hackage/Crypto/Data/HMAC.hs +0 -0
- benchmarks/hackage/Crypto/Data/LargeWord.hs benchmarks/hackage/Crypto/Data/LargeWord.hs +0 -0
- benchmarks/hackage/Crypto/Fibon/Instance.hs benchmarks/hackage/Crypto/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Crypto/Fibon/data/ref/input/plain.txt benchmarks/hackage/Crypto/Fibon/data/ref/input/plain.txt +0 -0
- benchmarks/hackage/Crypto/Fibon/data/ref/output/crypto.stdout.expected ...ckage/Crypto/Fibon/data/ref/output/crypto.stdout.expected +0 -0
- benchmarks/hackage/Crypto/Fibon/data/test/input/plain.txt benchmarks/hackage/Crypto/Fibon/data/test/input/plain.txt +0 -0
- benchmarks/hackage/Crypto/Fibon/data/test/output/crypto.stdout.expected ...kage/Crypto/Fibon/data/test/output/crypto.stdout.expected +0 -0
- benchmarks/hackage/Crypto/HMACTest.hs benchmarks/hackage/Crypto/HMACTest.hs +0 -0
- benchmarks/hackage/Crypto/Main.hs benchmarks/hackage/Crypto/Main.hs +0 -0
- benchmarks/hackage/Crypto/Makefile benchmarks/hackage/Crypto/Makefile +0 -0
- benchmarks/hackage/Crypto/QuickTest.hs benchmarks/hackage/Crypto/QuickTest.hs +0 -0
- benchmarks/hackage/Crypto/RSATest.hs benchmarks/hackage/Crypto/RSATest.hs +0 -0
- benchmarks/hackage/Crypto/ReadMe.tex benchmarks/hackage/Crypto/ReadMe.tex +0 -0
- benchmarks/hackage/Crypto/SHA1Test.hs benchmarks/hackage/Crypto/SHA1Test.hs +0 -0
- benchmarks/hackage/Crypto/Setup.hs benchmarks/hackage/Crypto/Setup.hs +0 -0
- benchmarks/hackage/Crypto/SymmetricTest.hs benchmarks/hackage/Crypto/SymmetricTest.hs +0 -0
- benchmarks/hackage/Crypto/WordListTest.hs benchmarks/hackage/Crypto/WordListTest.hs +0 -0
- benchmarks/hackage/Crypto/plain.txt benchmarks/hackage/Crypto/plain.txt +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive.hs benchmarks/hackage/Fgl/Data/Graph/Inductive.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Basic.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Basic.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Example.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Example.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Graph.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Graph.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Graphviz.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Graphviz.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/FiniteMap.hs ...ks/hackage/Fgl/Data/Graph/Inductive/Internal/FiniteMap.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/Heap.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/Heap.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/Queue.hs ...hmarks/hackage/Fgl/Data/Graph/Inductive/Internal/Queue.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/RootPath.hs ...rks/hackage/Fgl/Data/Graph/Inductive/Internal/RootPath.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Internal/Thread.hs ...marks/hackage/Fgl/Data/Graph/Inductive/Internal/Thread.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Monad.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Monad.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Monad/IOArray.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Monad/IOArray.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/NodeMap.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/NodeMap.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/PatriciaTree.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/PatriciaTree.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/ArtPoint.hs ...hmarks/hackage/Fgl/Data/Graph/Inductive/Query/ArtPoint.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/BCC.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/BCC.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/BFS.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/BFS.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/DFS.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/DFS.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/Dominators.hs ...arks/hackage/Fgl/Data/Graph/Inductive/Query/Dominators.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/GVD.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/GVD.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/Indep.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/Indep.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/MST.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/MST.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow2.hs ...hmarks/hackage/Fgl/Data/Graph/Inductive/Query/MaxFlow2.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/Monad.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/Monad.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/SP.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/SP.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Query/TransClos.hs ...marks/hackage/Fgl/Data/Graph/Inductive/Query/TransClos.hs +0 -0
- benchmarks/hackage/Fgl/Data/Graph/Inductive/Tree.hs benchmarks/hackage/Fgl/Data/Graph/Inductive/Tree.hs +0 -0
- benchmarks/hackage/Fgl/Fgl.stdout benchmarks/hackage/Fgl/Fgl.stdout +0 -0
- benchmarks/hackage/Fgl/Fibon/Instance.hs benchmarks/hackage/Fgl/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Fgl/Fibon/README benchmarks/hackage/Fgl/Fibon/README +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15a.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15a.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15b.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15b.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15c.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15c.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15d.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_15d.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25a.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25a.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25b.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25b.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25c.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25c.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25d.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_25d.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5a.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5a.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5b.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5b.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5c.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5c.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5d.col benchmarks/hackage/Fgl/Fibon/data/ref/input/le450_5d.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/ref/output/fgl.stdout.expected ...rks/hackage/Fgl/Fibon/data/ref/output/fgl.stdout.expected +0 -0
- benchmarks/hackage/Fgl/Fibon/data/test/input/anna.col benchmarks/hackage/Fgl/Fibon/data/test/input/anna.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/test/input/david.col benchmarks/hackage/Fgl/Fibon/data/test/input/david.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/test/input/homer.col benchmarks/hackage/Fgl/Fibon/data/test/input/homer.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/test/input/huck.col benchmarks/hackage/Fgl/Fibon/data/test/input/huck.col +0 -0
- benchmarks/hackage/Fgl/Fibon/data/test/output/fgl.stdout.expected ...ks/hackage/Fgl/Fibon/data/test/output/fgl.stdout.expected +0 -0
- benchmarks/hackage/Fgl/LICENSE benchmarks/hackage/Fgl/LICENSE +0 -0
- benchmarks/hackage/Fgl/Main.hs benchmarks/hackage/Fgl/Main.hs +0 -0
- benchmarks/hackage/Fgl/Makefile benchmarks/hackage/Fgl/Makefile +0 -0
- benchmarks/hackage/Fgl/Setup.hs benchmarks/hackage/Fgl/Setup.hs +0 -0
- benchmarks/hackage/Fgl/fgl.cabal benchmarks/hackage/Fgl/fgl.cabal +0 -0
- benchmarks/hackage/Fgl/graphs/anna.col benchmarks/hackage/Fgl/graphs/anna.col +0 -0
- benchmarks/hackage/Fgl/graphs/david.col benchmarks/hackage/Fgl/graphs/david.col +0 -0
- benchmarks/hackage/Fgl/graphs/fpsol2.i.1.col benchmarks/hackage/Fgl/graphs/fpsol2.i.1.col +0 -0
- benchmarks/hackage/Fgl/graphs/fpsol2.i.2.col benchmarks/hackage/Fgl/graphs/fpsol2.i.2.col +0 -0
- benchmarks/hackage/Fgl/graphs/fpsol2.i.3.col benchmarks/hackage/Fgl/graphs/fpsol2.i.3.col +0 -0
- benchmarks/hackage/Fgl/graphs/games120.col benchmarks/hackage/Fgl/graphs/games120.col +0 -0
- benchmarks/hackage/Fgl/graphs/homer.col benchmarks/hackage/Fgl/graphs/homer.col +0 -0
- benchmarks/hackage/Fgl/graphs/huck.col benchmarks/hackage/Fgl/graphs/huck.col +0 -0
- benchmarks/hackage/Fgl/graphs/inithx.i.1.col benchmarks/hackage/Fgl/graphs/inithx.i.1.col +0 -0
- benchmarks/hackage/Fgl/graphs/inithx.i.2.col benchmarks/hackage/Fgl/graphs/inithx.i.2.col +0 -0
- benchmarks/hackage/Fgl/graphs/inithx.i.3.col benchmarks/hackage/Fgl/graphs/inithx.i.3.col +0 -0
- benchmarks/hackage/Fgl/graphs/jean.col benchmarks/hackage/Fgl/graphs/jean.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_15a.col benchmarks/hackage/Fgl/graphs/le450_15a.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_15b.col benchmarks/hackage/Fgl/graphs/le450_15b.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_15c.col benchmarks/hackage/Fgl/graphs/le450_15c.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_15d.col benchmarks/hackage/Fgl/graphs/le450_15d.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_25a.col benchmarks/hackage/Fgl/graphs/le450_25a.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_25b.col benchmarks/hackage/Fgl/graphs/le450_25b.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_25c.col benchmarks/hackage/Fgl/graphs/le450_25c.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_25d.col benchmarks/hackage/Fgl/graphs/le450_25d.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_5a.col benchmarks/hackage/Fgl/graphs/le450_5a.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_5b.col benchmarks/hackage/Fgl/graphs/le450_5b.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_5c.col benchmarks/hackage/Fgl/graphs/le450_5c.col +0 -0
- benchmarks/hackage/Fgl/graphs/le450_5d.col benchmarks/hackage/Fgl/graphs/le450_5d.col +0 -0
- benchmarks/hackage/Fgl/graphs/miles1000.col benchmarks/hackage/Fgl/graphs/miles1000.col +0 -0
- benchmarks/hackage/Fgl/graphs/miles1500.col benchmarks/hackage/Fgl/graphs/miles1500.col +0 -0
- benchmarks/hackage/Fgl/graphs/miles250.col benchmarks/hackage/Fgl/graphs/miles250.col +0 -0
- benchmarks/hackage/Fgl/graphs/miles500.col benchmarks/hackage/Fgl/graphs/miles500.col +0 -0
- benchmarks/hackage/Fgl/graphs/miles750.col benchmarks/hackage/Fgl/graphs/miles750.col +0 -0
- benchmarks/hackage/Fgl/graphs/mulsol.i.1.col benchmarks/hackage/Fgl/graphs/mulsol.i.1.col +0 -0
- benchmarks/hackage/Fgl/graphs/mulsol.i.2.col benchmarks/hackage/Fgl/graphs/mulsol.i.2.col +0 -0
- benchmarks/hackage/Fgl/graphs/mulsol.i.3.col benchmarks/hackage/Fgl/graphs/mulsol.i.3.col +0 -0
- benchmarks/hackage/Fgl/graphs/mulsol.i.4.col benchmarks/hackage/Fgl/graphs/mulsol.i.4.col +0 -0
- benchmarks/hackage/Fgl/graphs/mulsol.i.5.col benchmarks/hackage/Fgl/graphs/mulsol.i.5.col +0 -0
- benchmarks/hackage/Fgl/graphs/myciel3.col benchmarks/hackage/Fgl/graphs/myciel3.col +0 -0
- benchmarks/hackage/Fgl/graphs/myciel4.col benchmarks/hackage/Fgl/graphs/myciel4.col +0 -0
- benchmarks/hackage/Fgl/graphs/myciel5.col benchmarks/hackage/Fgl/graphs/myciel5.col +0 -0
- benchmarks/hackage/Fgl/graphs/myciel6.col benchmarks/hackage/Fgl/graphs/myciel6.col +0 -0
- benchmarks/hackage/Fgl/graphs/myciel7.col benchmarks/hackage/Fgl/graphs/myciel7.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen10_10.col benchmarks/hackage/Fgl/graphs/queen10_10.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen11_11.col benchmarks/hackage/Fgl/graphs/queen11_11.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen12_12.col benchmarks/hackage/Fgl/graphs/queen12_12.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen13_13.col benchmarks/hackage/Fgl/graphs/queen13_13.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen14_14.col benchmarks/hackage/Fgl/graphs/queen14_14.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen15_15.col benchmarks/hackage/Fgl/graphs/queen15_15.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen16_16.col benchmarks/hackage/Fgl/graphs/queen16_16.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen5_5.col benchmarks/hackage/Fgl/graphs/queen5_5.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen6_6.col benchmarks/hackage/Fgl/graphs/queen6_6.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen7_7.col benchmarks/hackage/Fgl/graphs/queen7_7.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen8_12.col benchmarks/hackage/Fgl/graphs/queen8_12.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen8_8.col benchmarks/hackage/Fgl/graphs/queen8_8.col +0 -0
- benchmarks/hackage/Fgl/graphs/queen9_9.col benchmarks/hackage/Fgl/graphs/queen9_9.col +0 -0
- benchmarks/hackage/Fgl/graphs/school1.col benchmarks/hackage/Fgl/graphs/school1.col +0 -0
- benchmarks/hackage/Fgl/graphs/school1_nsh.col benchmarks/hackage/Fgl/graphs/school1_nsh.col +0 -0
- benchmarks/hackage/Fgl/graphs/zeroin.i.1.col benchmarks/hackage/Fgl/graphs/zeroin.i.1.col +0 -0
- benchmarks/hackage/Fgl/graphs/zeroin.i.2.col benchmarks/hackage/Fgl/graphs/zeroin.i.2.col +0 -0
- benchmarks/hackage/Fgl/graphs/zeroin.i.3.col benchmarks/hackage/Fgl/graphs/zeroin.i.3.col +0 -0
- benchmarks/hackage/Fgl/le450_15a.col benchmarks/hackage/Fgl/le450_15a.col +0 -0
- benchmarks/hackage/Fgl/le450_15b.col benchmarks/hackage/Fgl/le450_15b.col +0 -0
- benchmarks/hackage/Fgl/le450_15c.col benchmarks/hackage/Fgl/le450_15c.col +0 -0
- benchmarks/hackage/Fgl/le450_15d.col benchmarks/hackage/Fgl/le450_15d.col +0 -0
- benchmarks/hackage/Fgl/le450_25a.col benchmarks/hackage/Fgl/le450_25a.col +0 -0
- benchmarks/hackage/Fgl/le450_25b.col benchmarks/hackage/Fgl/le450_25b.col +0 -0
- benchmarks/hackage/Fgl/le450_25c.col benchmarks/hackage/Fgl/le450_25c.col +0 -0
- benchmarks/hackage/Fgl/le450_25d.col benchmarks/hackage/Fgl/le450_25d.col +0 -0
- benchmarks/hackage/Fgl/le450_5a.col benchmarks/hackage/Fgl/le450_5a.col +0 -0
- benchmarks/hackage/Fgl/le450_5b.col benchmarks/hackage/Fgl/le450_5b.col +0 -0
- benchmarks/hackage/Fgl/le450_5c.col benchmarks/hackage/Fgl/le450_5c.col +0 -0
- benchmarks/hackage/Fgl/le450_5d.col benchmarks/hackage/Fgl/le450_5d.col +0 -0
- benchmarks/hackage/Fst/Fst.stdout benchmarks/hackage/Fst/Fst.stdout +0 -0
- benchmarks/hackage/Fst/LICENSE benchmarks/hackage/Fst/LICENSE +0 -0
- benchmarks/hackage/Fst/Makefile benchmarks/hackage/Fst/Makefile +0 -0
- benchmarks/hackage/Fst/PLONK benchmarks/hackage/Fst/PLONK +0 -0
- benchmarks/hackage/Fst/Setup.hs benchmarks/hackage/Fst/Setup.hs +0 -0
- benchmarks/hackage/Fst/soda.fst benchmarks/hackage/Fst/soda.fst +0 -0
- benchmarks/hackage/Fst/src/FST/Alex.hs benchmarks/hackage/Fst/src/FST/Alex.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Arguments.hs benchmarks/hackage/Fst/src/FST/Arguments.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Automaton.hs benchmarks/hackage/Fst/src/FST/Automaton.hs +0 -0
- benchmarks/hackage/Fst/src/FST/AutomatonInterface.hs benchmarks/hackage/Fst/src/FST/AutomatonInterface.hs +0 -0
- benchmarks/hackage/Fst/src/FST/AutomatonTypes.hs benchmarks/hackage/Fst/src/FST/AutomatonTypes.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Complete.hs benchmarks/hackage/Fst/src/FST/Complete.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Deterministic.hs benchmarks/hackage/Fst/src/FST/Deterministic.hs +0 -0
- benchmarks/hackage/Fst/src/FST/DeterministicT.hs benchmarks/hackage/Fst/src/FST/DeterministicT.hs +0 -0
- benchmarks/hackage/Fst/src/FST/EpsilonFreeT.hs benchmarks/hackage/Fst/src/FST/EpsilonFreeT.hs +0 -0
- benchmarks/hackage/Fst/src/FST/FileImport.hs benchmarks/hackage/Fst/src/FST/FileImport.hs +0 -0
- benchmarks/hackage/Fst/src/FST/GetOpt.hs benchmarks/hackage/Fst/src/FST/GetOpt.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Info.hs benchmarks/hackage/Fst/src/FST/Info.hs +0 -0
- benchmarks/hackage/Fst/src/FST/LBFA.hs benchmarks/hackage/Fst/src/FST/LBFA.hs +0 -0
- benchmarks/hackage/Fst/src/FST/LBFT.hs benchmarks/hackage/Fst/src/FST/LBFT.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Lexer.hs benchmarks/hackage/Fst/src/FST/Lexer.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Main.hs benchmarks/hackage/Fst/src/FST/Main.hs +0 -0
- benchmarks/hackage/Fst/src/FST/MinimalBrzozowski.hs benchmarks/hackage/Fst/src/FST/MinimalBrzozowski.hs +0 -0
- benchmarks/hackage/Fst/src/FST/MinimalTBrzozowski.hs benchmarks/hackage/Fst/src/FST/MinimalTBrzozowski.hs +0 -0
- benchmarks/hackage/Fst/src/FST/NReg.hs benchmarks/hackage/Fst/src/FST/NReg.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Parse.hs benchmarks/hackage/Fst/src/FST/Parse.hs +0 -0
- benchmarks/hackage/Fst/src/FST/RRegTypes.hs benchmarks/hackage/Fst/src/FST/RRegTypes.hs +0 -0
- benchmarks/hackage/Fst/src/FST/RegTypes.hs benchmarks/hackage/Fst/src/FST/RegTypes.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Reversal.hs benchmarks/hackage/Fst/src/FST/Reversal.hs +0 -0
- benchmarks/hackage/Fst/src/FST/ReversalT.hs benchmarks/hackage/Fst/src/FST/ReversalT.hs +0 -0
- benchmarks/hackage/Fst/src/FST/RunTransducer.hs benchmarks/hackage/Fst/src/FST/RunTransducer.hs +0 -0
- benchmarks/hackage/Fst/src/FST/StateMonad.hs benchmarks/hackage/Fst/src/FST/StateMonad.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Transducer.hs benchmarks/hackage/Fst/src/FST/Transducer.hs +0 -0
- benchmarks/hackage/Fst/src/FST/TransducerInterface.hs benchmarks/hackage/Fst/src/FST/TransducerInterface.hs +0 -0
- benchmarks/hackage/Fst/src/FST/TransducerTypes.hs benchmarks/hackage/Fst/src/FST/TransducerTypes.hs +0 -0
- benchmarks/hackage/Fst/src/FST/Utils.hs benchmarks/hackage/Fst/src/FST/Utils.hs +0 -0
- benchmarks/hackage/Funsat/CHANGES benchmarks/hackage/Funsat/CHANGES +0 -0
- benchmarks/hackage/Funsat/Fibon/Instance.hs benchmarks/hackage/Funsat/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Funsat/Fibon/README benchmarks/hackage/Funsat/Fibon/README +0 -0
- benchmarks/hackage/Funsat/Fibon/data/ref/input/hole8.cnf benchmarks/hackage/Funsat/Fibon/data/ref/input/hole8.cnf +0 -0
- benchmarks/hackage/Funsat/Fibon/data/ref/input/par16-5.cnf benchmarks/hackage/Funsat/Fibon/data/ref/input/par16-5.cnf +0 -0
- benchmarks/hackage/Funsat/Fibon/data/ref/output/funsat.stdout.expected ...ckage/Funsat/Fibon/data/ref/output/funsat.stdout.expected +0 -0
- benchmarks/hackage/Funsat/Fibon/data/test/input/ssa0432-003.cnf ...arks/hackage/Funsat/Fibon/data/test/input/ssa0432-003.cnf +0 -0
- benchmarks/hackage/Funsat/Fibon/data/test/output/funsat.stdout.expected ...kage/Funsat/Fibon/data/test/output/funsat.stdout.expected +0 -0
- benchmarks/hackage/Funsat/Funsat.stdout benchmarks/hackage/Funsat/Funsat.stdout +0 -0
- benchmarks/hackage/Funsat/LICENSE benchmarks/hackage/Funsat/LICENSE +0 -0
- benchmarks/hackage/Funsat/Main.hs benchmarks/hackage/Funsat/Main.hs +0 -0
- benchmarks/hackage/Funsat/Makefile benchmarks/hackage/Funsat/Makefile +0 -0
- benchmarks/hackage/Funsat/README benchmarks/hackage/Funsat/README +0 -0
- benchmarks/hackage/Funsat/Setup.hs benchmarks/hackage/Funsat/Setup.hs +0 -0
- benchmarks/hackage/Funsat/bimap/Data/Bimap.hs benchmarks/hackage/Funsat/bimap/Data/Bimap.hs +0 -0
- benchmarks/hackage/Funsat/bimap/HISTORY benchmarks/hackage/Funsat/bimap/HISTORY +0 -0
- benchmarks/hackage/Funsat/bimap/LICENSE benchmarks/hackage/Funsat/bimap/LICENSE +0 -0
- benchmarks/hackage/Funsat/bimap/Setup.lhs benchmarks/hackage/Funsat/bimap/Setup.lhs +0 -0
- benchmarks/hackage/Funsat/bimap/Test/RunTests.hs benchmarks/hackage/Funsat/bimap/Test/RunTests.hs +0 -0
- benchmarks/hackage/Funsat/bimap/Test/Tests.hs benchmarks/hackage/Funsat/bimap/Test/Tests.hs +0 -0
- benchmarks/hackage/Funsat/bimap/Test/Util.hs benchmarks/hackage/Funsat/bimap/Test/Util.hs +0 -0
- benchmarks/hackage/Funsat/bimap/bimap.cabal benchmarks/hackage/Funsat/bimap/bimap.cabal +0 -0
- benchmarks/hackage/Funsat/bimap/tests.sh benchmarks/hackage/Funsat/bimap/tests.sh +0 -0
- benchmarks/hackage/Funsat/bitset/Data/BitSet.hs benchmarks/hackage/Funsat/bitset/Data/BitSet.hs +0 -0
- benchmarks/hackage/Funsat/bitset/LICENSE benchmarks/hackage/Funsat/bitset/LICENSE +0 -0
- benchmarks/hackage/Funsat/bitset/Setup.lhs benchmarks/hackage/Funsat/bitset/Setup.lhs +0 -0
- benchmarks/hackage/Funsat/bitset/bitset.cabal benchmarks/hackage/Funsat/bitset/bitset.cabal +0 -0
- benchmarks/hackage/Funsat/bitset/tests/Properties.hs benchmarks/hackage/Funsat/bitset/tests/Properties.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Basic.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Basic.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Example.hs ...hmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Example.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Graph.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Graph.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Graphviz.hs ...marks/hackage/Funsat/fgl/Data/Graph/Inductive/Graphviz.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Internal/FiniteMap.hs ...age/Funsat/fgl/Data/Graph/Inductive/Internal/FiniteMap.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Heap.hs .../hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Heap.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Queue.hs ...hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Queue.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Internal/RootPath.hs ...kage/Funsat/fgl/Data/Graph/Inductive/Internal/RootPath.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Internal/Thread.hs ...ackage/Funsat/fgl/Data/Graph/Inductive/Internal/Thread.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Monad.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Monad.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Monad/IOArray.hs .../hackage/Funsat/fgl/Data/Graph/Inductive/Monad/IOArray.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/NodeMap.hs ...hmarks/hackage/Funsat/fgl/Data/Graph/Inductive/NodeMap.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/PatriciaTree.hs ...s/hackage/Funsat/fgl/Data/Graph/Inductive/PatriciaTree.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/ArtPoint.hs ...hackage/Funsat/fgl/Data/Graph/Inductive/Query/ArtPoint.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/BCC.hs ...arks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/BCC.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/BFS.hs ...arks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/BFS.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/DFS.hs ...arks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/DFS.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/Dominators.hs ...ckage/Funsat/fgl/Data/Graph/Inductive/Query/Dominators.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/GVD.hs ...arks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/GVD.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/Indep.hs ...ks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/Indep.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/MST.hs ...arks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/MST.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow.hs .../hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow2.hs ...hackage/Funsat/fgl/Data/Graph/Inductive/Query/MaxFlow2.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/Monad.hs ...ks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/Monad.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/SP.hs ...marks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/SP.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Query/TransClos.hs ...ackage/Funsat/fgl/Data/Graph/Inductive/Query/TransClos.hs +0 -0
- benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Tree.hs benchmarks/hackage/Funsat/fgl/Data/Graph/Inductive/Tree.hs +0 -0
- benchmarks/hackage/Funsat/fgl/LICENSE benchmarks/hackage/Funsat/fgl/LICENSE +0 -0
- benchmarks/hackage/Funsat/fgl/Setup.hs benchmarks/hackage/Funsat/fgl/Setup.hs +0 -0
- benchmarks/hackage/Funsat/fgl/fgl.cabal benchmarks/hackage/Funsat/fgl/fgl.cabal +0 -0
- benchmarks/hackage/Funsat/funsat.cabal benchmarks/hackage/Funsat/funsat.cabal +0 -0
- benchmarks/hackage/Funsat/generated/Paths_funsat.hs benchmarks/hackage/Funsat/generated/Paths_funsat.hs +0 -0
- benchmarks/hackage/Funsat/hole8.cnf benchmarks/hackage/Funsat/hole8.cnf +0 -0
- benchmarks/hackage/Funsat/par16-5.cnf benchmarks/hackage/Funsat/par16-5.cnf +0 -0
- benchmarks/hackage/Funsat/parse-dimacs/CHANGES benchmarks/hackage/Funsat/parse-dimacs/CHANGES +0 -0
- benchmarks/hackage/Funsat/parse-dimacs/LICENSE benchmarks/hackage/Funsat/parse-dimacs/LICENSE +0 -0
- benchmarks/hackage/Funsat/parse-dimacs/Language/CNF/Parse/ParseDIMACS.hs ...age/Funsat/parse-dimacs/Language/CNF/Parse/ParseDIMACS.hs +0 -0
- benchmarks/hackage/Funsat/parse-dimacs/Setup.hs benchmarks/hackage/Funsat/parse-dimacs/Setup.hs +0 -0
- benchmarks/hackage/Funsat/parse-dimacs/parse-dimacs.cabal benchmarks/hackage/Funsat/parse-dimacs/parse-dimacs.cabal +0 -0
- benchmarks/hackage/Funsat/parsec/LICENSE benchmarks/hackage/Funsat/parsec/LICENSE +0 -0
- benchmarks/hackage/Funsat/parsec/Setup.hs benchmarks/hackage/Funsat/parsec/Setup.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec.hs benchmarks/hackage/Funsat/parsec/Text/Parsec.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/ByteString.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/ByteString.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/ByteString/Lazy.hs ...arks/hackage/Funsat/parsec/Text/Parsec/ByteString/Lazy.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Char.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Char.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Combinator.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Combinator.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Error.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Error.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Expr.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Expr.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Language.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Language.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Perm.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Perm.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Pos.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Pos.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Prim.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Prim.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/String.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/String.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/Parsec/Token.hs benchmarks/hackage/Funsat/parsec/Text/Parsec/Token.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec.hs ...ks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Char.hs ...ckage/Funsat/parsec/Text/ParserCombinators/Parsec/Char.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Combinator.hs ...Funsat/parsec/Text/ParserCombinators/Parsec/Combinator.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Error.hs ...kage/Funsat/parsec/Text/ParserCombinators/Parsec/Error.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Expr.hs ...ckage/Funsat/parsec/Text/ParserCombinators/Parsec/Expr.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Language.hs ...e/Funsat/parsec/Text/ParserCombinators/Parsec/Language.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Perm.hs ...ckage/Funsat/parsec/Text/ParserCombinators/Parsec/Perm.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Pos.hs ...ackage/Funsat/parsec/Text/ParserCombinators/Parsec/Pos.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Prim.hs ...ckage/Funsat/parsec/Text/ParserCombinators/Parsec/Prim.hs +0 -0
- benchmarks/hackage/Funsat/parsec/Text/ParserCombinators/Parsec/Token.hs ...kage/Funsat/parsec/Text/ParserCombinators/Parsec/Token.hs +0 -0
- benchmarks/hackage/Funsat/parsec/parsec.cabal benchmarks/hackage/Funsat/parsec/parsec.cabal +0 -0
- benchmarks/hackage/Funsat/src/Control/Monad/MonadST.hs benchmarks/hackage/Funsat/src/Control/Monad/MonadST.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Circuit.hs benchmarks/hackage/Funsat/src/Funsat/Circuit.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/FastDom.hs benchmarks/hackage/Funsat/src/Funsat/FastDom.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Monad.hs benchmarks/hackage/Funsat/src/Funsat/Monad.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Resolution.hs benchmarks/hackage/Funsat/src/Funsat/Resolution.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Solver.hs benchmarks/hackage/Funsat/src/Funsat/Solver.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Types.hs benchmarks/hackage/Funsat/src/Funsat/Types.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Types/Internal.hs benchmarks/hackage/Funsat/src/Funsat/Types/Internal.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Utils.hs benchmarks/hackage/Funsat/src/Funsat/Utils.hs +0 -0
- benchmarks/hackage/Funsat/src/Funsat/Utils/Internal.hs benchmarks/hackage/Funsat/src/Funsat/Utils/Internal.hs +0 -0
- benchmarks/hackage/Funsat/src/Text/Tabular.hs benchmarks/hackage/Funsat/src/Text/Tabular.hs +0 -0
- benchmarks/hackage/Funsat/syb/LICENSE benchmarks/hackage/Funsat/syb/LICENSE +0 -0
- benchmarks/hackage/Funsat/syb/Setup.hs benchmarks/hackage/Funsat/syb/Setup.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics.hs benchmarks/hackage/Funsat/syb/src/Data/Generics.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Aliases.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Aliases.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Basics.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Basics.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Builders.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Builders.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Instances.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Instances.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Schemes.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Schemes.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Text.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Text.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Data/Generics/Twins.hs benchmarks/hackage/Funsat/syb/src/Data/Generics/Twins.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Aliases.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Aliases.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Basics.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Basics.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Builders.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Builders.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Instances.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Instances.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Schemes.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Schemes.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Text.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Text.hs +0 -0
- benchmarks/hackage/Funsat/syb/src/Generics/SYB/Twins.hs benchmarks/hackage/Funsat/syb/src/Generics/SYB/Twins.hs +0 -0
- benchmarks/hackage/Funsat/syb/syb.cabal benchmarks/hackage/Funsat/syb/syb.cabal +0 -0
- benchmarks/hackage/Funsat/syb/tests/Bits.hs benchmarks/hackage/Funsat/syb/tests/Bits.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Builders.hs benchmarks/hackage/Funsat/syb/tests/Builders.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/CompanyDatatypes.hs benchmarks/hackage/Funsat/syb/tests/CompanyDatatypes.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Datatype.hs benchmarks/hackage/Funsat/syb/tests/Datatype.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Encode.hs benchmarks/hackage/Funsat/syb/tests/Encode.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Ext.hs benchmarks/hackage/Funsat/syb/tests/Ext.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Ext1.hs benchmarks/hackage/Funsat/syb/tests/Ext1.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/FoldTree.hs benchmarks/hackage/Funsat/syb/tests/FoldTree.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/FreeNames.hs benchmarks/hackage/Funsat/syb/tests/FreeNames.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GEq.hs benchmarks/hackage/Funsat/syb/tests/GEq.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GMapQAssoc.hs benchmarks/hackage/Funsat/syb/tests/GMapQAssoc.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GShow.hs benchmarks/hackage/Funsat/syb/tests/GShow.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GShow2.hs benchmarks/hackage/Funsat/syb/tests/GShow2.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GZip.hs benchmarks/hackage/Funsat/syb/tests/GZip.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GenUpTo.hs benchmarks/hackage/Funsat/syb/tests/GenUpTo.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/GetC.hs benchmarks/hackage/Funsat/syb/tests/GetC.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Gread.hs benchmarks/hackage/Funsat/syb/tests/Gread.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Gread2.hs benchmarks/hackage/Funsat/syb/tests/Gread2.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/HList.hs benchmarks/hackage/Funsat/syb/tests/HList.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/HOPat.hs benchmarks/hackage/Funsat/syb/tests/HOPat.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Labels.hs benchmarks/hackage/Funsat/syb/tests/Labels.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/LocalQuantors.hs benchmarks/hackage/Funsat/syb/tests/LocalQuantors.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Main.hs benchmarks/hackage/Funsat/syb/tests/Main.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/NestedDatatypes.hs benchmarks/hackage/Funsat/syb/tests/NestedDatatypes.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Newtype.hs benchmarks/hackage/Funsat/syb/tests/Newtype.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Paradise.hs benchmarks/hackage/Funsat/syb/tests/Paradise.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Perm.hs benchmarks/hackage/Funsat/syb/tests/Perm.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Polymatch.hs benchmarks/hackage/Funsat/syb/tests/Polymatch.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Reify.hs benchmarks/hackage/Funsat/syb/tests/Reify.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Strings.hs benchmarks/hackage/Funsat/syb/tests/Strings.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Tree.hs benchmarks/hackage/Funsat/syb/tests/Tree.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Twin.hs benchmarks/hackage/Funsat/syb/tests/Twin.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Typeable.hs benchmarks/hackage/Funsat/syb/tests/Typeable.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Typecase1.hs benchmarks/hackage/Funsat/syb/tests/Typecase1.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Typecase2.hs benchmarks/hackage/Funsat/syb/tests/Typecase2.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/Where.hs benchmarks/hackage/Funsat/syb/tests/Where.hs +0 -0
- benchmarks/hackage/Funsat/syb/tests/XML.hs benchmarks/hackage/Funsat/syb/tests/XML.hs +0 -0
- benchmarks/hackage/Gf/Adjective.gf benchmarks/hackage/Gf/Adjective.gf +0 -0
- benchmarks/hackage/Gf/AdjectiveEng.gf benchmarks/hackage/Gf/AdjectiveEng.gf +0 -0
- benchmarks/hackage/Gf/AdjectiveFre.gf benchmarks/hackage/Gf/AdjectiveFre.gf +0 -0
- benchmarks/hackage/Gf/AdjectiveRomance.gf benchmarks/hackage/Gf/AdjectiveRomance.gf +0 -0
- benchmarks/hackage/Gf/Adverb.gf benchmarks/hackage/Gf/Adverb.gf +0 -0
- benchmarks/hackage/Gf/AdverbEng.gf benchmarks/hackage/Gf/AdverbEng.gf +0 -0
- benchmarks/hackage/Gf/AdverbFre.gf benchmarks/hackage/Gf/AdverbFre.gf +0 -0
- benchmarks/hackage/Gf/AdverbRomance.gf benchmarks/hackage/Gf/AdverbRomance.gf +0 -0
- benchmarks/hackage/Gf/AllEng.gf benchmarks/hackage/Gf/AllEng.gf +0 -0
- benchmarks/hackage/Gf/AllEngAbs.gf benchmarks/hackage/Gf/AllEngAbs.gf +0 -0
- benchmarks/hackage/Gf/AllFre.gf benchmarks/hackage/Gf/AllFre.gf +0 -0
- benchmarks/hackage/Gf/AllFreAbs.gf benchmarks/hackage/Gf/AllFreAbs.gf +0 -0
- benchmarks/hackage/Gf/Backward.gf benchmarks/hackage/Gf/Backward.gf +0 -0
- benchmarks/hackage/Gf/BackwardEng.gf benchmarks/hackage/Gf/BackwardEng.gf +0 -0
- benchmarks/hackage/Gf/BeschFre.gf benchmarks/hackage/Gf/BeschFre.gf +0 -0
- benchmarks/hackage/Gf/Cat.gf benchmarks/hackage/Gf/Cat.gf +0 -0
- benchmarks/hackage/Gf/CatEng.gf benchmarks/hackage/Gf/CatEng.gf +0 -0
- benchmarks/hackage/Gf/CatFre.gf benchmarks/hackage/Gf/CatFre.gf +0 -0
- benchmarks/hackage/Gf/CatRomance.gf benchmarks/hackage/Gf/CatRomance.gf +0 -0
- benchmarks/hackage/Gf/Common.gf benchmarks/hackage/Gf/Common.gf +0 -0
- benchmarks/hackage/Gf/CommonRomance.gf benchmarks/hackage/Gf/CommonRomance.gf +0 -0
- benchmarks/hackage/Gf/CommonX.gf benchmarks/hackage/Gf/CommonX.gf +0 -0
- benchmarks/hackage/Gf/Compatibility.gf benchmarks/hackage/Gf/Compatibility.gf +0 -0
- benchmarks/hackage/Gf/CompatibilityCat.gf benchmarks/hackage/Gf/CompatibilityCat.gf +0 -0
- benchmarks/hackage/Gf/CompatibilityEng.gf benchmarks/hackage/Gf/CompatibilityEng.gf +0 -0
- benchmarks/hackage/Gf/CompatibilityFre.gf benchmarks/hackage/Gf/CompatibilityFre.gf +0 -0
- benchmarks/hackage/Gf/Conjunction.gf benchmarks/hackage/Gf/Conjunction.gf +0 -0
- benchmarks/hackage/Gf/ConjunctionEng.gf benchmarks/hackage/Gf/ConjunctionEng.gf +0 -0
- benchmarks/hackage/Gf/ConjunctionFre.gf benchmarks/hackage/Gf/ConjunctionFre.gf +0 -0
- benchmarks/hackage/Gf/ConjunctionRomance.gf benchmarks/hackage/Gf/ConjunctionRomance.gf +0 -0
- benchmarks/hackage/Gf/ConstructX.gf benchmarks/hackage/Gf/ConstructX.gf +0 -0
- benchmarks/hackage/Gf/Coordination.gf benchmarks/hackage/Gf/Coordination.gf +0 -0
- benchmarks/hackage/Gf/DictEng.gf benchmarks/hackage/Gf/DictEng.gf +0 -0
- benchmarks/hackage/Gf/DictEngAbs.gf benchmarks/hackage/Gf/DictEngAbs.gf +0 -0
- benchmarks/hackage/Gf/DiffFre.gf benchmarks/hackage/Gf/DiffFre.gf +0 -0
- benchmarks/hackage/Gf/DiffRomance.gf benchmarks/hackage/Gf/DiffRomance.gf +0 -0
- benchmarks/hackage/Gf/Eng.gf benchmarks/hackage/Gf/Eng.gf +0 -0
- benchmarks/hackage/Gf/EngDescr.gf benchmarks/hackage/Gf/EngDescr.gf +0 -0
- benchmarks/hackage/Gf/EngReal.gf benchmarks/hackage/Gf/EngReal.gf +0 -0
- benchmarks/hackage/Gf/ExtRomance.gf benchmarks/hackage/Gf/ExtRomance.gf +0 -0
- benchmarks/hackage/Gf/Extra.gf benchmarks/hackage/Gf/Extra.gf +0 -0
- benchmarks/hackage/Gf/ExtraEng.gf benchmarks/hackage/Gf/ExtraEng.gf +0 -0
- benchmarks/hackage/Gf/ExtraEngAbs.gf benchmarks/hackage/Gf/ExtraEngAbs.gf +0 -0
- benchmarks/hackage/Gf/ExtraFre.gf benchmarks/hackage/Gf/ExtraFre.gf +0 -0
- benchmarks/hackage/Gf/ExtraFreAbs.gf benchmarks/hackage/Gf/ExtraFreAbs.gf +0 -0
- benchmarks/hackage/Gf/ExtraRomance.gf benchmarks/hackage/Gf/ExtraRomance.gf +0 -0
- benchmarks/hackage/Gf/ExtraRomanceAbs.gf benchmarks/hackage/Gf/ExtraRomanceAbs.gf +0 -0
- benchmarks/hackage/Gf/ExtraRomanceFre.gf benchmarks/hackage/Gf/ExtraRomanceFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/Instance.hs benchmarks/hackage/Gf/Fibon/Instance.hs +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Adjective.gf benchmarks/hackage/Gf/Fibon/data/all/input/Adjective.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdjectiveEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/AdjectiveEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdjectiveFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/AdjectiveFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdjectiveRomance.gf ...marks/hackage/Gf/Fibon/data/all/input/AdjectiveRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Adverb.gf benchmarks/hackage/Gf/Fibon/data/all/input/Adverb.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdverbEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/AdverbEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdverbFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/AdverbFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AdverbRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/AdverbRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AllEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/AllEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AllEngAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/AllEngAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AllFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/AllFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/AllFreAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/AllFreAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Backward.gf benchmarks/hackage/Gf/Fibon/data/all/input/Backward.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/BackwardEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/BackwardEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/BeschFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/BeschFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Cat.gf benchmarks/hackage/Gf/Fibon/data/all/input/Cat.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CatEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/CatEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CatFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/CatFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CatRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/CatRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Common.gf benchmarks/hackage/Gf/Fibon/data/all/input/Common.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CommonRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/CommonRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CommonX.gf benchmarks/hackage/Gf/Fibon/data/all/input/CommonX.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Compatibility.gf benchmarks/hackage/Gf/Fibon/data/all/input/Compatibility.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CompatibilityCat.gf ...marks/hackage/Gf/Fibon/data/all/input/CompatibilityCat.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CompatibilityEng.gf ...marks/hackage/Gf/Fibon/data/all/input/CompatibilityEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/CompatibilityFre.gf ...marks/hackage/Gf/Fibon/data/all/input/CompatibilityFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Conjunction.gf benchmarks/hackage/Gf/Fibon/data/all/input/Conjunction.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ConjunctionEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/ConjunctionEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ConjunctionFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/ConjunctionFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ConjunctionRomance.gf ...rks/hackage/Gf/Fibon/data/all/input/ConjunctionRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ConstructX.gf benchmarks/hackage/Gf/Fibon/data/all/input/ConstructX.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Coordination.gf benchmarks/hackage/Gf/Fibon/data/all/input/Coordination.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/DictEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/DictEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/DictEngAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/DictEngAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/DiffFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/DiffFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/DiffRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/DiffRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Extra.gf benchmarks/hackage/Gf/Fibon/data/all/input/Extra.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtraEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraEngAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtraEngAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtraFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraFreAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtraFreAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/ExtraRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraRomanceAbs.gf ...hmarks/hackage/Gf/Fibon/data/all/input/ExtraRomanceAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ExtraRomanceFre.gf ...hmarks/hackage/Gf/Fibon/data/all/input/ExtraRomanceFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Formal.gf benchmarks/hackage/Gf/Fibon/data/all/input/Formal.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Grammar.gf benchmarks/hackage/Gf/Fibon/data/all/input/Grammar.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/GrammarEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/GrammarEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/GrammarFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/GrammarFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/HTML.gf benchmarks/hackage/Gf/Fibon/data/all/input/HTML.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Idiom.gf benchmarks/hackage/Gf/Fibon/data/all/input/Idiom.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IdiomEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/IdiomEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IdiomFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/IdiomFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IrregEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/IrregEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IrregEngAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/IrregEngAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IrregFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/IrregFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/IrregFreAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/IrregFreAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Lang.gf benchmarks/hackage/Gf/Fibon/data/all/input/Lang.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/LangEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/LangEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/LangFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/LangFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Latex.gf benchmarks/hackage/Gf/Fibon/data/all/input/Latex.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Lexicon.gf benchmarks/hackage/Gf/Fibon/data/all/input/Lexicon.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/LexiconEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/LexiconEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/LexiconFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/LexiconFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/MakeStructuralEng.gf ...arks/hackage/Gf/Fibon/data/all/input/MakeStructuralEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/MakeStructuralFre.gf ...arks/hackage/Gf/Fibon/data/all/input/MakeStructuralFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/MorphoEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/MorphoEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/MorphoFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/MorphoFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Noun.gf benchmarks/hackage/Gf/Fibon/data/all/input/Noun.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NounEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/NounEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NounFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/NounFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NounRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/NounRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Numeral.gf benchmarks/hackage/Gf/Fibon/data/all/input/Numeral.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NumeralEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/NumeralEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NumeralFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/NumeralFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/NumeralTransfer.gf ...hmarks/hackage/Gf/Fibon/data/all/input/NumeralTransfer.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Overload.gf benchmarks/hackage/Gf/Fibon/data/all/input/Overload.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/OverloadEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/OverloadEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ParadigmsEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/ParadigmsEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ParadigmsFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/ParadigmsFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ParamX.gf benchmarks/hackage/Gf/Fibon/data/all/input/ParamX.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PhonoFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/PhonoFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Phrase.gf benchmarks/hackage/Gf/Fibon/data/all/input/Phrase.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PhraseEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/PhraseEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PhraseFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/PhraseFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PhraseRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/PhraseRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Precedence.gf benchmarks/hackage/Gf/Fibon/data/all/input/Precedence.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Predef.gf benchmarks/hackage/Gf/Fibon/data/all/input/Predef.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PredefAbs.gf benchmarks/hackage/Gf/Fibon/data/all/input/PredefAbs.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/PredefCnc.gf benchmarks/hackage/Gf/Fibon/data/all/input/PredefCnc.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Prelude.gf benchmarks/hackage/Gf/Fibon/data/all/input/Prelude.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Question.gf benchmarks/hackage/Gf/Fibon/data/all/input/Question.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/QuestionEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/QuestionEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/QuestionFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/QuestionFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/QuestionRomance.gf ...hmarks/hackage/Gf/Fibon/data/all/input/QuestionRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Relative.gf benchmarks/hackage/Gf/Fibon/data/all/input/Relative.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/RelativeEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/RelativeEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/RelativeFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/RelativeFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/RelativeRomance.gf ...hmarks/hackage/Gf/Fibon/data/all/input/RelativeRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ResEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/ResEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ResFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/ResFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/ResRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/ResRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Sentence.gf benchmarks/hackage/Gf/Fibon/data/all/input/Sentence.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SentenceEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/SentenceEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SentenceFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/SentenceFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SentenceRomance.gf ...hmarks/hackage/Gf/Fibon/data/all/input/SentenceRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Structural.gf benchmarks/hackage/Gf/Fibon/data/all/input/Structural.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/StructuralEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/StructuralEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/StructuralFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/StructuralFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Symbol.gf benchmarks/hackage/Gf/Fibon/data/all/input/Symbol.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SymbolEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/SymbolEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SymbolFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/SymbolFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/SymbolRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/SymbolRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Tense.gf benchmarks/hackage/Gf/Fibon/data/all/input/Tense.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/TenseFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/TenseFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/TenseRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/TenseRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/TenseX.gf benchmarks/hackage/Gf/Fibon/data/all/input/TenseX.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Text.gf benchmarks/hackage/Gf/Fibon/data/all/input/Text.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/TextX.gf benchmarks/hackage/Gf/Fibon/data/all/input/TextX.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/Verb.gf benchmarks/hackage/Gf/Fibon/data/all/input/Verb.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/VerbEng.gf benchmarks/hackage/Gf/Fibon/data/all/input/VerbEng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/VerbFre.gf benchmarks/hackage/Gf/Fibon/data/all/input/VerbFre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/all/input/VerbRomance.gf benchmarks/hackage/Gf/Fibon/data/all/input/VerbRomance.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/Eng.gf benchmarks/hackage/Gf/Fibon/data/ref/input/Eng.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/EngDescr.gf benchmarks/hackage/Gf/Fibon/data/ref/input/EngDescr.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/EngReal.gf benchmarks/hackage/Gf/Fibon/data/ref/input/EngReal.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/Fre.gf benchmarks/hackage/Gf/Fibon/data/ref/input/Fre.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/FreDescr.gf benchmarks/hackage/Gf/Fibon/data/ref/input/FreDescr.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/input/FreReal.gf benchmarks/hackage/Gf/Fibon/data/ref/input/FreReal.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/ref/output/Fre.hs.expected benchmarks/hackage/Gf/Fibon/data/ref/output/Fre.hs.expected +0 -0
- benchmarks/hackage/Gf/Fibon/data/test/input/RDF.gf benchmarks/hackage/Gf/Fibon/data/test/input/RDF.gf +0 -0
- benchmarks/hackage/Gf/Fibon/data/test/output/RDF.hs.expected benchmarks/hackage/Gf/Fibon/data/test/output/RDF.hs.expected +0 -0
- benchmarks/hackage/Gf/Formal.gf benchmarks/hackage/Gf/Formal.gf +0 -0
- benchmarks/hackage/Gf/Fre.gf benchmarks/hackage/Gf/Fre.gf +0 -0
- benchmarks/hackage/Gf/Fre.hs.expected benchmarks/hackage/Gf/Fre.hs.expected +0 -0
- benchmarks/hackage/Gf/FreDescr.gf benchmarks/hackage/Gf/FreDescr.gf +0 -0
- benchmarks/hackage/Gf/FreReal.gf benchmarks/hackage/Gf/FreReal.gf +0 -0
- benchmarks/hackage/Gf/Grammar.gf benchmarks/hackage/Gf/Grammar.gf +0 -0
- benchmarks/hackage/Gf/GrammarEng.gf benchmarks/hackage/Gf/GrammarEng.gf +0 -0
- benchmarks/hackage/Gf/GrammarFre.gf benchmarks/hackage/Gf/GrammarFre.gf +0 -0
- benchmarks/hackage/Gf/HTML.gf benchmarks/hackage/Gf/HTML.gf +0 -0
- benchmarks/hackage/Gf/Idiom.gf benchmarks/hackage/Gf/Idiom.gf +0 -0
- benchmarks/hackage/Gf/IdiomEng.gf benchmarks/hackage/Gf/IdiomEng.gf +0 -0
- benchmarks/hackage/Gf/IdiomFre.gf benchmarks/hackage/Gf/IdiomFre.gf +0 -0
- benchmarks/hackage/Gf/IrregEng.gf benchmarks/hackage/Gf/IrregEng.gf +0 -0
- benchmarks/hackage/Gf/IrregEngAbs.gf benchmarks/hackage/Gf/IrregEngAbs.gf +0 -0
- benchmarks/hackage/Gf/IrregFre.gf benchmarks/hackage/Gf/IrregFre.gf +0 -0
- benchmarks/hackage/Gf/IrregFreAbs.gf benchmarks/hackage/Gf/IrregFreAbs.gf +0 -0
- benchmarks/hackage/Gf/LICENSE benchmarks/hackage/Gf/LICENSE +0 -0
- benchmarks/hackage/Gf/Lang.gf benchmarks/hackage/Gf/Lang.gf +0 -0
- benchmarks/hackage/Gf/LangEng.gf benchmarks/hackage/Gf/LangEng.gf +0 -0
- benchmarks/hackage/Gf/LangFre.gf benchmarks/hackage/Gf/LangFre.gf +0 -0
- benchmarks/hackage/Gf/Latex.gf benchmarks/hackage/Gf/Latex.gf +0 -0
- benchmarks/hackage/Gf/Lexicon.gf benchmarks/hackage/Gf/Lexicon.gf +0 -0
- benchmarks/hackage/Gf/LexiconEng.gf benchmarks/hackage/Gf/LexiconEng.gf +0 -0
- benchmarks/hackage/Gf/LexiconFre.gf benchmarks/hackage/Gf/LexiconFre.gf +0 -0
- benchmarks/hackage/Gf/MakeStructuralEng.gf benchmarks/hackage/Gf/MakeStructuralEng.gf +0 -0
- benchmarks/hackage/Gf/MakeStructuralFre.gf benchmarks/hackage/Gf/MakeStructuralFre.gf +0 -0
- benchmarks/hackage/Gf/Makefile benchmarks/hackage/Gf/Makefile +0 -0
- benchmarks/hackage/Gf/MorphoEng.gf benchmarks/hackage/Gf/MorphoEng.gf +0 -0
- benchmarks/hackage/Gf/MorphoFre.gf benchmarks/hackage/Gf/MorphoFre.gf +0 -0
- benchmarks/hackage/Gf/Noun.gf benchmarks/hackage/Gf/Noun.gf +0 -0
- benchmarks/hackage/Gf/NounEng.gf benchmarks/hackage/Gf/NounEng.gf +0 -0
- benchmarks/hackage/Gf/NounFre.gf benchmarks/hackage/Gf/NounFre.gf +0 -0
- benchmarks/hackage/Gf/NounRomance.gf benchmarks/hackage/Gf/NounRomance.gf +0 -0
- benchmarks/hackage/Gf/Numeral.gf benchmarks/hackage/Gf/Numeral.gf +0 -0
- benchmarks/hackage/Gf/NumeralEng.gf benchmarks/hackage/Gf/NumeralEng.gf +0 -0
- benchmarks/hackage/Gf/NumeralFre.gf benchmarks/hackage/Gf/NumeralFre.gf +0 -0
- benchmarks/hackage/Gf/NumeralTransfer.gf benchmarks/hackage/Gf/NumeralTransfer.gf +0 -0
- benchmarks/hackage/Gf/Overload.gf benchmarks/hackage/Gf/Overload.gf +0 -0
- benchmarks/hackage/Gf/OverloadEng.gf benchmarks/hackage/Gf/OverloadEng.gf +0 -0
- benchmarks/hackage/Gf/ParadigmsEng.gf benchmarks/hackage/Gf/ParadigmsEng.gf +0 -0
- benchmarks/hackage/Gf/ParadigmsFre.gf benchmarks/hackage/Gf/ParadigmsFre.gf +0 -0
- benchmarks/hackage/Gf/ParamX.gf benchmarks/hackage/Gf/ParamX.gf +0 -0
- benchmarks/hackage/Gf/PhonoFre.gf benchmarks/hackage/Gf/PhonoFre.gf +0 -0
- benchmarks/hackage/Gf/Phrase.gf benchmarks/hackage/Gf/Phrase.gf +0 -0
- benchmarks/hackage/Gf/PhraseEng.gf benchmarks/hackage/Gf/PhraseEng.gf +0 -0
- benchmarks/hackage/Gf/PhraseFre.gf benchmarks/hackage/Gf/PhraseFre.gf +0 -0
- benchmarks/hackage/Gf/PhraseRomance.gf benchmarks/hackage/Gf/PhraseRomance.gf +0 -0
- benchmarks/hackage/Gf/Precedence.gf benchmarks/hackage/Gf/Precedence.gf +0 -0
- benchmarks/hackage/Gf/Predef.gf benchmarks/hackage/Gf/Predef.gf +0 -0
- benchmarks/hackage/Gf/PredefAbs.gf benchmarks/hackage/Gf/PredefAbs.gf +0 -0
- benchmarks/hackage/Gf/PredefCnc.gf benchmarks/hackage/Gf/PredefCnc.gf +0 -0
- benchmarks/hackage/Gf/Prelude.gf benchmarks/hackage/Gf/Prelude.gf +0 -0
- benchmarks/hackage/Gf/Question.gf benchmarks/hackage/Gf/Question.gf +0 -0
- benchmarks/hackage/Gf/QuestionEng.gf benchmarks/hackage/Gf/QuestionEng.gf +0 -0
- benchmarks/hackage/Gf/QuestionFre.gf benchmarks/hackage/Gf/QuestionFre.gf +0 -0
- benchmarks/hackage/Gf/QuestionRomance.gf benchmarks/hackage/Gf/QuestionRomance.gf +0 -0
- benchmarks/hackage/Gf/README benchmarks/hackage/Gf/README +0 -0
- benchmarks/hackage/Gf/Relative.gf benchmarks/hackage/Gf/Relative.gf +0 -0
- benchmarks/hackage/Gf/RelativeEng.gf benchmarks/hackage/Gf/RelativeEng.gf +0 -0
- benchmarks/hackage/Gf/RelativeFre.gf benchmarks/hackage/Gf/RelativeFre.gf +0 -0
- benchmarks/hackage/Gf/RelativeRomance.gf benchmarks/hackage/Gf/RelativeRomance.gf +0 -0
- benchmarks/hackage/Gf/ResEng.gf benchmarks/hackage/Gf/ResEng.gf +0 -0
- benchmarks/hackage/Gf/ResFre.gf benchmarks/hackage/Gf/ResFre.gf +0 -0
- benchmarks/hackage/Gf/ResRomance.gf benchmarks/hackage/Gf/ResRomance.gf +0 -0
- benchmarks/hackage/Gf/Sentence.gf benchmarks/hackage/Gf/Sentence.gf +0 -0
- benchmarks/hackage/Gf/SentenceEng.gf benchmarks/hackage/Gf/SentenceEng.gf +0 -0
- benchmarks/hackage/Gf/SentenceFre.gf benchmarks/hackage/Gf/SentenceFre.gf +0 -0
- benchmarks/hackage/Gf/SentenceRomance.gf benchmarks/hackage/Gf/SentenceRomance.gf +0 -0
- benchmarks/hackage/Gf/Setup.hs benchmarks/hackage/Gf/Setup.hs +0 -0
- benchmarks/hackage/Gf/Structural.gf benchmarks/hackage/Gf/Structural.gf +0 -0
- benchmarks/hackage/Gf/StructuralEng.gf benchmarks/hackage/Gf/StructuralEng.gf +0 -0
- benchmarks/hackage/Gf/StructuralFre.gf benchmarks/hackage/Gf/StructuralFre.gf +0 -0
- benchmarks/hackage/Gf/Symbol.gf benchmarks/hackage/Gf/Symbol.gf +0 -0
- benchmarks/hackage/Gf/SymbolEng.gf benchmarks/hackage/Gf/SymbolEng.gf +0 -0
- benchmarks/hackage/Gf/SymbolFre.gf benchmarks/hackage/Gf/SymbolFre.gf +0 -0
- benchmarks/hackage/Gf/SymbolRomance.gf benchmarks/hackage/Gf/SymbolRomance.gf +0 -0
- benchmarks/hackage/Gf/Tense.gf benchmarks/hackage/Gf/Tense.gf +0 -0
- benchmarks/hackage/Gf/TenseFre.gf benchmarks/hackage/Gf/TenseFre.gf +0 -0
- benchmarks/hackage/Gf/TenseRomance.gf benchmarks/hackage/Gf/TenseRomance.gf +0 -0
- benchmarks/hackage/Gf/TenseX.gf benchmarks/hackage/Gf/TenseX.gf +0 -0
- benchmarks/hackage/Gf/Text.gf benchmarks/hackage/Gf/Text.gf +0 -0
- benchmarks/hackage/Gf/TextX.gf benchmarks/hackage/Gf/TextX.gf +0 -0
- benchmarks/hackage/Gf/Verb.gf benchmarks/hackage/Gf/Verb.gf +0 -0
- benchmarks/hackage/Gf/VerbEng.gf benchmarks/hackage/Gf/VerbEng.gf +0 -0
- benchmarks/hackage/Gf/VerbFre.gf benchmarks/hackage/Gf/VerbFre.gf +0 -0
- benchmarks/hackage/Gf/VerbRomance.gf benchmarks/hackage/Gf/VerbRomance.gf +0 -0
- benchmarks/hackage/Gf/generated/Paths_gf.hs benchmarks/hackage/Gf/generated/Paths_gf.hs +0 -0
- benchmarks/hackage/Gf/gf.cabal benchmarks/hackage/Gf/gf.cabal +0 -0
- benchmarks/hackage/Gf/src/compiler/GF.hs benchmarks/hackage/Gf/src/compiler/GF.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Abstract.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Abstract.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Commands.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Commands.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Importing.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Importing.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Interpreter.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Interpreter.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Messages.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Messages.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/Parse.hs benchmarks/hackage/Gf/src/compiler/GF/Command/Parse.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Command/TreeOperations.hs ...arks/hackage/Gf/src/compiler/GF/Command/TreeOperations.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile.hs benchmarks/hackage/Gf/src/compiler/GF/Compile.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/Abstract/Compute.hs ...ks/hackage/Gf/src/compiler/GF/Compile/Abstract/Compute.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/Abstract/TC.hs benchmarks/hackage/Gf/src/compiler/GF/Compile/Abstract/TC.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/Abstract/TypeCheck.hs .../hackage/Gf/src/compiler/GF/Compile/Abstract/TypeCheck.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/CheckGrammar.hs ...hmarks/hackage/Gf/src/compiler/GF/Compile/CheckGrammar.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/Coding.hs benchmarks/hackage/Gf/src/compiler/GF/Compile/Coding.hs +0 -0
- benchmarks/hackage/Gf/src/compiler/GF/Compile/Concrete/AppPredefined.hs ...kage/Gf/src/compiler/GF/Compile/Concrete/AppPredefined.hs +0 -0
- No files found.
Too many changes to show.
To preserve performance only 1000 of 1000+ files are displayed.
benchmarks/.gitignore
0 → 100644