Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / QuickChick/QuickChick issues and pull requests

#392 - Cygwin broken build

Issue - State: open - Opened by Lysxia 11 days ago
Labels: infra

#391 - Publish release compatible with Coq 8.20

Issue - State: closed - Opened by SnarkBoojum 12 days ago - 3 comments

#390 - ci: Coq 8.20

Pull Request - State: closed - Opened by liyishuai 12 days ago

#389 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: open - Opened by proux01 13 days ago - 2 comments

#388 - Change Derive vernacular identifier

Pull Request - State: closed - Opened by 4ever2 16 days ago - 9 comments

#387 - Fix mycppo script for Windows

Pull Request - State: closed - Opened by Lysxia about 1 month ago - 8 comments

#385 - Fix make build

Pull Request - State: closed - Opened by 4ever2 3 months ago

#384 - Adapt to https://github.com/coq/coq/pull/19310

Pull Request - State: closed - Opened by proux01 3 months ago - 4 comments

#383 - Adapt to https://github.com/coq/coq/pull/19310

Pull Request - State: closed - Opened by proux01 3 months ago - 3 comments

#382 - Re-enable warning 9 (Missing fields in a record pattern)

Pull Request - State: closed - Opened by Lysxia 3 months ago

#381 - Fix derive singleton ctrs

Pull Request - State: closed - Opened by lemonidas 3 months ago

#380 - Move QuickChick's printing from info to notice

Pull Request - State: closed - Opened by lemonidas 3 months ago

#379 - Add support for deriving simple instances for mutually inductive types.

Pull Request - State: open - Opened by lweqx 4 months ago - 1 comment

#378 - Adapt to Coq PR #19075: make CSet extensible

Pull Request - State: closed - Opened by herbelin 4 months ago - 1 comment

#377 - Deriving fails when reusing a bound variable

Issue - State: closed - Opened by lweqx 4 months ago - 5 comments
Labels: part:derive

#376 - Drop support for Coq < 8.15

Pull Request - State: closed - Opened by liyishuai 4 months ago

#375 - Why are multiple Coq versions supported?

Issue - State: closed - Opened by lweqx 4 months ago - 1 comment

#374 - Adapt to coq/coq#18973.

Pull Request - State: closed - Opened by rlepigre 4 months ago - 1 comment

#372 - `forAllShrinkNonDet` acts no different than `forAllShrink`

Issue - State: open - Opened by lweqx 4 months ago - 2 comments

#371 - Revert "ci: Restore opam update"

Pull Request - State: closed - Opened by liyishuai 4 months ago - 1 comment

#369 - `Sample` fails within a module definition

Issue - State: open - Opened by ksk 5 months ago - 1 comment
Labels: bug

#368 - Fix documentation check

Pull Request - State: closed - Opened by liyishuai 5 months ago

#367 - Having problems getting QuickChick to work with Emacs/ProofGeneral and VSCoq

Issue - State: closed - Opened by EliasC 5 months ago - 3 comments
Labels: bug

#366 - Adapt to coq/coq#18981 (universe syntax change)

Pull Request - State: closed - Opened by SkySkimmer 5 months ago - 3 comments

#365 - Adapt w.r.t. coq/coq#18940.

Pull Request - State: closed - Opened by ppedrot 5 months ago - 4 comments

#364 - ci: Ignore hacky upper bound on dune

Pull Request - State: closed - Opened by Lysxia 6 months ago

#363 - Cleanup

Pull Request - State: closed - Opened by Lysxia 6 months ago

#362 - Resolve warnings from Coq 8.20 about nosimpl and app_length

Pull Request - State: closed - Opened by Lysxia 6 months ago

#361 - Release version 2.0.3

Pull Request - State: closed - Opened by Lysxia 6 months ago - 1 comment

#360 - ci: Raise timeout limit for opam install --deps-only

Pull Request - State: closed - Opened by Lysxia 6 months ago

#359 - Resolve the Opaque Access warning

Pull Request - State: closed - Opened by Lysxia 6 months ago - 1 comment

#358 - (CHEATING) Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

Pull Request - State: closed - Opened by SkySkimmer 6 months ago - 4 comments

#357 - Add command to specify preprocessing script

Pull Request - State: open - Opened by Lysxia 6 months ago - 2 comments

#356 - Dunify tests

Pull Request - State: closed - Opened by Lysxia 6 months ago - 3 comments

#355 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: open - Opened by rtetley 7 months ago - 4 comments

#354 - Generate truly unique temporary directories

Pull Request - State: closed - Opened by SkySkimmer 7 months ago - 2 comments

#353 - Adapt to https://github.com/coq/coq/pull/18590

Pull Request - State: closed - Opened by proux01 8 months ago

#352 - `Sample` fails to handle polymorphism and cumulativity

Issue - State: open - Opened by JasonGross 8 months ago - 1 comment

#350 - OPAM: no Dune

Pull Request - State: closed - Opened by liyishuai 8 months ago - 4 comments

#349 - Adapt to coq-community/coq-ext-lib#136

Pull Request - State: closed - Opened by liyishuai 9 months ago

#348 - Basic quickchick tactic for use during proofs

Pull Request - State: closed - Opened by segevem 10 months ago - 4 comments

#347 - Adapt to coq/coq#18143 (debug printing for relevances)

Pull Request - State: closed - Opened by SkySkimmer 10 months ago - 1 comment

#346 - README: Fix old reference to BasicInterface.v

Pull Request - State: closed - Opened by rtjoa 10 months ago

#345 - Fix for deriving DecOpt when index of inductive is from an inductive family

Pull Request - State: closed - Opened by jaccokrijnen 10 months ago - 3 comments

#344 - Adapt wrt to Coq/Coq#18164

