├── .gitignore ├── LICENSE.md ├── Makefile ├── correctness ├── correctness.ml └── dune ├── dune-project ├── faster-map.opam ├── functions ├── contrib.ml ├── dune ├── existing.ml └── naive.ml ├── generator ├── dune └── generator.ml ├── memory ├── base │ ├── dune │ └── test.ml ├── batteries │ ├── dune │ └── test.ml ├── containers │ ├── dune │ └── test.ml ├── dune ├── functions.ml ├── jbuild.common ├── naive │ ├── dune │ └── test.ml ├── proposed │ ├── dune │ └── test.ml ├── stdlib │ ├── dune │ └── test.ml └── unrolled │ ├── dune │ └── test.ml ├── reporter ├── dune ├── graph.gnuplot └── reporter.ml ├── results ├── core_bench.txt ├── faster_map.ml ├── faster_map.s └── memory.txt └── tester ├── dune └── tester.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | _report/ 3 | .merlin 4 | -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/Makefile -------------------------------------------------------------------------------- /correctness/correctness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/correctness/correctness.ml -------------------------------------------------------------------------------- /correctness/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/correctness/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 1.0) 2 | (name faster-map) 3 | -------------------------------------------------------------------------------- /faster-map.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/faster-map.opam -------------------------------------------------------------------------------- /functions/contrib.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/functions/contrib.ml -------------------------------------------------------------------------------- /functions/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/functions/dune -------------------------------------------------------------------------------- /functions/existing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/functions/existing.ml -------------------------------------------------------------------------------- /functions/naive.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/functions/naive.ml -------------------------------------------------------------------------------- /generator/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name generator) 3 | (flags :standard -w +A)) 4 | -------------------------------------------------------------------------------- /generator/generator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/generator/generator.ml -------------------------------------------------------------------------------- /memory/base/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/base/dune -------------------------------------------------------------------------------- /memory/base/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/base/test.ml -------------------------------------------------------------------------------- /memory/batteries/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/batteries/dune -------------------------------------------------------------------------------- /memory/batteries/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/batteries/test.ml -------------------------------------------------------------------------------- /memory/containers/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/containers/dune -------------------------------------------------------------------------------- /memory/containers/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/containers/test.ml -------------------------------------------------------------------------------- /memory/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/dune -------------------------------------------------------------------------------- /memory/functions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/functions.ml -------------------------------------------------------------------------------- /memory/jbuild.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/jbuild.common -------------------------------------------------------------------------------- /memory/naive/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/naive/dune -------------------------------------------------------------------------------- /memory/naive/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/naive/test.ml -------------------------------------------------------------------------------- /memory/proposed/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/proposed/dune -------------------------------------------------------------------------------- /memory/proposed/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/proposed/test.ml -------------------------------------------------------------------------------- /memory/stdlib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/stdlib/dune -------------------------------------------------------------------------------- /memory/stdlib/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/stdlib/test.ml -------------------------------------------------------------------------------- /memory/unrolled/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/unrolled/dune -------------------------------------------------------------------------------- /memory/unrolled/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/memory/unrolled/test.ml -------------------------------------------------------------------------------- /reporter/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name reporter) 3 | (flags :standard -w +A)) 4 | -------------------------------------------------------------------------------- /reporter/graph.gnuplot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/reporter/graph.gnuplot -------------------------------------------------------------------------------- /reporter/reporter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/reporter/reporter.ml -------------------------------------------------------------------------------- /results/core_bench.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/results/core_bench.txt -------------------------------------------------------------------------------- /results/faster_map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/results/faster_map.ml -------------------------------------------------------------------------------- /results/faster_map.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/results/faster_map.s -------------------------------------------------------------------------------- /results/memory.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/results/memory.txt -------------------------------------------------------------------------------- /tester/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/tester/dune -------------------------------------------------------------------------------- /tester/tester.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/aantron/faster-map/HEAD/tester/tester.ml --------------------------------------------------------------------------------