HEAD | ae0c2bc | Adapt to https://github.com/coq/coq/pull/19310 | 06 July 2024, 13:00:52 UTC |
refs/heads/8.10 | 2ebf945 | Merge branch '8.9' into 8.10 # Conflicts: # src/quickChick.mlg # test/plugin/plugin.v | 27 June 2020, 22:26:44 UTC |
refs/heads/8.12 | 24284a9 | Add QCDerive to disambiguate from Derive from other plugins | 24 November 2020, 14:16:04 UTC |
refs/heads/8.7 | d5907b5 | ci: avoid ambiguity | 28 March 2020, 02:30:00 UTC |
refs/heads/8.8 | 20f6b60 | Merge branch '8.7' into 8.8 # Conflicts: # Dockerfile | 28 March 2020, 02:34:19 UTC |
refs/heads/8.9 | eeefdbd | add gcdn to test suite | 27 June 2020, 21:59:35 UTC |
refs/heads/FuzzChick | 46a4a06 | [Fuzz] Binary Search Fuzz hack | 20 March 2020, 15:51:45 UTC |
refs/heads/ProversDemo | c935a93 | Add Tyche Support | 11 June 2024, 22:14:38 UTC |
refs/heads/Tyche | 1ec5d8b | Tyche Stuff CP | 29 April 2024, 16:16:32 UTC |
refs/heads/benchmarking | f3a1ca7 | Adding option to put mutants in different directories | 11 February 2021, 00:42:06 UTC |
refs/heads/ci-no-update | d2595bf | Revert "ci: Restore opam update" This reverts commit fcf8d253982ffd094845c06050dfa7af7b0cfcd9. | 03 June 2024, 09:35:18 UTC |
refs/heads/coverage | 2d1ecee | also ignore coverage branch | 10 November 2018, 02:29:32 UTC |
refs/heads/dec-derivining | 262afa7 | Update README.md | 31 March 2022, 21:43:50 UTC |
refs/heads/deep-proplang | 0fce174 | Automatically Deepen Properties | 24 June 2024, 03:18:51 UTC |
refs/heads/derive-ShowS | 7bc8dea | Update working branch for deriving ShowS to quickchick-2.0 (#308) * Windows: Pass on environment when running quickchick native executable, so that PATH is correct * ci: add latest (now 8.15), update images * CHANGELOG: Update * changelog: fix links * Add -use-ocamlfind flag to ocamlbuild * Set dune root explicitly * CHANGELOG: Update for 1.6.3 * [coq] Use findlib name in DECLARE PLUGIN After some stronger invariant upstream, the name here has to match the name used in `Declare ML Module` and `DECLARE PLUGIN` Backwards compatible. * Adapt w.r.t. coq/coq#16004. * ci: Update OCaml version for 8.14 build * improved auto goal selection (see coq/#16293) * Adapt examples w.r.t. coq/coq#16004. * Silence some warnings * ci: use stable dependency * CHANGELOG: Update * Adapt w.r.t. coq/coq#16442. * Attribute instance locality explicitly although LiftGenClass is not included in _CoqProject * example ShowS inst * checkpoint * Build with dune * ci: simplify * ci: Simplify more * opam: Condense lines * flushed out ShowS deriver, but need to fill in holes * [builds] connected all the pieces necessary to derive ShowS * minor merge fix Co-authored-by: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com> Co-authored-by: Li-yao Xia <lysxia@gmail.com> Co-authored-by: Yishuai Li <liyishuai@users.noreply.github.com> Co-authored-by: Emilio Jesus Gallego Arias <e+git@x80.org> Co-authored-by: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> Co-authored-by: Andrej Dudenhefner <mrhaandi@gmail.com> Co-authored-by: Yishuai Li <yishuai@upenn.edu> Co-authored-by: Yishuai Li <liyishuai.lys@alibaba-inc.com> | 05 October 2022, 03:14:35 UTC |
refs/heads/err | db18ea3 | Should this work | 10 April 2022, 20:30:51 UTC |
refs/heads/etna | 7728c06 | rebase with master | 15 November 2023, 19:56:38 UTC |
refs/heads/etna-experiment-5.2 | c4c0c9d | Push the test | 31 May 2023, 15:41:45 UTC |
refs/heads/fix-377 | 02901df | umap updates take into account generated names | 10 June 2024, 17:00:24 UTC |
refs/heads/fix-tests | c7badc5 | plugin: Consume stderr again | 13 April 2023, 13:21:22 UTC |
refs/heads/genST | bbf1070 | ArbitrarySizedSuchThat failed | 01 June 2022, 07:58:36 UTC |
refs/heads/master | ae0c2bc | Adapt to https://github.com/coq/coq/pull/19310 | 06 July 2024, 13:00:52 UTC |
refs/heads/modeinfer | 0e82c86 | Added Derive Nullary version of inductives. | 25 June 2024, 05:54:19 UTC |
refs/heads/noshebang | 00e904c | Fix mycppo script for Windows Don't use shebangs, call sh explicitly | 21 August 2024, 09:22:34 UTC |
refs/heads/paper-coq-side | 4e2dc9a | integrate analysis into fuzzChick components | 01 November 2022, 14:17:56 UTC |
refs/heads/pbt-benchmark | 0f24d33 | add polymorphic equality for Z | 04 May 2023, 15:32:51 UTC |
refs/heads/property-language | c39f52f | adapt to coq 8.17 | 28 February 2024, 00:17:57 UTC |
refs/heads/qc2 | 2554284 | Add tests for PRNG | 19 August 2019, 00:15:32 UTC |
refs/heads/qcpp | 8a858d3 | Change QCPreprocess to Dune-inspired syntax `%{inputfile}` and `%{outputfile}` | 20 March 2024, 14:57:48 UTC |
refs/heads/range_Z | ef2013f | Random from Janestreet | 02 November 2021, 23:35:07 UTC |
refs/heads/range_float | 263b8f0 | ExtractQC: allow wider range | 25 October 2021, 04:19:47 UTC |
refs/heads/readme | 3e3ec97 | README: Add Zulip badge | 03 April 2024, 22:27:53 UTC |
refs/heads/reify-properties | 2f28ade | intermediate trials | 19 October 2023, 21:40:28 UTC |
refs/heads/release | 9cf427a | Release version 2.0.3 | 02 April 2024, 14:28:49 UTC |
refs/heads/remove-dockerfile | 5b18fd6 | Remove Dockerfile | 09 March 2023, 06:01:01 UTC |
refs/heads/rewrite | 23f0ce5 | CI: ignore rewrite branch before it's fixed | 26 September 2018, 18:23:50 UTC |
refs/heads/runs | c23aff4 | Progress on -runs switch (Reporting is still not quite accurate -- works fine when testing just one property and when every mutant fails, but the logic is not quite right in other cases.) | 31 October 2018, 15:55:07 UTC |
refs/heads/simple-mutators | fc4a4ce | update output style | 30 September 2022, 00:39:03 UTC |
refs/heads/smallchick | 4e8e78c | Fix derive and other things. | 20 April 2020, 16:27:31 UTC |
refs/heads/smallchick-8.12 | 4619cd6 | Merge branch 'smallchick' into smallchick-8.12 | 26 February 2021, 03:08:57 UTC |
refs/heads/smallchick-8.13 | 72a8b34 | Hack for nix. | 24 May 2022, 19:48:20 UTC |
refs/heads/smallchick-8.15 | 837bc5d | Preserve environment for the test process. This makes sure the PATH is preserved when running tests, for instance. | 01 September 2022, 20:39:49 UTC |
refs/heads/smart-mutators | 1de75a1 | energy0 = 1000.0 | 06 December 2022, 15:36:59 UTC |
refs/heads/splitmix | 5ef1484 | Nits | 14 April 2022, 21:31:06 UTC |
refs/heads/tactic | c66236c | CP | 08 June 2023, 20:18:49 UTC |
refs/heads/update-analysis | 4e2dc9a | integrate analysis into fuzzChick components | 01 November 2022, 14:17:56 UTC |
refs/tags/coq.8.4pl6 | a9e89f1 | Added conjunction for checkers. No proofs about that, doesn't seem easy | 29 May 2016, 23:25:00 UTC |
refs/tags/coq.8.5-legacy | 31eb050 | [coq8.5-legacy] Propagated bindGen' | 12 May 2017, 22:25:39 UTC |
refs/tags/coq.8.6 | 0e41050 | fix continuous integration | 06 April 2018, 19:34:11 UTC |
refs/tags/coq.8.7 | 3a28929 | Added ifc-basic to the main test suite: it uses generation, statistics, derivation and extraction. | 01 November 2017, 18:44:25 UTC |
refs/tags/coq8.5-automation | 0cb60d0 | [coq8.5-automation] Propagated bindGen' | 12 May 2017, 22:28:03 UTC |
refs/tags/first-version | 2b1e6d3 | correctness proof for shrinking | 21 December 2014, 20:57:33 UTC |
refs/tags/itp-2015-final | b73a594 | Merge branch 'master' of github.com:QuickChick/QuickChick | 05 June 2015, 20:10:16 UTC |
refs/tags/popl-ifc-eval | f2b2fc6 | Made DependentTest.v pass weight-aware derivation | 16 October 2017, 19:20:00 UTC |
refs/tags/v1.0.0 | baf3989 | Updated README | 06 April 2018, 17:55:30 UTC |
refs/tags/v1.0.1 | fa250e5 | Minor updates to QuickChickInterface | 04 June 2018, 17:25:42 UTC |
refs/tags/v1.0.2 | de86768 | Merge branch '8.8' of github.com:QuickChick/QuickChick into 8.8 | 22 August 2018, 16:21:39 UTC |
refs/tags/v1.1.0 | 3fc4c96 | Merge branch '8.8' into 8.9 | 12 April 2019, 20:35:42 UTC |
refs/tags/v1.2.0 | 1d00ecf | fix STLC example | 07 December 2019, 23:57:53 UTC |
refs/tags/v1.2.1 | 2641b8b | Touch mli file (#192) fix #191 Co-authored-by: Leonidas Lampropoulos <lemonidas_13@hotmail.com> | 06 April 2020, 23:44:23 UTC |
refs/tags/v1.3.0 | 4ac8889 | set default branch to 8.11 | 18 March 2020, 21:25:44 UTC |
refs/tags/v1.3.1 | 1c86b25 | Touch mli file (#192) fix #191 Co-authored-by: Leonidas Lampropoulos <lemonidas_13@hotmail.com> | 06 April 2020, 23:44:23 UTC |
refs/tags/v1.3.2 | f2f41bb | Merge branch 'ocaml-interop' into 8.11 | 11 July 2020, 22:41:07 UTC |
refs/tags/v1.4.0 | 5f79a9f | add extra-dev repo | 06 August 2020, 21:39:40 UTC |
refs/tags/v1.5.0 | 63aa058 | Adapt to coq/coq#12218 | 10 September 2020, 12:51:20 UTC |
refs/tags/v1.5.1 | e360281 | ci: Coq 8.14 | 23 September 2021, 04:52:10 UTC |
refs/tags/v1.6.0 | e496823 | CHANGELOG: Update | 06 December 2021, 15:52:11 UTC |
refs/tags/v1.6.1 | 53a7ac0 | CHANGELOG: Update | 03 March 2022, 22:23:24 UTC |
refs/tags/v1.6.2 | 91ab082 | CHANGELOG: Update | 08 April 2022, 15:58:25 UTC |
refs/tags/v1.6.3 | fc60277 | CHANGELOG: Update for 1.6.3 | 25 May 2022, 15:41:40 UTC |
refs/tags/v1.6.4 | c920c15 | CHANGELOG: Update | 12 August 2022, 20:09:37 UTC |
refs/tags/v1.6.5 | d6b4a00 | CHANGELOG: Update for 1.6.5 | 13 April 2023, 17:30:11 UTC |
refs/tags/v2.0 | 9b9207f | Remove _CoqProject | 17 April 2023, 08:46:35 UTC |
refs/tags/v2.0.1 | 18282ac | Add 8.18 to ci | 08 October 2023, 16:39:17 UTC |
refs/tags/v2.0.2 | 235f6f2 | Adapt to coq-community/coq-ext-lib#136 | 04 January 2024, 08:02:33 UTC |
refs/tags/v2.0.3 | 02edbc9 | Release version 2.0.3 | 02 April 2024, 14:28:49 UTC |