Ecosyste.ms: Issues

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

GitHub / HypothesisWorks/hypothesis issues and pull requests

#3926 - Internal error: tests using unique collections containing `nan` are flaky

Issue - State: closed - Opened by Zac-HD 3 months ago - 5 comments
Labels: bug, flaky-tests

#3925 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 3 months ago - 1 comment

#3925 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 3 months ago - 1 comment

#3924 - Fix `PermissionError` for inaccessible database path

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

#3924 - Fix `PermissionError` for inaccessible database path

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

#3923 - Migrate `reorder_examples` to the IR

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

#3921 - Migrate our core representation to an IR layer

Issue - State: open - Opened by tybug 3 months ago - 14 comments
Labels: enhancement, test-case-reduction, performance, internals

#3920 - Fix performance of `RuleBasedStateMachine` with data-hungry rules

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: performance

#3920 - Fix performance of `RuleBasedStateMachine` with data-hungry rules

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: performance

#3919 - Investigate and fix lambda bug on Python 3.13

Issue - State: open - Opened by Zac-HD 4 months ago
Labels: tests/build/CI

#3919 - Investigate and fix lambda bug on Python 3.13

Issue - State: closed - Opened by Zac-HD 4 months ago
Labels: tests/build/CI

#3918 - deflake `test_can_generate_hard_values`

Pull Request - State: closed - Opened by tybug 4 months ago - 2 comments

#3918 - deflake `test_can_generate_hard_values`

Pull Request - State: closed - Opened by tybug 4 months ago - 2 comments

#3917 - Fix unimplemented default TypeVar argument in 3.13a4

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

#3916 - TypeError on CPython 3.13 for 6.99.2

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

#3915 - Simplify pandas type annotations using PEP 696

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

#3914 - Stable support for symbolic execution

Issue - State: open - Opened by Zac-HD 4 months ago - 15 comments
Labels: enhancement, tests/build/CI

#3913 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3913 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3912 - Implement an Atheris fuzzing backend

Issue - State: open - Opened by Zac-HD 4 months ago - 1 comment
Labels: interop

#3912 - Implement an Atheris fuzzing backend

Issue - State: open - Opened by Zac-HD 4 months ago
Labels: interop

#3911 - Improve and test hypothesis.extra.numpy type annotations

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

#3910 - Fix missing-`fill` problem in `arrays()`

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: performance

#3908 - Add type annotations

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

#3907 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3907 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3906 - Generate `st.fixed_dictionaries()` with varied iteration orders

Issue - State: open - Opened by Zac-HD 4 months ago
Labels: enhancement

#3905 - Fix 32-bit architecture detection in pandas index test

Pull Request - State: closed - Opened by roehling 4 months ago
Labels: tests/build/CI

#3904 - Some type annotations for `hypothesis.extra.pandas` are missing

Issue - State: closed - Opened by wangkev 4 months ago - 1 comment
Labels: legibility, interop

#3903 - Some changes in preparation for the shrinker ir migration

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

#3902 - Print original bundle variable names in stateful mode

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

#3901 - Support `2023.12` version of the array API

Pull Request - State: closed - Opened by honno 4 months ago - 2 comments

#3900 - numpy arrays() strategy does not respect (unsigned) dtype (anymore)

Issue - State: closed - Opened by hojo0590 4 months ago - 1 comment
Labels: bug, performance

#3899 - migrate `Float` shrinker to the ir

Pull Request - State: closed - Opened by tybug 4 months ago - 9 comments

#3898 - Rewrite regex filters on `text()` and `binary()`

Pull Request - State: closed - Opened by Zac-HD 4 months ago - 1 comment
Labels: performance

#3897 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3895 - Rewrite length filters for diverse collection types

Pull Request - State: closed - Opened by Zac-HD 4 months ago - 2 comments
Labels: performance, interop

#3894 - Fix a swarm-testing footgun

Pull Request - State: closed - Opened by Zac-HD 4 months ago - 4 comments
Labels: performance

#3894 - Fix a swarm-testing footgun

Pull Request - State: closed - Opened by Zac-HD 4 months ago - 4 comments
Labels: performance

#3893 - Add note to errors from strategies

Pull Request - State: closed - Opened by Zac-HD 4 months ago - 2 comments
Labels: legibility

#3892 - `hypothesis.strategies.text` fails if min_size is (unreasonably) large

Issue - State: closed - Opened by StefanBRas 4 months ago - 2 comments

#3891 - from_type fails on nested annotated type with mysterious error

Issue - State: closed - Opened by td-anne 4 months ago - 7 comments
Labels: legibility

#3890 - Observability for stateful testing: better representation and timing info

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: legibility

#3889 - Fix and improve hypothesis.extra.numpy typing

Pull Request - State: closed - Opened by JonathanPlasse 4 months ago - 7 comments

#3888 - Add a research note on the Ghostwriter + improve binop test generation

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: enhancement, docs

#3887 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 4 months ago

#3886 - Improve import-detection logic in the Ghostwriter

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: enhancement

#3884 - Fix missing imports for `hypothesis write numpy.save`

