Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 16, 2023

• Implement Property.falseToFailure with map instead of bind

  Show description for 1f0ffd5
  TysonMN

  committed
  1f0ffd5

  Copy full SHA for 1f0ffd5

Commits on Jul 14, 2023

• Fix recheck dead-end message to say generators changed hedgehogqa#418

  TysonMN

  committed
  de87bea

  Copy full SHA for de87bea

• Change multi-match to nested match

  Show description for e15d051
  TysonMN

  committed
  e15d051

  Copy full SHA for e15d051

• Minimize enumerated children when rechecking hedgehogqa#432

  Show description for 7ffba4b
  TysonMN

  committed
  7ffba4b

  Copy full SHA for 7ffba4b

• Build shrink path in reverse order

  Show description for c2b5e7e
  TysonMN

  committed
  c2b5e7e

  Copy full SHA for c2b5e7e

• Only construct failed result when needed

  Show description for be00695
  TysonMN

  committed
  be00695

  Copy full SHA for be00695

Commits on Jul 13, 2023

• fix warnings

  dharmaturtle

  committed
  496fdf6

  Copy full SHA for 496fdf6

Commits on Jul 26, 2022

• Targeted only netstandard2.0

  LyndonGingerich

  committed
  825938a

  Copy full SHA for 825938a

Commits on Jul 23, 2022

• Release 0.13.0

  TysonMN

  committed
  baa8747

  Copy full SHA for baa8747

• Change .NET runtime targets to current recommendations

  

  LyndonGingerich

  authored and

  TysonMN

  committed
  55402fc

  Copy full SHA for 55402fc

• Fix bug in Property.recheck where the result is always Failed hedgehogqa#408

  TysonMN

  committed
  5a97699

  Copy full SHA for 5a97699

Commits on Jan 1, 2022

• Release 0.12.1

  TysonMN

  committed
  f89ad6c

  Copy full SHA for f89ad6c

• Add MergeSources to property CE

  TysonMN

  committed
  fda88a3

  Copy full SHA for fda88a3

Commits on Dec 31, 2021

• Add BindReturn and MergeSources to gen CE

  TysonMN

  committed
  3f8d5ac

  Copy full SHA for 3f8d5ac

Commits on Dec 30, 2021

• Change Property.BindReturn to put value in Journal

  TysonMN

  committed
  63ba657

  Copy full SHA for 63ba657

• Change ListGen.traverse from monadic to applicative

  TysonMN

  committed
  6ff78f5

  Copy full SHA for 6ff78f5

• Revert Gen.integral to its previous non-duplicate-free implementation

  TysonMN

  committed
  dc75bf0

  Copy full SHA for dc75bf0

• Change Gen.apply from monadic to applicative

  TysonMN

  committed
  b7aa2ed

  Copy full SHA for b7aa2ed

• Add applicative Tree.apply

  TysonMN

  committed
  d375350

  Copy full SHA for d375350

Commits on Dec 29, 2021

• Improve parameter names and remove new lines in Gen CE

  TysonMN

  committed
  cefaef1

  Copy full SHA for cefaef1

Commits on Dec 21, 2021

• Improve parameter names

  TysonMN

  committed
  7cfa5c4

  Copy full SHA for 7cfa5c4

• Improve order of mapping functions in Gen

  TysonMN

  committed
  a506fdd

  Copy full SHA for a506fdd

Commits on Dec 20, 2021

• Implement bind via cata for Tree

  TysonMN

  committed
  7174754

  Copy full SHA for 7174754

• Implement map via cata for Tree

  TysonMN

  committed
  aefbc7f

  Copy full SHA for aefbc7f

Commits on Dec 12, 2021

• Release 0.12.0

  TysonMN

  committed
  e073bef

  Copy full SHA for e073bef

• Optimize rechecking so that only the shrunken input is tested

  TysonMN

  committed
  386ce93

  Copy full SHA for 386ce93

Commits on Dec 8, 2021

• Add Lazy to Property

  TysonMN

  committed
  4d1ae5b

  Copy full SHA for 4d1ae5b

• Add some functional programming primitives related to Lazy

  TysonMN

  committed
  dc321d2

  Copy full SHA for dc321d2

• Capitalize fable in comments

  TysonMN

  committed
  0b6a159

  Copy full SHA for 0b6a159

Commits on Dec 7, 2021

• Add RecheckInfo to simplify recheck reporting

  TysonMN

  committed
  45d0f00

  Copy full SHA for 45d0f00

Commits on Nov 29, 2021

• Add internal ReportRecheck overload

  TysonMN

  committed
  ee09c2b

  Copy full SHA for ee09c2b

• Revert "Add internal Property.reportRecheckStrongWith"

  Show description for 0eab529
  TysonMN

  committed
  0eab529

  Copy full SHA for 0eab529

• Add internal Property.reportRecheckStrongWith

  TysonMN

  committed
  2bb02e1

  Copy full SHA for 2bb02e1

• Use string for RecheckData in recheck API

  TysonMN

  committed
  de36485

  Copy full SHA for de36485

• Add serialization for RecheckData

  TysonMN

  committed
  75290b7

  Copy full SHA for 75290b7

Pagination

Previous

Next