Code

Feat/integrated shrinking#116

Code

Merged

c-cube merged 89 commits intoc-cube:masterc-cube/qcheck:masterfrom sir4ur0n:feat/integratedShrinkingsir4ur0n/qcheck:feat/integratedShrinkingCopy head branch name to clipboardJun 4, 2021

+4,492-848

Commits

Commits on Apr 9, 2021

• tmp: Start integrated shrinking

  

  Julien Debon

  committed
  0cbe1e7

  Copy full SHA for 0cbe1e7

Commits on Apr 11, 2021

• Gen mostly migrated, starting migrating arbitrary

  

  sir4ur0n

  committed
  2b7b024

  Copy full SHA for 2b7b024

• Moar progress

  

  sir4ur0n

  committed
  88a1e44

  Copy full SHA for 88a1e44

• End arbitrary and adapt main runner with new shrinker

  

  sir4ur0n

  committed
  62d5362

  Copy full SHA for 62d5362

• Start working on function generation

  

  sir4ur0n

  committed
  7e4e057

  Copy full SHA for 7e4e057

Commits on Apr 12, 2021

• Fix applicative implementation for Tree.t

  

  Julien Debon

  committed
  ef76c72

  Copy full SHA for ef76c72

• QCheck.ml compiles

  

  Julien Debon

  committed
  2bf7d02

  Copy full SHA for 2bf7d02

• Move to QCheck_ng

  

  Julien Debon

  committed
  560ef84

  Copy full SHA for 560ef84

• Various cleanup

  

  Julien Debon

  committed
  047a848

  Copy full SHA for 047a848

• Add mli and add_shrink_invariant

  

  Julien Debon

  committed
  0d554c8

  Copy full SHA for 0d554c8

• libev needed for utop

  

  Julien Debon

  committed
  430fcde

  Copy full SHA for 430fcde

• Improve error message for find_origin

  

  Julien Debon

  committed
  c14a844

  Copy full SHA for c14a844

• Improve and fix the printable char generator

  

  Julien Debon

  committed
  475c87b

  Copy full SHA for 475c87b

• Format

  

  Julien Debon

  committed
  19ff5ab

  Copy full SHA for 19ff5ab

• Add pretty printer for Tree.t to ease debug

  

  Julien Debon

  committed
  bea6858

  Copy full SHA for bea6858

• Fix infinite loop on int_range

  

  Julien Debon

  committed
  947c9ab

  Copy full SHA for 947c9ab

• Fix adding the last shrink candidate for int_range and int32/64 ranges

  

  Julien Debon

  committed
  1aceb83

  Copy full SHA for 1aceb83

Commits on Apr 13, 2021

• Change shuffle_a to a regular generator

  

  Julien Debon

  committed
  ba8dbd6

  Copy full SHA for ba8dbd6

• Improve pretty printer

  

  Julien Debon

  committed
  a0d1a7f

  Copy full SHA for a0d1a7f

Commits on Apr 20, 2021

• Remove commented out code

  

  Julien Debon

  committed
  ec33bf4

  Copy full SHA for ec33bf4

• Massive rework

  Show description for 490f746
  

  Julien Debon

  committed
  490f746

  Copy full SHA for 490f746

Commits on Apr 21, 2021

• Add Tree.t to API

  Show description for 081f2bc
  

  Julien Debon

  committed
  081f2bc

  Copy full SHA for 081f2bc

• Rename QCheck_ng to QCheck2

  

  Julien Debon

  committed
  1859a91

  Copy full SHA for 1859a91

• Add make_primitive and rewrite Tree.int_towards in terms of it

  

  Julien Debon

  committed
  e789468

  Copy full SHA for e789468

• Also adapt ui64 and ui32

  

  Julien Debon

  committed
  ce24de1

  Copy full SHA for ce24de1

• Add float shrinking

  

  Julien Debon

  committed
  594514d

  Copy full SHA for 594514d

• Followup on origin and float shrinking

  

  Julien Debon

  committed
  14a5b3a

  Copy full SHA for 14a5b3a

• Remove small

  

  Julien Debon

  committed
  3a9bf2e

  Copy full SHA for 3a9bf2e

Commits on Apr 22, 2021

