https://github.com/MevenBertrand/metacoq
Revision 87a6baf3df40bbbc223226f1501e1985d3c24864 authored by Théo Winterhalter on 19 September 2019, 22:58:37 UTC, committed by GitHub on 19 September 2019, 22:58:37 UTC
Unfold constants more in safe conversion
2 parent s c502a6a + 758f11a
History
Tip revision: 87a6baf3df40bbbc223226f1501e1985d3c24864 authored by Théo Winterhalter on 19 September 2019, 22:58:37 UTC
Merge pull request #291 from MetaCoq/conversion-unfold
Tip revision: 87a6baf
File Mode Size
checker
erasure
html
pcuic
safechecker
template-coq
test-suite
translations
.gitignore -rw-r--r-- 8.8 KB
.travis.yml -rw-r--r-- 1.1 KB
LICENSE -rw-r--r-- 1.2 KB
Makefile -rw-r--r-- 1.6 KB
README.md -rw-r--r-- 10.5 KB
configure.sh -rwxr-xr-x 2.3 KB
coq-metacoq-checker.opam -rw-r--r-- 1.5 KB
coq-metacoq-erasure.opam -rw-r--r-- 1.6 KB
coq-metacoq-pcuic.opam -rw-r--r-- 1.5 KB
coq-metacoq-safechecker.opam -rw-r--r-- 1.5 KB
coq-metacoq-template.opam -rw-r--r-- 1.7 KB
coq-metacoq.opam -rw-r--r-- 1.2 KB

README.md

back to top