.depend
dsss17/full
dsss17/sol
dsss17/terse
.depend
*.cmo
*.cmi
*.cmx
*.cmxa
*.cmxs
*.cmt
*.cmti
*.hi
*.o
*.v.d
*.mlg.d
*.ml.d
*.glob
*.vo
*.vok
*.vos
*.aux
*.a
*.annot
.coq-native
\#*
*~
*.bak
*.d
Makefile.coq
Makefile.coq.conf
plugin/META.coq-quickchick
*.out
*.so
*.opt
*.byte
_qc_*.tmp
.DS_Store
_build/
.merlin
*.install
quickChickTool.byte
plugin/depDriver.ml
plugin/genericLib.ml
plugin/driver.ml
plugin/driver.mlg
plugin/quickChick.ml
plugin/quickChick.mlg
plugin/tactic_quickchick.ml
plugin/tactic_quickchick.mlg
plugin/weightmap.ml
plugin/weightmap.mlg
src/ExtractionQC.v
*.pyc
__pycache__
.nfs*
.lia.cache
plugin/compat.ml
src/ExtractionQCCompat.v
src/QuickChick.v
_CoqProject
