https://github.com/MevenBertrand/metacoq
History
Tip revision: 2d631dcd91d2315e5a52fea0fdc27e59c30abd57 authored by Meven on 03 February 2021, 23:41:40 UTC
adapting the README
Tip revision: 2d631dc
File Mode Size
gen-src
src
theories
.gitignore -rw-r--r-- 36 bytes
META.template-coq -rw-r--r-- 236 bytes
Makefile -rw-r--r-- 1.8 KB
Makefile.coq.local -rw-r--r-- 31 bytes
Makefile.plugin.local -rw-r--r-- 396 bytes
Makefile.template.local -rw-r--r-- 0 bytes
_CoqProject -rw-r--r-- 1.3 KB
_PluginProject -rw-r--r-- 3.5 KB
_TemplateCoqProject -rw-r--r-- 434 bytes
extraction.patch -rw-r--r-- 396 bytes
specFloat.patch -rw-r--r-- 240 bytes
update_plugin.sh -rwxr-xr-x 885 bytes

back to top