Ecosyste.ms: Issues

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

GitHub / ponylang/ponycheck issues and pull requests

#60 - Update for addition to the standard library

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

#59 - Add nodoc annotation to test code

Pull Request - State: closed - Opened by SeanTAllen almost 3 years ago
Labels: discuss during sync

#58 - Update for change in type of Env.root

Pull Request - State: closed - Opened by SeanTAllen almost 3 years ago
Labels: changelog - changed

#57 - Fix Randomness.u64() returning numbers out of the given range

Pull Request - State: closed - Opened by muttnikus almost 3 years ago - 7 comments
Labels: changelog - fixed

#51 - Use correct CI builders

Pull Request - State: closed - Opened by SeanTAllen over 3 years ago

#50 - Don't export test classes as part of public interface

Pull Request - State: closed - Opened by SeanTAllen over 3 years ago - 1 comment
Labels: changelog - changed

#49 - Switch tests to standard ponylang library style

Issue - State: closed - Opened by SeanTAllen over 3 years ago

#48 - Add autoupdating version to corral example in README

Pull Request - State: closed - Opened by SeanTAllen over 3 years ago

#47 - Fixed examples

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

#46 - move to circleci

Pull Request - State: closed - Opened by mfelsche over 5 years ago

#45 - properly stringify int-property samples

Pull Request - State: closed - Opened by mfelsche over 5 years ago

#44 - make Property1.property and others a fun ref

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

#43 - Add Property2, Property3, Property4 and some Int Properties

Pull Request - State: closed - Opened by mfelsche almost 6 years ago - 1 comment

#42 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger almost 6 years ago

#41 - Replaced CountdownIter with Range

Pull Request - State: closed - Opened by chobeat almost 6 years ago

#40 - Remove workaround CountDownIter

Issue - State: closed - Opened by chobeat almost 6 years ago - 1 comment

#39 - update for latest compiler

Pull Request - State: closed - Opened by Theodus about 6 years ago - 1 comment

#38 - fix reporting for a failed sample after shrinking

Pull Request - State: closed - Opened by mfelsche over 6 years ago

#37 - make Generator.generate partial

Pull Request - State: closed - Opened by mfelsche over 6 years ago - 3 comments

#36 - Shrinking results appear old/off-by-one?/wrong

Issue - State: closed - Opened by slfritchie over 6 years ago - 2 comments

#35 - Enable asynchronous properties

Pull Request - State: closed - Opened by mfelsche over 6 years ago

#34 - Separate out Ponytest integration

Pull Request - State: closed - Opened by mfelsche almost 7 years ago - 1 comment
Labels: enhancement

#33 - Simplify imports

Pull Request - State: closed - Opened by mfelsche almost 7 years ago

#32 - Allow garbage collection in property tests

Pull Request - State: closed - Opened by Theodus almost 7 years ago - 1 comment

#31 - Property tests don't get garbage collected

Issue - State: closed - Opened by Theodus almost 7 years ago - 1 comment
Labels: enhancement

#30 - Don't fail the runner through PropertyHelper fail

Pull Request - State: closed - Opened by Theodus almost 7 years ago - 3 comments

#29 - Additional logging features

Pull Request - State: closed - Opened by Theodus almost 7 years ago

#28 - Allow writing Properties without the need to include Property Dependencies

Issue - State: closed - Opened by mfelsche almost 7 years ago - 1 comment

#27 - Support for compositional Shrinking

Pull Request - State: closed - Opened by mfelsche almost 7 years ago - 7 comments
Labels: enhancement

#25 - Support partial `Generator.generate`

Issue - State: closed - Opened by mfelsche about 7 years ago - 1 comment

#23 - Add proper shrinking methods for string and numeric generators

Pull Request - State: closed - Opened by mfelsche about 7 years ago - 6 comments

#22 - Add more examples

Issue - State: closed - Opened by mfelsche over 7 years ago
Labels: help wanted

#21 - Signed randomness

Pull Request - State: closed - Opened by mfelsche over 7 years ago

#20 - Add string generators

Pull Request - State: closed - Opened by mfelsche over 7 years ago - 1 comment

#18 - add generators for SetIs, Map and MapIs

Pull Request - State: closed - Opened by mfelsche over 7 years ago - 3 comments

#17 - add ``Generators.set_of`` to generate sets of random values

Pull Request - State: closed - Opened by mfelsche over 7 years ago

#16 - added zip3, zip4 and some docstrings

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

#15 - improve generator API

Pull Request - State: closed - Opened by Theodus over 7 years ago - 3 comments

#14 - add Travis CI

Pull Request - State: closed - Opened by Theodus over 7 years ago - 3 comments

#13 - explicit partial calls

Pull Request - State: closed - Opened by Theodus over 7 years ago - 1 comment

#12 - make formatting more consistent

Pull Request - State: closed - Opened by Theodus over 7 years ago - 4 comments

#11 - remove pony-stable requirement for examples

Pull Request - State: closed - Opened by Theodus over 7 years ago - 1 comment

#10 - Allow for ponytest long_test properties

Issue - State: closed - Opened by mfelsche over 7 years ago - 1 comment

#9 - Implement shrinking for numeric generators

Issue - State: closed - Opened by mfelsche over 7 years ago - 1 comment

#8 - Implement Generator.map and .flatMap

Issue - State: closed - Opened by mfelsche over 7 years ago

#7 - Ponycheck: make Generators sized

Issue - State: closed - Opened by mfelsche over 7 years ago - 1 comment
Labels: enhancement, help wanted

#6 - add Property2, Property3 and Property4

Issue - State: closed - Opened by mfelsche over 7 years ago

#5 - more Generator combinators

Issue - State: closed - Opened by mfelsche over 7 years ago - 3 comments
Labels: enhancement, help wanted

#3 - more string Generators

Issue - State: closed - Opened by mfelsche over 7 years ago - 1 comment

#2 - move to new random implementation

Issue - State: closed - Opened by mfelsche over 7 years ago

#1 - proper uniform random generation of Signed integer values

Issue - State: closed - Opened by mfelsche over 7 years ago - 1 comment