• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for speculate-0.4.18 source tarball

speculate-0.4.18/

• .gitignore
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• changelog.md
• speculate.cabal
• stack.yaml
• .github/
  • workflows/
    • build.yml
• bench/
  • arith-c
  • arith-c.txt
  • arith-t
  • arith-t.txt
  • arithficial.hs
  • arithficial.txt
  • bool-c
  • bool-c.txt
  • list-c
  • list-c.txt
  • list-t
  • list-t.txt
  • lowtests.hs
  • lowtests.txt
  • minus-c
  • minus-c.txt
  • nord.hs
  • nord.txt
  • stats.hs
  • stats.txt
  • trilean.hs
  • trilean.txt
  • unit.hs
  • unit.txt
  • versions
  • runtime/
    • lapmatrud/
      • versions
      • bench/
        • arithficial.runtime
        • lowtests.runtime
        • nord.runtime
        • trilean.runtime
        • unit.runtime
      • eg/
        • arith-negate-abs.runtime
        • arith.runtime
        • binarytree.runtime
        • binarytree0.runtime
        • bool.runtime
        • colour.runtime
        • digraphs.runtime
        • fun.runtime
        • insertsort.runtime
        • insertsort0.runtime
        • length.runtime
        • list.runtime
        • minus.runtime
        • monad.runtime
        • oddeven.runtime
        • plus-abs.runtime
        • ratio.runtime
        • sets.runtime
        • speculate-reason.runtime
        • string.runtime
        • tauts.runtime
        • tuples.runtime
        • zip.runtime
    • zero/
      • versions
      • bench/
        • arith-c.runtime
        • arith-t.runtime
        • arithficial.runtime
        • bool-c.runtime
        • list-c.runtime
        • list-t.runtime
        • lowtests.runtime
        • minus-c.runtime
        • nord.runtime
        • stats.runtime
        • trilean.runtime
        • unit.runtime
      • eg/
        • arith-negate-abs.runtime
        • arith.runtime
        • binarytree.runtime
        • binarytree0.runtime
        • bool.runtime
        • colour.runtime
        • digraphs.runtime
        • fun.runtime
        • insertsort.runtime
        • insertsort0.runtime
        • length.runtime
        • list.runtime
        • minus.runtime
        • monad.runtime
        • oddeven.runtime
        • plus-abs.runtime
        • ratio.runtime
        • sets.runtime
        • speculate-reason.runtime
        • string.runtime
        • tauts.runtime
        • tuples.runtime
        • zip.runtime
• bin/
  • run-heavy-regexes-benchmark.sh
• doc/
  • speculate.svg
• eg/
  • Digraph.hs
  • Regex.hs
  • Set.hs
  • Taut.hs
  • algebraic-graphs.hs
  • algebraic-graphs.txt
  • arith-negate-abs.hs
  • arith-negate-abs.txt
  • arith.hs
  • arith.txt
  • binarytree.hs
  • binarytree.txt
  • binarytree0.hs
  • binarytree0.txt
  • bool.hs
  • bool.txt
  • colour.hs
  • colour.txt
  • digraphs.hs
  • digraphs.txt
  • fun.hs
  • fun.txt
  • insertsort.hs
  • insertsort.txt
  • insertsort0.hs
  • insertsort0.txt
  • length.hs
  • length.txt
  • list.hs
  • list.txt
  • minus.hs
  • minus.txt
  • monad.hs
  • monad.txt
  • oddeven.hs
  • oddeven.txt
  • plus-abs.hs
  • plus-abs.txt
  • pretty-compact.hs
  • pretty.hs
  • pretty.txt
  • ratio.hs
  • ratio.txt
  • regexes.hs
  • regexes.txt
  • sets.hs
  • sets.txt
  • speculate-reason.hs
  • speculate-reason.txt
  • string.hs
  • string.txt
  • tauts.hs
  • tauts.txt
  • tuples.hs
  • tuples.txt
  • zip.hs
  • zip.txt
• mk/
  • Toplibs.hs
  • depend.mk
  • ghcdeps
  • haddock-i
  • haskell.mk
  • install-on
• src/
  • Test/
    • Speculate.hs
    • Speculate/
      • Args.hs
      • CondReason.hs
      • Engine.hs
      • Expr.hs
      • Pretty.hs
      • Reason.hs
      • Report.hs
      • Sanity.hs
      • SemiReason.hs
      • Utils.hs
      • Expr/
        • Core.hs
        • Equate.hs
        • Ground.hs
        • Instance.hs
      • Function/
        • A10.hs
        • A100.hs
        • A1000.hs
      • Reason/
        • Order.hs
      • Utils/
        • Class.hs
        • Colour.hs
        • Digraph.hs
        • List.hs
        • Memoize.hs
        • Misc.hs
        • Ord.hs
        • PrettyPrint.hs
        • String.hs
        • Tiers.hs
        • Timeout.hs
        • Tuple.hs
• test/
  • Test.hs
  • creason.hs
  • engine.hs
  • eval.hs
  • expr.hs
  • order.hs
  • reason.hs
  • sdist
  • utils.hs
  • Test/
    • ListableExpr.hs