Pull Request - State: closed - Opened by Villetaneuse 11 months ago

#343 - Adapt w.r.t. coq/coq#18294.

Pull Request - State: closed - Opened by ppedrot 11 months ago - 1 comment

#342 - Adapt to coq/coq#14928

Pull Request - State: closed - Opened by proux01 11 months ago - 1 comment

#341 - Show and Arbitrary for Function Types?

Issue - State: open - Opened by ana-brendel 11 months ago - 1 comment

#340 - Please create a tag for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by rtetley 12 months ago - 4 comments

#339 - Adapt to coq/coq#17836 (sort poly)

Pull Request - State: closed - Opened by SkySkimmer about 1 year ago - 2 comments

#338 - Explicit function application

Pull Request - State: closed - Opened by liyishuai about 1 year ago

#337 - In deriving arbitrarySizedST, some explicit markers are missing

Issue - State: closed - Opened by trilis about 1 year ago - 1 comment

#336 - Adapt to coq/coq#17795 (UState.rigid used in glob_term)

Pull Request - State: closed - Opened by SkySkimmer about 1 year ago - 1 comment

#335 - Adapt w.r.t. coq/coq#17824.

Pull Request - State: closed - Opened by ppedrot about 1 year ago - 1 comment

#334 - `etna:README.md`: fix `opam install . --deps-only`

Pull Request - State: closed - Opened by rtjoa over 1 year ago

#333 - Please remove the v.2.0 tag

Issue - State: closed - Opened by SnarkBoojum over 1 year ago - 2 comments

#332 - Derive ArbitrarySizedSuchThat doesn't work with unpacking of >2 values

Issue - State: open - Opened by trilis over 1 year ago
Labels: part:derive

#331 - Adapt to coq/coq#17633 (decompose_app returns array not list)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#330 - Adapt to coq/coq#17585 (revised warning API)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#329 - Adapt to coq/coq#17616 (mlg files require DECLARE PLUGIN)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#328 - Adapt w.r.t. coq/coq#17564.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#327 - Spurious test error

Issue - State: closed - Opened by Lysxia over 1 year ago

#326 - Warnings and a space

Pull Request - State: closed - Opened by Lysxia over 1 year ago

#325 - Merge Quickchick 2.0 in master

Pull Request - State: closed - Opened by lemonidas over 1 year ago - 1 comment

#324 - CHANGELOG: fix links

Pull Request - State: closed - Opened by lemonidas over 1 year ago

#323 - CHANGELOG: Update for 1.6.5

Pull Request - State: closed - Opened by Lysxia over 1 year ago

#322 - Fix tests

Pull Request - State: closed - Opened by Lysxia over 1 year ago - 6 comments
Labels: needs: rebase

#321 - Fix tests

Issue - State: open - Opened by Lysxia over 1 year ago - 1 comment

#320 - Drop compatibility < 8.15

Pull Request - State: closed - Opened by Lysxia over 1 year ago - 3 comments

#319 - Adapt to coq/coq#16992 (volatile casts)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#318 - Please create a tag for Coq 8.17 in Coq Platform 2023.03

Issue - State: closed - Opened by MSoegtropIMC over 1 year ago - 15 comments

#317 - Don't build documentation during install

Pull Request - State: closed - Opened by LasseBlaauwbroek over 1 year ago

#316 - Adapt to coq/coq#17220 (genargs are not holes)

Pull Request - State: closed - Opened by SkySkimmer over 1 year ago - 1 comment

#315 - Tutorial: mention output location within VS Code's VSCoq plugin

Pull Request - State: closed - Opened by dijkstracula over 1 year ago

#314 - Dec derivining mutind bugfix

Pull Request - State: open - Opened by Xiving almost 2 years ago

#313 - Don't force references at linking time

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

#312 - Adapt to coq/coq#16920

Pull Request - State: closed - Opened by olaure01 almost 2 years ago - 1 comment

#311 - Derive not unfolding definitions enough

Issue - State: open - Opened by Xiving almost 2 years ago - 3 comments
Labels: part:derive

#310 - Adapt w.r.t. coq/coq#16730.

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

#309 - Using QuickChick Inside OCaml As A Library

Issue - State: open - Opened by alpaylan almost 2 years ago
Labels: question

#308 - Update working branch for deriving ShowS to quickchick-2.0

Pull Request - State: closed - Opened by Riib11 almost 2 years ago - 2 comments

#307 - Derive show s

Pull Request - State: closed - Opened by Riib11 almost 2 years ago
Labels: needs: rebase

#306 - Updating Bug in Analysis Output.

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

#305 - Build with dune

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

#304 - Adapt w.r.t. coq/coq#16442.

Pull Request - State: closed - Opened by ppedrot about 2 years ago - 1 comment

#303 - Specify a directory for extracted sources other than `/tmp`

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

#302 - Next release

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

#301 - Can't check conjecture, error says "pattern matching failed"

Issue - State: open - Opened by huynhtrankhanh about 2 years ago - 2 comments
Labels: part:derive

#300 - Silence some warnings

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

#299 - Please create a tag for Coq 8.16 in Coq Platform 2022.09

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

#298 - [Compilation Error] Reference uncurry was not found

Issue - State: closed - Opened by alpaylan about 2 years ago - 4 comments

#297 - Adapt examples w.r.t. coq/coq#16004.

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

#296 - Bad installation target for quickChick tool

Issue - State: closed - Opened by SnarkBoojum about 2 years ago - 4 comments
Labels: infra

#295 - improved auto goal selection

Pull Request - State: closed - Opened by mrhaandi about 2 years ago

#293 - Extract Constant defNumShrinks not working

Issue - State: open - Opened by Durbatuluk1701 over 2 years ago - 1 comment
Labels: bug