QuickChick/QuickChick issues and pull requests

#292 - ci: Update OCaml version for 8.14 build

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#291 - Adapt w.r.t. coq/coq#16004.

Pull Request - State: closed - Opened by ppedrot over 2 years ago

#290 - Derive ArbitrarySizedSuchThat failure

Issue - State: open - Opened by liyishuai over 2 years ago
Labels: part:derive

#289 - Disable native compiler

Pull Request - State: closed - Opened by liyishuai over 2 years ago - 8 comments

#288 - [coq] Use findlib name in DECLARE PLUGIN

Pull Request - State: closed - Opened by ejgallego over 2 years ago - 1 comment

#287 - Dune-based builds fail with 'I cannot find the root of the current workspace/project'

Issue - State: closed - Opened by anton-trunov over 2 years ago - 8 comments
Labels: bug

#286 - Derive for inductive types with non-type parameters

Issue - State: open - Opened by annenkov over 2 years ago - 1 comment
Labels: enhancement, part:derive

#285 - Derive fails for records and variants

Issue - State: open - Opened by annenkov over 2 years ago - 1 comment
Labels: duplicate, part:derive

#284 - add analysis component

Pull Request - State: closed - Opened by alpaylan over 2 years ago - 2 comments

#283 - Add -use-ocamlfind flag to ocamlbuild

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#282 - Do we need ocamlbuild?

Issue - State: open - Opened by Lysxia over 2 years ago
Labels: enhancement, question

#281 - ci: add latest (now 8.15), update images

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#280 - Release 1.6.2

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#279 - Windows: Pass on environment when running quickchick native executable, so that PATH is correct

Pull Request - State: closed - Opened by MSoegtropIMC over 2 years ago

#278 - QuickChick and ocamlbuild for nix

Issue - State: open - Opened by Chobbes over 2 years ago - 3 comments

#277 - FuzzChick status

Issue - State: open - Opened by volodeyka over 2 years ago - 2 comments

#276 - Warn when calling `make` with OCaml/Coq versions different from versions used for `make compat`

Issue - State: open - Opened by Lysxia over 2 years ago
Labels: enhancement, infra

#275 - Release 1.6.1

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#274 - quickChickTool: Fix warning

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#273 - dune: Fix package name to coq-quickchick

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 1 comment

#272 - Add CI for Windows

Issue - State: open - Opened by Lysxia over 2 years ago
Labels: infra

#271 - Mutation test suite does not run on Windows

Issue - State: open - Opened by Lysxia over 2 years ago
Labels: internal

#270 - plugin: Add Windows compatibility

Pull Request - State: closed - Opened by Lysxia over 2 years ago - 2 comments

#269 - Discussion: QuickChick on Windows Coq Platform

Issue - State: open - Opened by MSoegtropIMC over 2 years ago - 25 comments
Labels: bug

#268 - Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 3 comments

#267 - Add instructions on how to use QC with vscoq plugin

Issue - State: open - Opened by anton-trunov over 2 years ago - 2 comments
Labels: question, doc

#266 - ExtractionQC: Use Random.full_int with OCaml 4.13

Pull Request - State: closed - Opened by Lysxia over 2 years ago

#265 - Fatal error: exception Invalid_argument("Random.int") for simple generator

Issue - State: closed - Opened by dhilst over 2 years ago - 4 comments

#264 - Fix for coq PR#13969

Pull Request - State: closed - Opened by mattam82 over 2 years ago - 2 comments

#263 - Extract Coq strings as native OCaml strings, not lists of chars

Issue - State: open - Opened by anton-trunov almost 3 years ago
Labels: enhancement, question

#262 - Double underscore in identifiers is reserved for extraction

Issue - State: open - Opened by anton-trunov almost 3 years ago - 2 comments
Labels: question

#261 - shift/reduce conflict in quickChickTool

Issue - State: open - Opened by Lysxia almost 3 years ago
Labels: bug, enhancement, qctool

#260 - Adapt to coq/coq#15317 (libobject name handling refactoring)

Pull Request - State: closed - Opened by SkySkimmer almost 3 years ago - 1 comment

#259 - It seems QCDune command does not work with quickChick CLI tool

Issue - State: open - Opened by anton-trunov almost 3 years ago - 4 comments
Labels: enhancement, qctool

#258 - More informative messages on unexpected failures

Pull Request - State: closed - Opened by Lysxia almost 3 years ago - 5 comments

#257 - Report compiler errors to the user

Issue - State: closed - Opened by anton-trunov almost 3 years ago - 1 comment
Labels: enhancement

#256 - adapt to coq/coq#15220

Pull Request - State: closed - Opened by gares almost 3 years ago - 1 comment

#255 - Adapt w.r.t. coq/coq#15159.

Pull Request - State: closed - Opened by ppedrot almost 3 years ago - 1 comment

