https://github.com/QuickChick/QuickChick
History
Tip revision: 8f3f3a41ea41a16f59f24a283c3b461b93c4ae65 authored by Li-yao Xia on 15 March 2023, 14:32:48 UTC
Restore compatibility with Coq dev
Tip revision: 8f3f3a4
File Mode Size
.circleci
.github
benchmarks
examples
fuzz
plugin
quickChickTool
scripts
sf-experiment
src
test
tutorials
.gitattributes -rw-r--r-- 100 bytes
.gitignore -rw-r--r-- 688 bytes
CHANGELOG.md -rw-r--r-- 5.3 KB
CONTRIBUTING.md -rw-r--r-- 658 bytes
DocumentationCheck.v -rw-r--r-- 7.7 KB
LICENSE -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 3.7 KB
Makefile.coq.local -rw-r--r-- 189 bytes
PROFILING -rw-r--r-- 244 bytes
QuickChickInterface.v -rw-r--r-- 31.3 KB
README.md -rw-r--r-- 3.7 KB
TODOQC.org -rw-r--r-- 3.0 KB
_CoqProject -rw-r--r-- 1.4 KB
_CoqProject.cppo -rw-r--r-- 1.4 KB
coq-quickchick.opam -rw-r--r-- 1.2 KB
coq-quickchick.opam.template -rw-r--r-- 148 bytes
dune-project -rw-r--r-- 913 bytes
example.dir-locals.el -rw-r--r-- 182 bytes
output -rw-r--r-- 58.5 KB

README.md

back to top