Code

Migrate DataTree to the new IR#3818

Code

Merged

Zac-HD merged 174 commits intoHypothesisWorks:masterHypothesisWorks/hypothesis:masterfrom tybug:datatree-irtybug/hypothesis:datatree-irCopy head branch name to clipboardFeb 5, 2024

+1,309-202

Commits

Commits on Dec 19, 2023

• initial work on datatree ir migration

  tybug

  committed
  9b356da

• remove outdated comment

  Show description for cae9b3b
  tybug

  committed
  cae9b3b

Commits on Dec 27, 2023

• move choice() method to ConjectureData

  tybug

  committed
  b083a4f

Commits on Dec 28, 2023

• fix label name collision

  tybug

  committed
  b86ae5b

• fix almost all shrinker tests

  tybug

  committed
  0095ec0

• fix optimiser tests

  tybug

  committed
  4ab7c6e

• remove test duplicated in test_pareto

  tybug

  committed
  9a01468

• fix most engine tests

  tybug

  committed
  842b732

• fix most pareto tests

  tybug

  committed
  5c335e1

• fix wrong data.choice usage

  tybug

  committed
  833c4cd

• use existing count_between_floats

  Show description for 23eafff
  tybug

  committed
  23eafff

Commits on Jan 6, 2024

• migrate draw_bits in test_test_data

  tybug

  committed
  1958a4c

• migrate draw_bits in test_shrinking_dfas

  tybug

  committed
  ff0ffe6

• remove ConjectureData#write in favor of draw_bytes(forced=...)

  tybug

  committed
  98947c4

• remove test_draw_write_round_trip. This is better covered by test_forced_floats

  tybug

  committed
  d219cbf

• fix test_float_encoding tests via buffers

  tybug

  committed
  720c750

• more ConjectureData#write / draw_bytes fixes

  tybug

  committed
  4b0a103

• add DRAW_FLOAT_INNER_LABEL to bring float shrinking back to normal

  tybug

  committed
  98c93b3

• improve minimal readability with nonlocal

  tybug

  committed
  6ed83ae

• add and use MAX_CHILDREN_EFFECTIVELY_INFINITE

  tybug

  committed
  56d78f1

• add cached_property comment

  tybug

  committed
  8a5a163

• use bit representation of floats for keys

  tybug

  committed
  dc95a63

• use unweighted sampling if rejection sampling is not making progress

  tybug

  committed
  70f9c35

• more draw_bits -> draw_integer migrations

  tybug

  committed
  57fc9ac

• avoid 32 bit integers which draws more data

  tybug

  committed
  8ea0dae

• fix test_example_depth_marking

  tybug

  committed
  4177416

• spacing

  tybug

  committed
  84a9eb3

• fix test_child_indices for additional draw_boolean examples

  tybug

  committed
  3f87784

• add TODO for DRAW_BYTES_LABEL

  tybug

  committed
  56613bc

• increase test_last_block_length buffer to account for >24 bit integers

  tybug

  committed
  01b5cf3

• fix test_can_observe_draws

  tybug

  committed
  4e314a1

Commits on Jan 7, 2024

• more correct test_can_write_empty_bytes test

  tybug

  committed
  39d3436

• never write exact-value pseudo choices to the IR

  tybug

  committed
  4ab240d

Commits on Jan 11, 2024

• Merge branch 'various-core-touchups' into 'datatree-ir'

  tybug

  committed
  bb2ba67

• simplify compute_max_children for integers

  tybug

  committed
  12efba8

• Merge branch 'master' into datatree-ir

  tybug

  committed
  bacf301

• rename forced -> was_forced in observer

  tybug

  committed
  46a0b1f

• formatting

  tybug

  committed
  142a13d

• document observe argument

  tybug

  committed
  e81d0ad

• add TODO for draw_bytes min/max size

  tybug

  committed
  4490070

Commits on Jan 14, 2024

• update explore_arbitrary_languages test

  tybug

  committed
  a154d56

• note string values in test

  tybug

  committed
  38e758b

• condition test_basic_indices_options on tuples, add more cases

  tybug

  committed
  a854245

• formatting

  tybug

  committed
  3e8a051

• move Intervals strategy to common

  tybug

  committed
  a42c06c

• factor our ir kwarg generation into tests.conjecture.common

  tybug

  committed
  b5178e5

• add draw_bytes size assert

  tybug

  committed
  0bb0763

• fix incorrect draw_bits migrations

  tybug

  committed
  bfacdd2

• handle empty intervals case in compute_max_children

  tybug

  committed
  dbbe785

• more reasonable draw_string_kwargs sizes

  tybug

  committed
  a1896b9

• linting

  tybug

  committed
  97f96aa

• add tests for single-value "choices" not writing to bistream

  tybug

  committed
  b118cf0

• formatting

  tybug

  committed
  1b6c46a

• condition test_basic_indices_options on tuples, add more cases

  tybug

  committed
  99345f8

