https://github.com/QuickChick/QuickChick
History
Tip revision: ae0c2bc2a1308a44950c119e527c7d80d5d592e4 authored by Pierre Roux on 06 July 2024, 13:00:52 UTC
Adapt to https://github.com/coq/coq/pull/19310
Tip revision: ae0c2bc
File Mode Size
.circleci
.github
benchmarks
doc
examples
fuzz
plugin
quickChickTool
scripts
sf-experiment
src
test
tutorials
.gitattributes -rw-r--r-- 100 bytes
.gitignore -rw-r--r-- 817 bytes
CHANGELOG.md -rw-r--r-- 7.5 KB
CONTRIBUTING.md -rw-r--r-- 658 bytes
LICENSE -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 3.9 KB
Makefile.coq.local -rw-r--r-- 172 bytes
PROFILING -rw-r--r-- 244 bytes
README.md -rw-r--r-- 4.2 KB
TODOQC.org -rw-r--r-- 3.0 KB
_CoqProject.cppo -rw-r--r-- 1.4 KB
_CoqProject.dune -rw-r--r-- 58 bytes
coq-quickchick.opam -rw-r--r-- 1.2 KB
coq-quickchick.opam.template -rw-r--r-- 154 bytes
dune -rw-r--r-- 59 bytes
dune-project -rw-r--r-- 914 bytes
example.dir-locals.el -rw-r--r-- 182 bytes

README.md

back to top