https://github.com/mit-plv/rewriter
Revision 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC, committed by Jason Gross on 17 July 2021, 00:48:00 UTC
This reverts commit a9972c000bda4d8606fe572556d4256614e5f8f7.
1 parent a9972c0
History
Tip revision: 1787ab401a7e71afc9937010e2e155e4b1594ab5 authored by Jason Gross on 17 July 2021, 00:48:00 UTC
Revert "Remake perf files without {Slow,VerySlow}"
Tip revision: 1787ab4
File Mode Size
.github
etc
src
.gitattributes -rw-r--r-- 32 bytes
.gitignore -rw-r--r-- 2.9 KB
.gitmodules -rw-r--r-- 107 bytes
.mailmap -rw-r--r-- 2.3 KB
AUTHORS -rw-r--r-- 503 bytes
CONTRIBUTORS -rw-r--r-- 1.0 KB
COPYRIGHT -rw-r--r-- 370 bytes
LICENSE-APACHE -rw-r--r-- 635 bytes
LICENSE-BSD-1 -rw-r--r-- 1.1 KB
LICENSE-MIT -rw-r--r-- 1.1 KB
LiftLetsMap.txt -rw-r--r-- 7.2 MB
Makefile -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 288 bytes
Makefile.local-late -rw-r--r-- 610 bytes
Makefile.local.common -rw-r--r-- 2.4 KB
Plus0Tree.txt -rw-r--r-- 3.7 MB
README.md -rw-r--r-- 12.4 KB
SieveOfEratosthenes.txt -rw-r--r-- 1.4 MB
UnderLetsPlus0.txt -rw-r--r-- 1.4 MB
_CoqProject.in -rw-r--r-- 5.1 KB
perf.csv -rw-r--r-- 17.0 MB
rewriting-extended.md -rw-r--r-- 125.0 KB
time-of-build-perf.log -rw-r--r-- 37.0 KB

README.md

back to top