Issue - State: open - Opened by Zac-HD 4 months ago
Labels: enhancement

#3884 - Fix missing imports for `hypothesis write numpy.save`

Issue - State: closed - Opened by Zac-HD 4 months ago
Labels: enhancement

#3882 - Allow dataclasses etc to have custom json formats

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

#3881 - Improve stateful documentation

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

#3879 - Simpler website on Pelican

Pull Request - State: closed - Opened by Zac-HD 4 months ago
Labels: docs, tests/build/CI

#3878 - Logging each test before running it

Issue - State: closed - Opened by Ezibenroc 5 months ago - 1 comment
Labels: question

#3877 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 5 months ago

#3876 - Fix error with very large ints in `to_jsonable`

Pull Request - State: closed - Opened by tybug 5 months ago - 1 comment

#3875 - Die Hard example uses outdated style of defining settings

Issue - State: closed - Opened by nchammas 5 months ago - 2 comments
Labels: docs

#3874 - Random failures with hypothesis.errors.StopTest exception raised

Issue - State: closed - Opened by tomato42 5 months ago - 7 comments
Labels: bug

#3873 - Directly use `ConjectureData.draw_boolean()` in `booleans()`

Pull Request - State: closed - Opened by tybug 5 months ago - 2 comments

#3872 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 5 months ago

#3871 - Deprecate use of global PRNG in strategies

Pull Request - State: closed - Opened by Zac-HD 5 months ago - 2 comments

#3870 - Test against Pyodide / Emscripten in CI

Pull Request - State: closed - Opened by Zac-HD 5 months ago - 1 comment
Labels: tests/build/CI

#3869 - Observability - count sat/unsat calls to `assume()` and stateful `@precondition()`s

Pull Request - State: closed - Opened by Zac-HD 5 months ago
Labels: legibility

#3868 - Update some Sphinx config for docs

Pull Request - State: closed - Opened by Zac-HD 5 months ago

#3867 - Improve discrimination of database keys

Issue - State: open - Opened by jobh 5 months ago - 5 comments
Labels: enhancement, performance

#3866 - Can one tune run time of RuleBasedStateMachine?

Issue - State: closed - Opened by eivindjahren 5 months ago - 2 comments

#3865 - Clean up use of example in tests

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

#3864 - Inquisitor sometimes fails to report arguments as freely varying

Issue - State: open - Opened by tybug 5 months ago - 2 comments
Labels: enhancement

#3863 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 5 months ago - 1 comment

#3862 - Avoid pointless discards during the `reuse` and `target` phases

Pull Request - State: closed - Opened by Zac-HD 5 months ago - 1 comment
Labels: performance, legibility

#3861 - Provide a better way to group observability data from the same run

Issue - State: closed - Opened by hgoldstein95 5 months ago - 6 comments
Labels: legibility

#3860 - Add new Sphinx configuration options

Issue - State: closed - Opened by Zac-HD 5 months ago - 2 comments
Labels: docs

#3859 - Healthchecks triggered in CI

Issue - State: closed - Opened by AdrianSosic 5 months ago - 2 comments
Labels: question, performance

#3858 - Use non-mapped strategies for populating numpy arrays

Pull Request - State: closed - Opened by jobh 5 months ago - 9 comments

#3857 - Very slow unique sampling of np.int8

Issue - State: closed - Opened by jobh 5 months ago - 4 comments
Labels: performance

#3856 - Move slow stateful test from cover to nocover

Pull Request - State: closed - Opened by jobh 5 months ago - 1 comment

#3854 - More small IR-related improvements

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

#3853 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 5 months ago

#3852 - Generate empty flag enums

Pull Request - State: closed - Opened by jobh 5 months ago - 12 comments
Labels: enhancement

#3851 - Failing `lambda in source` after upgrade

Issue - State: closed - Opened by eivindjahren 5 months ago - 4 comments

#3850 - pytest plugin does not work correctly with pytest-async

Issue - State: closed - Opened by eivindjahren 5 months ago - 1 comment

#3849 - Fix pytest plugin issue

Pull Request - State: closed - Opened by jobh 5 months ago - 6 comments

#3848 - Warn when generating overly large repr

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

#3847 - Pretty-print objects in `note()`

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

#3846 - Improvements to `forced` and forced testing

Pull Request - State: closed - Opened by tybug 5 months ago - 17 comments

#3845 - A big list of observability ideas

Issue - State: open - Opened by Zac-HD 5 months ago
Labels: new-feature, legibility, interop

#3844 - Test touchups in preparation for ir migration

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

#3843 - More clear behavior when passing non-strings to `note`

Issue - State: closed - Opened by tybug 5 months ago - 1 comment
Labels: legibility

#3842 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 5 months ago

#3841 - Decrease pass probability for `test_can_produce_multi_line_strings`

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

#3840 - De-flake `non_normalized_test_function` (again)

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

#3839 - Allow `from_regex(..., alphabet=...)` to exclude branches; add `alphabet=` to `from_lark()`

Pull Request - State: closed - Opened by Zac-HD 5 months ago - 2 comments
Labels: new-feature