etc | | |
src | | |
.gitignore | -rw-r--r-- | 2.3 KB |
.gitmodules | -rw-r--r-- | 198 bytes |
.mailmap | -rw-r--r-- | 2.3 KB |
.travis.yml | -rw-r--r-- | 1.7 KB |
AUTHORS | -rw-r--r-- | 503 bytes |
CONTRIBUTORS | -rw-r--r-- | 1.0 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 4.3 KB |
Makefile.local-late | -rw-r--r-- | 610 bytes |
Makefile.local.common | -rw-r--r-- | 2.1 KB |
Makefile.perf | -rw-r--r-- | 1.7 KB |
README.md | -rw-r--r-- | 11.9 KB |
_CoqProject.in | -rw-r--r-- | 4.6 KB |
perf-LiftLetsMap-Rewrite-for.txt | -rw-r--r-- | 138.1 KB |
perf-LiftLetsMap-cps+vm-compute.txt | -rw-r--r-- | 234.6 KB |
perf-LiftLetsMap-rewrite-strat(bottomup,bottomup).txt | -rw-r--r-- | 356 bytes |
perf-LiftLetsMap-rewrite-strat(topdown,bottomup).txt | -rw-r--r-- | 356 bytes |
perf-LiftLetsMap-rewriting-(vm-only).txt | -rw-r--r-- | 238.8 KB |
perf-LiftLetsMap-rewriting.txt | -rw-r--r-- | 239.0 KB |
perf-LiftLetsMap-setoid-rewrite.txt | -rw-r--r-- | 489 bytes |
perf-LiftLetsMap.csv | -rw-r--r-- | 789.6 KB |
perf-Plus0Tree+29-Rewrite-for.txt | -rw-r--r-- | 107.7 KB |
perf-Plus0Tree+29-cbv;rewrite!.txt | -rw-r--r-- | 15.7 KB |
perf-Plus0Tree+29-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 4.8 KB |
perf-Plus0Tree+29-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 12.0 KB |
perf-Plus0Tree+29-cbv;setoid-rewrite.txt | -rw-r--r-- | 7.9 KB |
perf-Plus0Tree+29-rewriting-(vm-only).txt | -rw-r--r-- | 107.8 KB |
perf-Plus0Tree+29-rewriting.txt | -rw-r--r-- | 107.6 KB |
perf-Plus0Tree-Rewrite-for.txt | -rw-r--r-- | 107.1 KB |
perf-Plus0Tree-cbv;rewrite!.txt | -rw-r--r-- | 15.4 KB |
perf-Plus0Tree-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 4.7 KB |
perf-Plus0Tree-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 11.8 KB |
perf-Plus0Tree-cbv;setoid-rewrite.txt | -rw-r--r-- | 7.7 KB |
perf-Plus0Tree-only-m-1-Rewrite-for.txt | -rw-r--r-- | 134 bytes |
perf-Plus0Tree-only-m-1-cbv;rewrite!.txt | -rw-r--r-- | 117 bytes |
perf-Plus0Tree-only-m-1-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 78 bytes |
perf-Plus0Tree-only-m-1-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 89 bytes |
perf-Plus0Tree-only-m-1-cbv;setoid-rewrite.txt | -rw-r--r-- | 87 bytes |
perf-Plus0Tree-only-m-1-rewriting-(vm-only).txt | -rw-r--r-- | 133 bytes |
perf-Plus0Tree-only-m-1-rewriting.txt | -rw-r--r-- | 131 bytes |
perf-Plus0Tree-only-m-2-Rewrite-for.txt | -rw-r--r-- | 133 bytes |
perf-Plus0Tree-only-m-2-cbv;rewrite!.txt | -rw-r--r-- | 121 bytes |
perf-Plus0Tree-only-m-2-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 69 bytes |
perf-Plus0Tree-only-m-2-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 91 bytes |
perf-Plus0Tree-only-m-2-cbv;setoid-rewrite.txt | -rw-r--r-- | 90 bytes |
perf-Plus0Tree-only-m-2-rewriting-(vm-only).txt | -rw-r--r-- | 133 bytes |
perf-Plus0Tree-only-m-2-rewriting.txt | -rw-r--r-- | 132 bytes |
perf-Plus0Tree-only-m-3-Rewrite-for.txt | -rw-r--r-- | 136 bytes |
perf-Plus0Tree-only-m-3-cbv;rewrite!.txt | -rw-r--r-- | 127 bytes |
perf-Plus0Tree-only-m-3-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 64 bytes |
perf-Plus0Tree-only-m-3-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 80 bytes |
perf-Plus0Tree-only-m-3-cbv;setoid-rewrite.txt | -rw-r--r-- | 81 bytes |
perf-Plus0Tree-only-m-3-rewriting-(vm-only).txt | -rw-r--r-- | 129 bytes |
perf-Plus0Tree-only-m-3-rewriting.txt | -rw-r--r-- | 135 bytes |
perf-Plus0Tree-only-n-1-Rewrite-for.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-1-cbv;rewrite!.txt | -rw-r--r-- | 5.7 KB |
perf-Plus0Tree-only-n-1-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 2.4 KB |
perf-Plus0Tree-only-n-1-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 5.2 KB |
perf-Plus0Tree-only-n-1-cbv;setoid-rewrite.txt | -rw-r--r-- | 3.6 KB |
perf-Plus0Tree-only-n-1-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-1-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-2-Rewrite-for.txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-2-cbv;rewrite!.txt | -rw-r--r-- | 3.2 KB |
perf-Plus0Tree-only-n-2-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 979 bytes |
perf-Plus0Tree-only-n-2-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 2.5 KB |
perf-Plus0Tree-only-n-2-cbv;setoid-rewrite.txt | -rw-r--r-- | 1.6 KB |
perf-Plus0Tree-only-n-2-rewriting-(vm-only).txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-2-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-3-Rewrite-for.txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-3-cbv;rewrite!.txt | -rw-r--r-- | 1.8 KB |
perf-Plus0Tree-only-n-3-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 538 bytes |
perf-Plus0Tree-only-n-3-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 1.3 KB |
perf-Plus0Tree-only-n-3-cbv;setoid-rewrite.txt | -rw-r--r-- | 842 bytes |
perf-Plus0Tree-only-n-3-rewriting-(vm-only).txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-3-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-4-Rewrite-for.txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-4-cbv;rewrite!.txt | -rw-r--r-- | 1.2 KB |
perf-Plus0Tree-only-n-4-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 264 bytes |
perf-Plus0Tree-only-n-4-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 694 bytes |
perf-Plus0Tree-only-n-4-cbv;setoid-rewrite.txt | -rw-r--r-- | 343 bytes |
perf-Plus0Tree-only-n-4-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-4-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-5-Rewrite-for.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-5-cbv;rewrite!.txt | -rw-r--r-- | 437 bytes |
perf-Plus0Tree-only-n-5-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 89 bytes |
perf-Plus0Tree-only-n-5-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 438 bytes |
perf-Plus0Tree-only-n-5-cbv;setoid-rewrite.txt | -rw-r--r-- | 260 bytes |
perf-Plus0Tree-only-n-5-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-5-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-6-Rewrite-for.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-6-cbv;rewrite!.txt | -rw-r--r-- | 344 bytes |
perf-Plus0Tree-only-n-6-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 38 bytes |
perf-Plus0Tree-only-n-6-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 213 bytes |
perf-Plus0Tree-only-n-6-cbv;setoid-rewrite.txt | -rw-r--r-- | 119 bytes |
perf-Plus0Tree-only-n-6-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-6-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-7-Rewrite-for.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-7-cbv;rewrite!.txt | -rw-r--r-- | 353 bytes |
perf-Plus0Tree-only-n-7-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 23 bytes |
perf-Plus0Tree-only-n-7-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 125 bytes |
perf-Plus0Tree-only-n-7-cbv;setoid-rewrite.txt | -rw-r--r-- | 79 bytes |
perf-Plus0Tree-only-n-7-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-7-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-8-Rewrite-for.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-8-cbv;rewrite!.txt | -rw-r--r-- | 358 bytes |
perf-Plus0Tree-only-n-8-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 22 bytes |
perf-Plus0Tree-only-n-8-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 101 bytes |
perf-Plus0Tree-only-n-8-cbv;setoid-rewrite.txt | -rw-r--r-- | 86 bytes |
perf-Plus0Tree-only-n-8-rewriting-(vm-only).txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-only-n-8-rewriting.txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-9-Rewrite-for.txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-9-cbv;rewrite!.txt | -rw-r--r-- | 373 bytes |
perf-Plus0Tree-only-n-9-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 15 bytes |
perf-Plus0Tree-only-n-9-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 106 bytes |
perf-Plus0Tree-only-n-9-cbv;setoid-rewrite.txt | -rw-r--r-- | 88 bytes |
perf-Plus0Tree-only-n-9-rewriting-(vm-only).txt | -rw-r--r-- | 9.6 KB |
perf-Plus0Tree-only-n-9-rewriting.txt | -rw-r--r-- | 9.5 KB |
perf-Plus0Tree-rewriting-(vm-only).txt | -rw-r--r-- | 107.2 KB |
perf-Plus0Tree-rewriting.txt | -rw-r--r-- | 107.0 KB |
perf-Plus0Tree.csv | -rw-r--r-- | 377.5 KB |
perf-SieveOfEratosthenes-Rewrite-for.txt | -rw-r--r-- | 26.0 KB |
perf-SieveOfEratosthenes-cbn.txt | -rw-r--r-- | 717 bytes |
perf-SieveOfEratosthenes-cbv.txt | -rw-r--r-- | 25.9 KB |
perf-SieveOfEratosthenes-lazy.txt | -rw-r--r-- | 26.6 KB |
perf-SieveOfEratosthenes-native(1)(real).txt | -rw-r--r-- | 26.0 KB |
perf-SieveOfEratosthenes-native(2)(real).txt | -rw-r--r-- | 26.1 KB |
perf-SieveOfEratosthenes-rewriting-(vm-only).txt | -rw-r--r-- | 26.0 KB |
perf-SieveOfEratosthenes-rewriting.txt | -rw-r--r-- | 26.0 KB |
perf-SieveOfEratosthenes-simpl.txt | -rw-r--r-- | 716 bytes |
perf-SieveOfEratosthenes-vm-compute.txt | -rw-r--r-- | 25.7 KB |
perf-SieveOfEratosthenes.csv | -rw-r--r-- | 132.5 KB |
perf-UnderLetsPlus0-Rewrite-for.txt | -rw-r--r-- | 52.1 KB |
perf-UnderLetsPlus0-cbv;rewrite-strat(bottomup).txt | -rw-r--r-- | 827 bytes |
perf-UnderLetsPlus0-cbv;rewrite-strat(topdown).txt | -rw-r--r-- | 829 bytes |
perf-UnderLetsPlus0-cbv;setoid-rewrite.txt | -rw-r--r-- | 3.6 KB |
perf-UnderLetsPlus0-rewriting-(vm-only).txt | -rw-r--r-- | 51.9 KB |
perf-UnderLetsPlus0-rewriting.txt | -rw-r--r-- | 52.0 KB |
perf-UnderLetsPlus0.csv | -rw-r--r-- | 127.0 KB |
perf.csv | -rw-r--r-- | 12.5 MB |