├── .gitignore ├── LICENSE ├── README.md ├── bench.kk ├── graph ├── bench.tex ├── graph-defs.tex └── graph.tex └── src ├── counter.base.ml ├── counter.ev.hs ├── counter.hia.hs ├── counter.kk ├── counter.lh.c ├── counter.lmp.c ├── counter.ml ├── counter.mp.hs ├── counter.nt.ev.hs ├── counter.nt.kk ├── counter.nt.lh.c ├── counter.nt.lmp.c ├── counter.nt.mp.hs ├── counter1.base.ml ├── counter1.ev.hs ├── counter1.hia.hs ├── counter1.kk ├── counter1.lh.c ├── counter1.lmp.c ├── counter1.ml ├── counter1.mp.hs ├── counter1.nt.ev.hs ├── counter1.nt.kk ├── counter1.nt.lh.c ├── counter1.nt.lmp.c ├── counter1.nt.mp.hs ├── counter10.base.ml ├── counter10.ev.hs ├── counter10.hia.hs ├── counter10.kk ├── counter10.lh.c ├── counter10.lmp.c ├── counter10.ml ├── counter10.mp.hs ├── counter10.nt.ev.hs ├── counter10.nt.kk ├── counter10.nt.lh.c ├── counter10.nt.lmp.c ├── counter10.nt.mp.hs ├── mstate.base.ml ├── mstate.ev.hs ├── mstate.hia.hs ├── mstate.kk ├── mstate.lh.c ├── mstate.lmp.c ├── mstate.ml ├── mstate.mp.hs ├── mstate.nt.lmp.c ├── nqueens.base.ml ├── nqueens.ev.hs ├── nqueens.hia.hs ├── nqueens.kk ├── nqueens.lh.c ├── nqueens.lmp.c ├── nqueens.ml ├── nqueens.mp.hs └── nqueens.nt.lmp.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/README.md -------------------------------------------------------------------------------- /bench.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/bench.kk -------------------------------------------------------------------------------- /graph/bench.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/graph/bench.tex -------------------------------------------------------------------------------- /graph/graph-defs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/graph/graph-defs.tex -------------------------------------------------------------------------------- /graph/graph.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/graph/graph.tex -------------------------------------------------------------------------------- /src/counter.base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.base.ml -------------------------------------------------------------------------------- /src/counter.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.ev.hs -------------------------------------------------------------------------------- /src/counter.hia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.hia.hs -------------------------------------------------------------------------------- /src/counter.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.kk -------------------------------------------------------------------------------- /src/counter.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.lh.c -------------------------------------------------------------------------------- /src/counter.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.lmp.c -------------------------------------------------------------------------------- /src/counter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.ml -------------------------------------------------------------------------------- /src/counter.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.mp.hs -------------------------------------------------------------------------------- /src/counter.nt.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.nt.ev.hs -------------------------------------------------------------------------------- /src/counter.nt.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.nt.kk -------------------------------------------------------------------------------- /src/counter.nt.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.nt.lh.c -------------------------------------------------------------------------------- /src/counter.nt.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.nt.lmp.c -------------------------------------------------------------------------------- /src/counter.nt.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter.nt.mp.hs -------------------------------------------------------------------------------- /src/counter1.base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.base.ml -------------------------------------------------------------------------------- /src/counter1.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.ev.hs -------------------------------------------------------------------------------- /src/counter1.hia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.hia.hs -------------------------------------------------------------------------------- /src/counter1.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.kk -------------------------------------------------------------------------------- /src/counter1.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.lh.c -------------------------------------------------------------------------------- /src/counter1.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.lmp.c -------------------------------------------------------------------------------- /src/counter1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.ml -------------------------------------------------------------------------------- /src/counter1.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.mp.hs -------------------------------------------------------------------------------- /src/counter1.nt.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.nt.ev.hs -------------------------------------------------------------------------------- /src/counter1.nt.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.nt.kk -------------------------------------------------------------------------------- /src/counter1.nt.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.nt.lh.c -------------------------------------------------------------------------------- /src/counter1.nt.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.nt.lmp.c -------------------------------------------------------------------------------- /src/counter1.nt.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter1.nt.mp.hs -------------------------------------------------------------------------------- /src/counter10.base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.base.ml -------------------------------------------------------------------------------- /src/counter10.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.ev.hs -------------------------------------------------------------------------------- /src/counter10.hia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.hia.hs -------------------------------------------------------------------------------- /src/counter10.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.kk -------------------------------------------------------------------------------- /src/counter10.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.lh.c -------------------------------------------------------------------------------- /src/counter10.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.lmp.c -------------------------------------------------------------------------------- /src/counter10.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.ml -------------------------------------------------------------------------------- /src/counter10.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.mp.hs -------------------------------------------------------------------------------- /src/counter10.nt.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.nt.ev.hs -------------------------------------------------------------------------------- /src/counter10.nt.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.nt.kk -------------------------------------------------------------------------------- /src/counter10.nt.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.nt.lh.c -------------------------------------------------------------------------------- /src/counter10.nt.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.nt.lmp.c -------------------------------------------------------------------------------- /src/counter10.nt.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/counter10.nt.mp.hs -------------------------------------------------------------------------------- /src/mstate.base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.base.ml -------------------------------------------------------------------------------- /src/mstate.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.ev.hs -------------------------------------------------------------------------------- /src/mstate.hia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.hia.hs -------------------------------------------------------------------------------- /src/mstate.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.kk -------------------------------------------------------------------------------- /src/mstate.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.lh.c -------------------------------------------------------------------------------- /src/mstate.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.lmp.c -------------------------------------------------------------------------------- /src/mstate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.ml -------------------------------------------------------------------------------- /src/mstate.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/mstate.mp.hs -------------------------------------------------------------------------------- /src/mstate.nt.lmp.c: -------------------------------------------------------------------------------- 1 | #include "mstate.lmp.c" -------------------------------------------------------------------------------- /src/nqueens.base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.base.ml -------------------------------------------------------------------------------- /src/nqueens.ev.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.ev.hs -------------------------------------------------------------------------------- /src/nqueens.hia.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.hia.hs -------------------------------------------------------------------------------- /src/nqueens.kk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.kk -------------------------------------------------------------------------------- /src/nqueens.lh.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.lh.c -------------------------------------------------------------------------------- /src/nqueens.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.lmp.c -------------------------------------------------------------------------------- /src/nqueens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.ml -------------------------------------------------------------------------------- /src/nqueens.mp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.mp.hs -------------------------------------------------------------------------------- /src/nqueens.nt.lmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daanx/effect-bench/HEAD/src/nqueens.nt.lmp.c --------------------------------------------------------------------------------