• move Intervals strategy to common

  tybug

  committed
  a74e468

• factor our ir kwarg generation into tests.conjecture.common

  tybug

  committed
  ec3fe52

• add draw_bytes size assert

  tybug

  committed
  46220fd

• fix incorrect draw_bits migrations

  tybug

  committed
  566f88e

• more reasonable draw_string_kwargs sizes

  tybug

  committed
  03f22b0

• formatting

  tybug

  committed
  9970233

• remove ConjectureData#write in favor of draw_bytes(forced=...)

  tybug

  committed
  77cd157

• more ConjectureData#write / draw_bytes fixes

  tybug

  committed
  5e5e4e1

• update explore_arbitrary_languages test

  tybug

  committed
  76c48dc

• formatting

  tybug

  committed
  c6f1f8a

• migrate more draw_bits

  tybug

  committed
  cc58f53

Commits on Jan 15, 2024

• update test_dependent_block_pairs_is_up_to_shrinking_integers

  tybug

  committed
  e706709

• fix draw_float_kwargs for nan forced

  tybug

  committed
  1b5c376

• fix draw_string_kwargs computation

  tybug

  committed
  6df50bd

• fix test_can_write_empty_bytes

  tybug

  committed
  6d24152

• rewrite float drawing for nan/clamper interaction

  tybug

  committed
  e41514b

• Merge branch 'master' of https://github.com/tybug/hypothesis into various-touchups-2

  tybug

  committed
  017f20b

• Merge branch 'master' into various-touchups-2

  tybug

  committed
  db69f87

• remove forgotten debug statement

  tybug

  committed
  c5fba69

• implement forced for out of bounds p in draw_boolean

  tybug

  committed
  baf67f7

• better draw_integers_kwargs comments and weights

  tybug

  committed
  057271b

• rewrite nan/clamper handling, again

  tybug

  committed
  7e31ebd

• add release notes

  tybug

  committed
  156cfd0

• return False with p=0, even if forced True

  tybug

  committed
  8583a2d

• rework forced sampling to account for 0 probabilities

  tybug

  committed
  7e2f80a

• oops

  tybug

  committed
  f15ef5f

• Merge branch 'master' into datatree-ir

  tybug

  committed
  23f5e91

• update test_integer_range_lower_equals_upper

  tybug

  committed
  4c2e0c3

• update test_regression_1

  tybug

  committed
  3cc51d4

Commits on Jan 17, 2024

• rewrite for clarity in Sampler.sample

  tybug

  committed
  d72adfd

• more clear assume statement

  tybug

  committed
  993b51b

• improve draw_integer_kwargs distribution and speed

  tybug

  committed
  c760c55

• add invariant to comment

  tybug

  committed
  d227ab8

• improve draw_string_kwargs distribution and performance

  tybug

  committed
  f0cd78b

• improve weight drawing in draw_integer_kwargs

  tybug

  committed
  372a3e2

• apparently 64 bit boolean draws are totally fine!

  tybug

  committed
  234f2ea

• fix accidentally weakened forced testing

  tybug

  committed
  a0e9cfb

• typo

  tybug

  committed
  8a503f1

• rename intervals strategies, improve speed

  tybug

  committed
  46cf059

• change test format to avoid st.data()

  tybug

  committed
  b4b88c5

• add use_{min, max}_value to draw_float_kwargs

  tybug

  committed
  c3edf81

• dont force sign bit if nans are allowed

  tybug

  committed
  9b67c03

• Merge branch 'test-forced-improvements' into datatree-ir

  tybug

  committed
  214b6c4

• Merge branch 'master' into datatree-ir

  tybug

  committed
  575fd0e

• revert fixed workaround for non-str notes

  tybug

  committed
  280434f

• delete release

  tybug

  committed
  9d1d316

Commits on Jan 19, 2024

• change outdated reference to draw_bits

  tybug

  committed
  e2e820f

• fix compute_max_children case for integers, add simple test case

  tybug

  committed
  43506a9

• add test for differentiating between 0.0 and -0.0 float draws

  tybug

  committed
  007cc9d

• fix draw_string with single interval and equal bounds, and add test

  tybug

  committed
  3eb27b2

• add IRType type alias

  tybug

  committed
  21db4bb

• simplify helpers in generate_novel_prefix

  tybug

  committed
  6e42732

• import BUFFER_SIZE instead of redefining

  tybug

  committed
  1b47296

Commits on Jan 20, 2024

• rewrite datatree documentation

  tybug

  committed
  f575070

• avoid TypeAlias errors on python < 3.10

  tybug

  committed
  bfb8e69

• extract draw_string max size to shared var

  tybug

  committed
  b383a5c

• move max_children > 1 assert

  tybug

  committed
  aa999ba

• mark was_forced as keyword only

  tybug

  committed
  b91783d

Commits on Jan 21, 2024

• use unbiased kwargs in data tree when stuck

  tybug

  committed
  f21b74d

