https://github.com/QuickChick/QuickChick
Revision 4e8e78cab8d1a3a477febeaebf421c3fccae73fa authored by Calvin Beck on 20 April 2020, 16:27:31 UTC, committed by Calvin Beck on 20 April 2020, 16:27:31 UTC
1 parent d6486a4
Tip revision: 4e8e78cab8d1a3a477febeaebf421c3fccae73fa authored by Calvin Beck on 20 April 2020, 16:27:31 UTC
Fix derive and other things.
Fix derive and other things.
Tip revision: 4e8e78c
_CoqProject
-R src QuickChick
-I src
src/Tactics.v
src/Sets.v
src/Nat_util.v
src/RandomQC.v
src/EnumerationQC.v
src/RoseTrees.v
src/LazyList.v
src/GenLowInterface.v
src/GenLow.v
src/GenHighInterface.v
src/GenHighImpl.v
src/GenHigh.v
src/Classes.v
src/Instances.v
src/StringOT.v
src/Show.v
src/ShowFacts.v
src/State.v
src/Checker.v
src/SemChecker.v
src/Test.v
src/ExtractionQC.v
src/Mutation.v
src/tactic_quickchick.mlg
src/quickchick_plugin.mlpack
src/QuickChick.v
src/MutateCheck.v
src/genericLib.ml
src/genericLib.mli
src/error.ml
src/quickChick.mlg
src/driver.mlg
src/simplDriver.ml
src/depDriver.ml
src/setLib.ml
src/semLib.ml
src/coqLib.ml
src/weightmap.mlg
src/arbitrarySized.ml
src/arbitrarySizedST.ml
src/checkerSizedST.ml
src/Decidability.v
src/genLib.ml
src/unifyQC.ml
src/sizeUtils.ml
src/sized.ml
src/sizeMon.ml
src/sizeSMon.ml
src/sizeCorr.ml
src/sizedProofs.ml
Computing file changes ...