#254 - Decidability: add RelDec instance

Pull Request - State: closed - Opened by liyishuai almost 3 years ago

#253 - ExtractQC: wider range

Pull Request - State: closed - Opened by liyishuai almost 3 years ago - 2 comments
Labels: needs: rebase

#252 - Fix extraction of inefficient Nat arithmetic

Pull Request - State: closed - Opened by Lysxia almost 3 years ago

#251 - QuickChick runs in time quadratic to the number of test cases

Issue - State: closed - Opened by Lysxia almost 3 years ago
Labels: bug

#250 - Add pure splittable random generator

Pull Request - State: open - Opened by Lysxia almost 3 years ago - 4 comments
Labels: needs: rebase

#249 - Add warning headers to cppo files

Pull Request - State: closed - Opened by Lysxia almost 3 years ago

#248 - plugin: Fix log message when calling QuickChickWith

Pull Request - State: closed - Opened by Lysxia almost 3 years ago

#247 - Number of iterations should be an int

Issue - State: open - Opened by Lysxia almost 3 years ago - 3 comments
Labels: enhancement

#246 - Bad error when test artifact raises an exception

Issue - State: closed - Opened by Lysxia almost 3 years ago
Labels: enhancement

#245 - ExtractQC: allow wider range

Pull Request - State: closed - Opened by liyishuai almost 3 years ago
Labels: needs: rebase

#244 - Configurable installation directory

Pull Request - State: closed - Opened by liyishuai almost 3 years ago

#243 - opam: depends on cppo

Pull Request - State: closed - Opened by liyishuai about 3 years ago

#237 - Issues using QuickChick on Windows: does it require perl?

Issue - State: closed - Opened by MSoegtropIMC about 3 years ago - 11 comments
Labels: enhancement, question

#236 - Please create a tag for the upcoming release of Coq 8.14

Issue - State: closed - Opened by MSoegtropIMC about 3 years ago - 5 comments

#235 - Computable true statement with coqprime terms reports error case.

Issue - State: closed - Opened by cmester0 about 3 years ago - 2 comments
Labels: bug

#234 - Adapt to coq/coq#14773 (cast_kind is an enum)

Pull Request - State: closed - Opened by SkySkimmer about 3 years ago - 6 comments

#232 - QuickChick is incompatible with MetaCoq (universe inconsistency)

Issue - State: open - Opened by vblot about 3 years ago
Labels: enhancement

#229 - Derive Arbitrary generator's performance gets (exponentially) worse as more constructors are added to ADT

Issue - State: open - Opened by anton-trunov about 3 years ago - 2 comments
Labels: enhancement

#228 - Different results for `implication` combinator vs `collect` with the same antecedent

Issue - State: open - Opened by anton-trunov about 3 years ago - 1 comment
Labels: bug, enhancement

#227 - Extract Z to big integer

Pull Request - State: closed - Opened by liyishuai over 3 years ago - 2 comments

#224 - IO as generator

Pull Request - State: closed - Opened by liyishuai over 3 years ago - 2 comments

#215 - Refactor using CWarning.with_warn

Issue - State: open - Opened by Lysxia over 3 years ago
Labels: enhancement

#198 - ArbitrarySizedSuchThat with higher-kinded types

Issue - State: open - Opened by lastland over 4 years ago - 2 comments
Labels: bug, part:derive

#155 - Derive Shrink for Variant

Issue - State: open - Opened by liyishuai over 5 years ago
Labels: enhancement, part:derive

#131 - Cannot Derive Aribitrary under Z_scope

Issue - State: closed - Opened by liyishuai almost 6 years ago
Labels: bug, part:derive

#122 - Closing string_scope broke Derive

Issue - State: closed - Opened by Lysxia almost 6 years ago - 1 comment
Labels: part:derive

#109 - Invoke QuickChick on current goal

Issue - State: open - Opened by samuelgruetter almost 6 years ago - 11 comments
Labels: enhancement

#102 - Extract Z to big_int

Issue - State: closed - Opened by liyishuai about 6 years ago - 2 comments
Labels: enhancement

#77 - More reproducibility

Issue - State: open - Opened by Lysxia over 6 years ago - 4 comments
Labels: enhancement

#73 - Combinator library × eager evaluation = bad performance?

Issue - State: open - Opened by Lysxia over 6 years ago - 8 comments
Labels: bug, enhancement

#66 - Derive instance for "complex" inductive type

Issue - State: open - Opened by liyishuai over 6 years ago - 4 comments
Labels: enhancement, question, part:derive

#65 - Derive instance for mutually inductive type

Issue - State: open - Opened by liyishuai over 6 years ago - 3 comments
Labels: question, part:derive

#24 - Audit Axioms

Issue - State: open - Opened by catalin-hritcu over 9 years ago - 4 comments

GitHub / QuickChick/QuickChick issues and pull requests