https://github.com/mit-plv/rewriter
History
Tip revision: 19f344b0a675c0da2c40168e59418991ebe29271 authored by Gaëtan Gilbert on 29 July 2024, 21:55:44 UTC
speedup wf{3,4}_of_wf by factorizing raw matches to definitions (#157)
Tip revision: 19f344b
File Mode Size
.github
etc
src
.gitattributes -rw-r--r-- 32 bytes
.gitignore -rw-r--r-- 3.2 KB
.gitmodules -rw-r--r-- 107 bytes
.mailmap -rw-r--r-- 2.4 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
Makefile -rw-r--r-- 3.5 KB
Makefile.local -rw-r--r-- 194 bytes
Makefile.local-late -rw-r--r-- 649 bytes
Makefile.local.common -rw-r--r-- 2.9 KB
README.md -rw-r--r-- 13.2 KB
_CoqProject.in -rw-r--r-- 7.1 KB
rewriting-extended.md -rw-r--r-- 125.0 KB

README.md

back to top