• Merge branch 'master' into datatree-ir

  tybug

  committed
  ff46d20

• reword todo comment

  tybug

  committed
  f9441a1

• revert accidental changes

  tybug

  committed
  b41d425

• revert float changes

  tybug

  committed
  e66c88d

• let's just revert a bunch of stuff, shall we?

  tybug

  committed
  6e2f394

• formatting

  tybug

  committed
  dd6d377

Commits on Jan 22, 2024

• Merge branch 'more-test-changes' into datatree-ir

  tybug

  committed
  3ce8fdb

• nocover error case in datatree ir handling

  tybug

  committed
  245475f

Commits on Jan 23, 2024

• add observer param to fresh_data

  tybug

  committed
  433ac7a

• add tests for observing and non-observing draws

  tybug

  committed
  2defb40

• rename test

  tybug

  committed
  90e9600

• rewrite compute_max_children string case to be more correct

  tybug

  committed
  e7475a3

• add morecover tests for IntList

  tybug

  committed
  42f2d17

• avoid forcefully splitting on forced nodes

  tybug

  committed
  a2dcfd9

• Merge branch 'master' into datatree-ir

  tybug

  committed
  4909988

• update test_targeting_can_drive_length_very_high with draw_boolean

  tybug

  committed
  e49c829

Commits on Jan 24, 2024

• give up on novel prefixes when they are too hard to discover

  tybug

  committed
  6d60e79

• kneecap inquisitor test (unfortunately)

  tybug

  committed
  e26e5d1

• give up completely on novel generation instead of returning non-novel

  tybug

  committed
  11c5681

• increase attempts budget

  tybug

  committed
  4ab69f2

• kneecap test_discards_kill_branches for now

  tybug

  committed
  9829729

• weaken test_one_dead_branch

  tybug

  committed
  df121e7

• fix compute_max_children for certain boolean draws

  tybug

  committed
  0f24890

• weaken test_lot_of_dead_nodes

  tybug

  committed
  38b0747

• type observe params

  tybug

  committed
  95d4f71

Commits on Jan 25, 2024

• fix float keys being interpreted incorrectly in simulate_test_function

  Show description for ab47af7
  tybug

  committed
  ab47af7

• formatting

  tybug

  committed
  c4de1c9

• add TooHard cover test

  tybug

  committed
  931508d

• nocover TooHard in generate_new_examples

  tybug

  committed
  6d5b1a9

• add types to ir kwargs/values

  tybug

  committed
  6469428

• formatting

  tybug

  committed
  bff153f

• type datatree more

  tybug

  committed
  cf786db

• some linting adjustments

  tybug

  committed
  9245460

• fix test_can_observe_draws

  tybug

  committed
  3cf8d3e

• fix lint rule

  tybug

  committed
  4386a9a

• add test for jsonable large ints

  tybug

  committed
  cfb4439

• deflake test_finds_multiple_failures_in_generation

  tybug

  committed
  459e96f

• deflake test_shrinks_both_failures

  tybug

  committed
  7e422a0

• add release notes

  tybug

  committed
  9f1f0bf

• reword

  tybug

  committed
  d5a0edc

• rewrite comment

  tybug

  committed
  5832b5f

Commits on Jan 26, 2024

• lint

  Show description for 55e6c76
  tybug

  committed
  55e6c76

• more consistent test_novel_prefix_gives_up_when_too_hard

  tybug

  committed
  c15a19e

Commits on Jan 29, 2024

• switch order of kwargs and ir_type in compute_max_children

  tybug

  committed
  4deffdd

Commits on Jan 30, 2024

• compute and draw from a set of available children instead of giving up with TooHard

  tybug

  committed
  9040090

Commits on Jan 31, 2024

• fix ordering in floats_between

  tybug

  committed
  77680cb

• add more ir tests

  tybug

  committed
  c9eaf6c

• no-branch on _draw_from_cache

  tybug

  committed
  bce60d5

• account for 0 weight integers in children computation

  tybug

  committed
  797d67c

• split asserts

  tybug

  committed
  c8c326a

• format

  tybug

  committed
  85316f4

Commits on Feb 1, 2024

• deflake test_subtraction_of_intervals

  tybug

  committed
  575b53b

• fix float key representation in _draw_from_cache

  tybug

  committed
  5058f50

Commits on Feb 2, 2024

• add cover test for hard floats

  tybug

  committed
  d9b0e0f

Commits on Feb 3, 2024

• deflake test_can_generate_hard_floats

  tybug

  committed
  3ff7e49

Commits on Feb 4, 2024

• more consistent conjecture float coverage

  tybug

  committed
  a1eb9a9

• simpler Literal

  tybug

  committed
  db565f3

• wording

  tybug

  committed
  081e32e

• more idiomatic unhandled ir_type error

  tybug

  committed
  285bbf9

• Merge branch 'master' into datatree-ir

  Zac-HD

  committed
  2c16f46

• formatting

  Zac-HD

  committed
  4d4a32f