nixpkgs / coqPackages.QuickChick - Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck

Homepage - https://github.com/QuickChick/QuickChick

Maintainers - John Wiegley

Releases

1.5.0 (expand/collapse)

From commit 02c142a2 to 00460bd6

1.3.2 (expand/collapse)

From commit 074ef76e to 074ef76e

1.5.0 (expand/collapse)

From commit 04855119 to 07557e3b

1.3.2 (expand/collapse)

From commit 065a8102 to 065a8102

1.5.0 (expand/collapse)

From commit 044053e2 to 04de1306

1.3.2 (expand/collapse)

From commit 03582eb6 to 03582eb6

1.5.0 (expand/collapse)

From commit 035434d8 to 062e1e59

1.3.2 (expand/collapse)

From commit 03c09257 to 03c09257

1.5.0 (expand/collapse)

From commit 037e5170 to 075953b7

1.3.2 (expand/collapse)

From commit 05065605 to 05065605

1.5.0 (expand/collapse)

From commit 0391ca2b to 01dc2d9c

1.3.2 (expand/collapse)

From commit 074b608d to 074b608d

1.5.0 (expand/collapse)

From commit 0326ec60 to 07e4cbde

1.3.2 (expand/collapse)

From commit 0432a816 to 0432a816

1.5.0 (expand/collapse)

From commit 07d9edea to 03108183

1.3.2 (expand/collapse)

From commit 07bb1100 to 07bb1100

1.5.0 (expand/collapse)

From commit 04af4657 to 060286eb

1.3.2 (expand/collapse)

From commit 06749ba3 to 021813a4

1.1.0 (expand/collapse)

From commit 05fe6112 to 05fe6112

1.3.2 (expand/collapse)

From commit 015c5a2b to 0096eb92

1.1.0 (expand/collapse)

From commit 00347e95 to 00347e95

1.3.2 (expand/collapse)

From commit 063c756b to 00946dc2

1.1.0 (expand/collapse)

From commit 00d8c11a to 00d8c11a

1.3.2 (expand/collapse)

From commit 0620184f to 03197f94

1.1.0 (expand/collapse)

From commit 02626990 to 02626990

1.3.2 (expand/collapse)

From commit 049c0c52 to 02ee8250

1.1.0 (expand/collapse)

From commit 0218f30a to 016dad9d

20190311 (expand/collapse)

From commit 0767de3d to 0767de3d

1.1.0 (expand/collapse)

From commit 05ee2af7 to 00610756

20190311 (expand/collapse)

From commit 04a0b11c to 04a0b11c

1.1.0 (expand/collapse)

From commit 01efdec3 to 050646af

20190311 (expand/collapse)

From commit 05de8873 to 05de8873

1.1.0 (expand/collapse)

From commit 05c54717 to 076f9d88

20190311 (expand/collapse)

From commit 03725673 to 03725673

1.1.0 (expand/collapse)

From commit 034eb3b3 to 034f3223

20190311 (expand/collapse)

From commit 038fbf01 to 061b6548

1.1.0 (expand/collapse)

From commit 0511b88c to 0511b88c

20190311 (expand/collapse)

From commit 04cc8385 to 05288165

1.0.2 (expand/collapse)

From commit 0045164b to 0045164b

20190311 (expand/collapse)

From commit 078de9ce to 06fad89b

1.0.2 (expand/collapse)

From commit 02f62753 to 02f62753

20190311 (expand/collapse)

From commit 03050e97 to 03539679

1.0.2 (expand/collapse)

From commit 077a5cfe to 061f6562

8.4-20150605-b73a594 (expand/collapse)

From commit 03730319 to 03f2888b

8.4-21f50a02 (expand/collapse)

From commit 024b0414 to 024b0414

8.4-20150605-b73a594 (expand/collapse)

From commit 019a23db to 0635ec3b

8.4-21f50a02 (expand/collapse)

From commit 073d4102 to 00137438