Directory listing for speculate-0.4.2 source tarball
speculate-0.4.2/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
- tuples-s4.out
- tuples.out
- unit-s4.out
- unit.out
- zip-s4.out
- zip.out