Code

Feat/integrated shrinking#109

Code

Merged

c-cube merged 63 commits intoc-cube:masterc-cube/qcheck:masterfrom sir4ur0n:feat/integratedShrinkingsir4ur0n/qcheck:feat/integratedShrinkingCopy head branch name to clipboardMay 15, 2021

+4,058-741

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