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

Directory listing for speculate-0.4.12 source tarball

speculate-0.4.12/

• .gitignore
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• changelog.md
• speculate.cabal
• stack.yaml
• .github/
  • workflows/
    • build.yml
• bench/
  • arith-c
  • arithficial.hs
  • bool-c
  • list-c
  • minus-c
  • nord.hs
  • runtime-zero
  • trilean.hs
  • unit.hs
  • qs1/
    • Makefile
    • arith-negate-abs.hs
    • arith-negate-abs.out
    • arith.hs
    • arith.out
    • arithficial.hs
    • arithficial.out
    • bool.hs
    • bool.out
    • list.hs
    • list.out
    • plus-abs.hs
    • plus-abs.out
    • regexes.hs
    • regexes.out
    • runtime-zero
  • qs2/
    • Makefile
    • arith-negate-abs.hs
    • arith-negate-abs.out
    • arith.hs
    • arith.out
    • arithficial.hs
    • arithficial.out
    • binarytree.hs
    • binarytree.out
    • binarytree.out1
    • binarytree.out2
    • binarytree.out3
    • binarytree.out4
    • binarytree.out5
    • binarytree.out6
    • binarytree.runtime-zero
    • bool.hs
    • bool.out
    • insertsort.hs
    • insertsort.out
    • list-ineq.hs
    • list.hs
    • list.out
    • plus-abs-ineq.hs
    • plus-abs.hs
    • plus-abs.out
    • regexes.hs
    • regexes.out
    • runtime-zero
    • zip.hs
    • zip.out
• bin/
  • compare-arith
  • compare-arithficial
  • compare-bool
  • compare-with-qs
  • run-heavy-regexes-benchmark
• doc/
  • speculate.svg
• eg/
  • Digraph.hs
  • Regex.hs
  • Set.hs
  • Taut.hs
  • algebraic-graphs.hs
  • arith-negate-abs.hs
  • arith.hs
  • binarytree.hs
  • binarytree0.hs
  • bool.hs
  • colour.hs
  • digraphs.hs
  • fun.hs
  • insertsort.hs
  • insertsort0.hs
  • length.hs
  • list.hs
  • minus.hs
  • monad.hs
  • oddeven.hs
  • plus-abs.hs
  • pretty-compact.hs
  • pretty.hs
  • ratio.hs
  • regexes.hs
  • sets.hs
  • speculate-reason.hs
  • string.hs
  • tauts.hs
  • tuples.hs
  • zip.hs
• 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
  • benchmark
  • benchmark-cmp
  • benchmark-save
  • creason.hs
  • diff
  • engine.hs
  • eval.hs
  • expr.hs
  • memory-benchmark
  • order.hs
  • reason.hs
  • sdist
  • stats.hs
  • update-diff
  • utils.hs
  • Test/
    • ListableExpr.hs
  • model/
    • algebraic-graphs-s4.out
    • algebraic-graphs-s7.out
    • algebraic-graphs.out
    • arith-c-s4.out
    • arith-c.out
    • arith-negate-abs-s4.out
    • arith-negate-abs.out
    • arith-s4.out
    • arith.out
    • arithficial-s4.out
    • arithficial.out
    • binarytree-s4.out
    • binarytree.out
    • binarytree0-s4.out
    • binarytree0.out
    • bool-c-s4.out
    • bool-c.out
    • bool-s4.out
    • bool.out
    • colour-s4.out
    • colour.out
    • digraphs-s4.out
    • digraphs.out
    • fun-s4.out
    • fun.out
    • insertsort-s4.out
    • insertsort.out
    • insertsort0-s4.out
    • insertsort0.out
    • length-s4.out
    • length.out
    • list-c-s4.out
    • list-c.out
    • list-s4.out
    • list.out
    • minus-c-s4.out
    • minus-c.out
    • minus-s4.out
    • minus.out
    • monad-s4.out
    • monad.out
    • nord-s4.out
    • nord.out
    • oddeven-s4.out
    • oddeven.out
    • plus-abs-s4.out
    • plus-abs.out
    • pretty-compact-s4.out
    • pretty-compact.out
    • pretty-s4.out
    • pretty.out
    • ratio-s4.out
    • ratio.out
    • regexes-s4.out
    • regexes.out
    • sets-s4.out
    • sets.out
    • speculate-reason-s4.out
    • speculate-reason.out
    • string-s4.out
    • string.out
    • tauts-s4.out
    • tauts.out
    • trilean-s4.out
    • trilean.out
    • tuples-s4.out
    • tuples.out
    • unit-s4.out
    • unit.out
    • zip-s4.out
    • zip.out