• Add migration functions

  

  Julien Debon

  committed
  fadc7a8

  Copy full SHA for fadc7a8

• Draft of QCheck_base_runner modularisation

  

  Julien Debon

  committed
  b5cd8ad

  Copy full SHA for b5cd8ad

Commits on Apr 23, 2021

• Reorganize, factor out, fix documentation

  

  Julien Debon

  committed
  0c500b3

  Copy full SHA for 0c500b3

• Add labels to make_primitive

  

  Julien Debon

  committed
  b6b5a25

  Copy full SHA for b6b5a25

• Typo intf doc

  

  Julien Debon

  committed
  10d49a5

  Copy full SHA for 10d49a5

Commits on Apr 26, 2021

• Explore having QCheck generate Test module from QCheck2

  

  Julien Debon

  committed
  4aadcd1

  Copy full SHA for 4aadcd1

Commits on Apr 27, 2021

• Cleanup commented code

  

  Julien Debon

  committed
  75db65b

  Copy full SHA for 75db65b

• Unstage Nix files

  

  Julien Debon

  committed
  55a7319

  Copy full SHA for 55a7319

• Another attempt at removing commented code...

  

  Julien Debon

  committed
  01cac33

  Copy full SHA for 01cac33

• Fix off-by-1 error in frequency generator (int_bound is inclusive)

  Show description for 56356b4
  

  Julien Debon

  committed
  56356b4

  Copy full SHA for 56356b4

• Fix int_range incorrectly adding 'a' in some cases

  

  Julien Debon

  committed
  9c8ccfa

  Copy full SHA for 9c8ccfa

Commits on Apr 28, 2021

• Reuse int32/63_towards

  

  Julien Debon

  committed
  df25426

  Copy full SHA for df25426

• Document/rework pint

  

  Julien Debon

  committed
  bdfc905

  Copy full SHA for bdfc905

• Reorganize MLI, add int32/int64 aliases

  

  Julien Debon

  committed
  2a88f72

  Copy full SHA for 2a88f72

• WIP: Rehaul documentation

  

  Julien Debon

  committed
  adf0125

  Copy full SHA for adf0125

Commits on Apr 29, 2021

• Document Observable

  

  Julien Debon

  committed
  fc6ac42

  Copy full SHA for fc6ac42

• Document Tree, rename getters

  

  Julien Debon

  committed
  e64f36d

  Copy full SHA for e64f36d

• WIP doc Gen

  

  Julien Debon

  committed
  2fa15e3

  Copy full SHA for 2fa15e3

• Moar doc

  

  sir4ur0n

  committed
  46df424

  Copy full SHA for 46df424

Commits on Apr 30, 2021

• End of monad part of doc on Gen

  

  Julien Debon

  committed
  8fe71f1

  Copy full SHA for 8fe71f1

• Document and remove a lot of code in Shrink module

  

  Julien Debon

  committed
  333fbc8

  Copy full SHA for 333fbc8

• Document Print and rename map/comap functions

  

  Julien Debon

  committed
  ffd100f

  Copy full SHA for ffd100f

• Fix build and remove Iter

  

  Julien Debon

  committed
  201471b

  Copy full SHA for 201471b

• Cleanup top level documentation

  

  Julien Debon

  committed
  f4f9cd9

  Copy full SHA for f4f9cd9

Commits on May 1, 2021

• Document Test and TestResult

  

  Julien Debon

  committed
  b70b7fe

  Copy full SHA for b70b7fe

• Start cleanup top level

  

  Julien Debon

  committed
  1d4323a

  Copy full SHA for 1d4323a

• Migration guide

  

  sir4ur0n

  committed
  19914db

  Copy full SHA for 19914db

• Major documentation upgrade on top level elements

  

  sir4ur0n

  committed
  e11abf8

  Copy full SHA for e11abf8

Commits on May 8, 2021

• Consistency on RS vs Random.State

  

  sir4ur0n

  committed
  328e7df

  Copy full SHA for 328e7df

Commits on May 9, 2021

• Migrate to Format

  

  sir4ur0n

  committed
  525ff27

  Copy full SHA for 525ff27

• Bump min OCaml version to 4.08

  

  sir4ur0n

  committed
  1ceea87

  Copy full SHA for 1ceea87

