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

#4269 - Type-hinting of `filter` regression

Issue - State: open - Opened by dycw 5 days ago - 3 comments

#4268 - [Question] Is there a way to stop all execution on the first failure?

Issue - State: closed - Opened by tempieMcTempface 9 days ago - 2 comments
Labels: question

#4267 - Strange failures seen on CI for cramjam

Issue - State: open - Opened by ngoldbaum 9 days ago - 1 comment

#4266 - Improve pprinting of stateful examples

Pull Request - State: open - Opened by tybug 11 days ago

#4265 - Add a pubsub database implementation

Pull Request - State: open - Opened by tybug 12 days ago - 6 comments

#4264 - Share `belongs_to` cache

Pull Request - State: closed - Opened by tybug 15 days ago

#4263 - Optimizations

Pull Request - State: closed - Opened by tybug 16 days ago

#4262 - Add 2024.12 to allowed array API versions

Pull Request - State: closed - Opened by ev-br 19 days ago - 1 comment

#4261 - `coverage` and our self-tests

Issue - State: open - Opened by Zac-HD 19 days ago
Labels: tests/build/CI

#4260 - Update pinned dependencies

Pull Request - State: open - Opened by Zac-HD 20 days ago

#4259 - Add type hints to `strategies.py`

Pull Request - State: closed - Opened by tybug 20 days ago - 1 comment

#4258 - More type refactoring

Pull Request - State: closed - Opened by tybug 22 days ago - 1 comment

#4257 - When running in a regression an error is raised, running the test example separately it passes

Issue - State: closed - Opened by tsvi 24 days ago - 5 comments
Labels: question

#4256 - [debug] trying to repro some CI issues...

Pull Request - State: closed - Opened by Zac-HD 25 days ago - 2 comments
Labels: tests/build/CI

#4255 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD 27 days ago - 2 comments

#4254 - Reorganize code for the typed choice sequence

Pull Request - State: closed - Opened by tybug 27 days ago - 3 comments

#4253 - Clean up some IR names

Pull Request - State: closed - Opened by tybug 27 days ago

#4252 - Add more type hints

Pull Request - State: closed - Opened by tybug 27 days ago

#4251 - Refactor some stateful internals

Pull Request - State: closed - Opened by tybug 27 days ago

#4250 - Remove `ConjectureData.buffer`

Pull Request - State: closed - Opened by tybug 28 days ago

#4249 - Define `extend: int = 0` and `NodeTemplate` in terms of choice count

Pull Request - State: closed - Opened by tybug about 1 month ago

#4248 - Update Python 3.13 version check for type variable definition

Pull Request - State: closed - Opened by Viicos about 1 month ago - 3 comments

#4247 - Fully move to the typed choice sequence cache

Pull Request - State: closed - Opened by tybug about 1 month ago - 5 comments

#4246 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD about 1 month ago

#4245 - Is there a strategy to forbid None on all Optional fields

Issue - State: closed - Opened by gshiba about 1 month ago - 2 comments
Labels: question

#4244 - How to set hypothesis's random seed in non-pytest use case

Issue - State: closed - Opened by gshiba about 1 month ago - 2 comments
Labels: question

#4243 - Apply strategy like `floats(allow_nan=False)` to all float fields in a nested dataclass tree

Issue - State: closed - Opened by gshiba about 1 month ago - 1 comment
Labels: question

#4242 - `st.from_type` doesn't work for type alias (`typing.TypeAliasType`)

Issue - State: open - Opened by ilkecan about 1 month ago - 1 comment
Labels: enhancement

#4241 - Use typed choice sequence in database

Pull Request - State: closed - Opened by tybug about 1 month ago - 3 comments

#4240 - Early-abort `redistribute_numeric_pairs` if we become imprecise

Pull Request - State: closed - Opened by tybug about 1 month ago

#4239 - Fix some flaky reporting corner cases

Pull Request - State: closed - Opened by jobh about 1 month ago - 3 comments

#4238 - Enable CI jobs for free-threading mode and also python 3.14

Pull Request - State: closed - Opened by Zac-HD about 1 month ago
Labels: tests/build/CI

#4237 - Update pinned dependencies

Pull Request - State: closed - Opened by Zac-HD about 1 month ago

#4235 - `lower_blocks_together` -> `lower_integers_together`

Pull Request - State: closed - Opened by tybug about 1 month ago

#4234 - Avoid more symbolic realization in `<= Verbosity.verbose` prints

Pull Request - State: closed - Opened by tybug about 1 month ago

#4233 - Rework some buffer-based tests

Pull Request - State: closed - Opened by tybug about 1 month ago

#4232 - Write atomically in `DirectoryBasedExampleDatabase`

Pull Request - State: closed - Opened by tybug about 1 month ago

#4231 - Use choices in `generate_novel_prefix` and `cached_test_function_ir`

Pull Request - State: closed - Opened by tybug about 1 month ago

#4230 - Freeze in `BackendCannotProceed`

Pull Request - State: closed - Opened by tybug about 1 month ago

