Directory listing for speculate-0.4.10 source tarball
speculate-0.4.10/
- .gitignore
- LICENSE
- Makefile
- README.md
- Setup.hs
- TODO.md
- speculate.cabal
- stack.yaml
- .github/
- bench/
- arith-c
- arithficial.hs
- bool-c
- list-c
- minus-c
- nord.hs
- runtime-zero
- trilean.hs
- unit.hs
- qs1/
- 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/
- doc/
- 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/
- src/
- 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/
- 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