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 17 days ago
- 9 comments
#387 - Fix mycppo script for Windows
Pull Request -
State: closed - Opened by Lysxia about 1 month ago
- 8 comments
#386 - Adapt to Coq PR #19404: an algebra of types for the instances of notation variables
Pull Request -
State: open - Opened by herbelin 2 months ago
#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
#373 - Defer evaluation of recursive generator calls when deriving generators
Pull Request -
State: closed - Opened by lemonidas 4 months ago
#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
#370 - Huge performance degradation with discards and inductive datatype generators
Issue -
State: open - Opened by catalin-hritcu 4 months ago
- 4 comments
#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
#351 - `Sample` should ideally be robust to changes in the implicit status of `QuickChick.Generators.sampleGen`
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 about 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
#294 - Document that Z is extracted to either int or bigint depending on Coq version
Issue -
State: open - Opened by anton-trunov about 2 years ago
- 1 comment
#293 - Extract Constant defNumShrinks not working
Issue -
State: open - Opened by Durbatuluk1701 over 2 years ago
- 1 comment
Labels: bug