#4228 - Avoid raising FlakyReplay to users when multiple bugs are found

Issue - State: closed - Opened by carterbox about 1 month ago - 4 comments
Labels: bug, legibility

#4227 - [not an issue but there is no discussion tab] how to improve perf?

Issue - State: closed - Opened by ClementWalter about 2 months ago - 8 comments
Labels: question, performance

#4226 - Support "T" and "V" dtypes in `from_dtype`

Pull Request - State: open - Opened by tybug about 2 months ago - 2 comments

#4225 - Add type hints to `pretty.py` and `lark.py`

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

#4224 - CI triggers health checks

Issue - State: closed - Opened by philippalbert about 2 months ago - 3 comments
Labels: question

#4223 - More type hinting, move some things to `choice.py`

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

#4222 - Extend `redistribute_integer_pairs` to floats

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

#4221 - Add and use `BytestringProvider` in `fuzz_one_input`

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

#4220 - Use the typed choice sequence for `@reproduce_failure`

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

#4219 - Use `ConjectureData.for_choices`

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

#4218 - Add DRMacIver as code owner

Pull Request - State: closed - Opened by DRMacIver about 2 months ago

#4217 - Add short-circuit for trivial collections

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

#4216 - Add initial coarse reduction pass for reducing alternatives

Pull Request - State: closed - Opened by DRMacIver about 2 months ago - 1 comment

#4215 - Implement and use `sort_key_ir`

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

#4214 - Automate shrinking benchmark more

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

#4213 - Remove `gc.collect()` before each test

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

#4212 - warn on suspicious pytest-collection of `.hypothesis` directory

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

#4211 - Teach from_type to build with posonly args

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

#4210 - Properly clamp signed zeroes

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

#4209 - Implement `choice_{to, from}_index`

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

#4208 - Use convenience functions for choice sequence kwargs

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

#4207 - Use a single clamper for floats

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

#4205 - Add `min_leaves: int = 0` argument to `st.recursive()`

Issue - State: open - Opened by helanhalvan 2 months ago - 6 comments
Labels: enhancement

#4204 - Add small integer representation

Pull Request - State: open - Opened by DRMacIver 2 months ago - 1 comment

#4203 - Add zero_examples shrink pass for better precise shrinking

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

#4202 - Improve performance of `st.domains()`

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

#4201 - The domain strategy is very slow

Issue - State: closed - Opened by ben-alexander 2 months ago - 4 comments
Labels: performance

#4199 - Error message and warning improvements

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

#4198 - Update documentation links

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

#4197 - Hypothesis unable to generate "large" dictionnaries

Issue - State: closed - Opened by ClementWalter 3 months ago - 5 comments
Labels: legibility

#4196 - Defer ghostwriter test collection

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

#4195 - Reorder docs pages

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

#4194 - st.from_types with Union and Protocol weirdly requires int not to throw

Issue - State: open - Opened by ClementWalter 3 months ago - 1 comment
Labels: legibility

#4193 - Fix `from_type` failure on `collections.abc.Callable[..., None]`

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

#4192 - `from_type(collections.abc.Callable[..., None])` fails, while the `typing` version works

Issue - State: closed - Opened by sobolevn 3 months ago - 1 comment
Labels: bug

#4191 - Update pinned dependencies

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

#4190 - TEMP: test patches for crosshair

Pull Request - State: open - Opened by Zac-HD 3 months ago

#4188 - Add `BackgroundWriteDatabase`

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

#4187 - Revert Refactor of `BundleReferenceStrategy` into `Bundle`

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

#4186 - Reduce example generation batch size

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

#4185 - test_adds_note_showing_which_strategy and test_adds_note_showing_which_strategy_stateful fail (perhaps with new Python 3.11.

Issue - State: closed - Opened by mcepl 3 months ago - 2 comments
Labels: tests/build/CI, interop

#4184 - Delete stale Hypothesis branches?

Issue - State: closed - Opened by tybug 3 months ago - 2 comments
Labels: meta

#4183 - Bizarre quirk with how Hypothesis formats the error message for falsifying examples

Issue - State: closed - Opened by tmaxwell-anthropic 3 months ago - 3 comments
Labels: bug, legibility

#4182 - Report all generated arguments in observability

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

#4180 - Disable line coverage events where not used

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

#4179 - Slow `explain` phase for recursive strategy

Issue - State: open - Opened by Forty-Bot 3 months ago - 4 comments
Labels: performance, legibility

#4178 - Update pinned dependencies

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

#4175 - Migrate some tests to the typed choice sequence

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

#4174 - Internal API: ConjectureData.freeze() can suppress exceptions

Issue - State: open - Opened by jakkdl 3 months ago
Labels: internals

#4173 - Implement `NodeTemplate` + small fixes

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

#4172 - Migrate `generate_novel_prefix` to the typed choice sequence

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

#4171 - Move `ir_nodes` from `Examples` to `ConjectureResult`

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

#4170 - Document `DataObject.draw` and rename other members with leading underscore

Issue - State: open - Opened by jakkdl 3 months ago
Labels: legibility