• Use format string

  

  sir4ur0n

  committed
  978c45a

  Copy full SHA for 978c45a

• Add comment on QCheck.Test

  

  sir4ur0n

  committed
  ac36c23

  Copy full SHA for ac36c23

• Minor improvement on cell documentation

  Show description for ff99201
  

  sir4ur0n

  and

  c-cube

  authored
  ff99201

  Copy full SHA for ff99201

• number_towards: use module

  

  sir4ur0n

  committed
  40014f3

  Copy full SHA for 40014f3

Commits on May 26, 2021

• Use RS.bool instead of RS.float < 0.5

  

  Julien Debon

  committed
  700e6ac

  Copy full SHA for 700e6ac

• Option.fold: option first

  

  Julien Debon

  committed
  f0f0b95

  Copy full SHA for f0f0b95

• Fix shuffle_l

  

  Julien Debon

  committed
  0586f43

  Copy full SHA for 0586f43

• Use <$> instead of weird mapping

  

  Julien Debon

  committed
  a6bb702

  Copy full SHA for a6bb702

• Change number range default origin from low to 0

  

  Julien Debon

  committed
  ffe6f69

  Copy full SHA for ffe6f69

• Make migration shrink more lazy

  

  Julien Debon

  committed
  7d9d465

  Copy full SHA for 7d9d465

Commits on May 27, 2021

• Indent fix

  

  Julien Debon

  committed
  19cb447

  Copy full SHA for 19cb447

• Fix assume/assume_fail/==> in QCheck

  

  Julien Debon

  committed
  f1d2477

  Copy full SHA for f1d2477

• Remove gen_ops as OCaml 4.08 is now the minimum version

  

  Julien Debon

  committed
  eb2b14a

  Copy full SHA for eb2b14a

• Fix dune build @doc warning

  

  Julien Debon

  committed
  8457325

  Copy full SHA for 8457325

• Improve backward-compatibility with shrinking

  

  Julien Debon

  committed
  a910955

  Copy full SHA for a910955

Commits on May 31, 2021

• First attempt at integrated function shrinking

  Show description for cf83c83
  

  Julien Debon

  committed
  cf83c83

  Copy full SHA for cf83c83

• Fix documentation runner

  

  Julien Debon

  committed
  3a7171d

  Copy full SHA for 3a7171d

• Merge branch 'master' of github.com:c-cube/qcheck into feat/integratedShrinking

  

  Julien Debon

  committed
  9de975c

  Copy full SHA for 9de975c

• Remove useless rec

  

  Julien Debon

  committed
  f03f087

  Copy full SHA for f03f087

• Adapt to new opt ?ratio feature

  

  Julien Debon

  committed
  23ba6f0

  Copy full SHA for 23ba6f0

• Rehaul the function generation documentation

  

  Julien Debon

  committed
  e607e2b

  Copy full SHA for e607e2b

• Move some composing/choosing sections of arbitrary doc

  

  Julien Debon

  committed
  e923f96

  Copy full SHA for e923f96

Commits on Jun 1, 2021

• Add get_collect and get_stats

  

  Julien Debon

  committed
  b6d1d84

  Copy full SHA for b6d1d84

• Add more migration info

  

  Julien Debon

  committed
  ab05584

  Copy full SHA for ab05584

Commits on Jun 2, 2021

• Improve [char] and thus [string] performance

  

  Julien Debon

  committed
  6720de8

  Copy full SHA for 6720de8

Commits on Jun 3, 2021

• Add more laziness on shrinking here and there, improves perf

  

  Julien Debon

  committed
  e44b8ca

  Copy full SHA for e44b8ca

• Apply various suggestions on style, code perf, copyright

  

  Julien Debon

  committed
  faf202c

  Copy full SHA for faf202c

• Make Test_result.t abstract and add missing getters

  

  Julien Debon

  committed
  aa8fc24

  Copy full SHA for aa8fc24

• Add tests on xxx_towards

  

  Julien Debon

  committed
  9c70e22

  Copy full SHA for 9c70e22

Commits on Jun 4, 2021

• Add back some QCheck1 fonctions to Test

  

  Julien Debon

  committed
  42c8c23

  Copy full SHA for 42c8c23