Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat/integrated shrinking #109

Merged
merged 63 commits into from
May 15, 2021
Merged
Show file tree
Hide file tree
Changes from 8 commits
Commits
Show all changes
63 commits
Select commit Hold shift + click to select a range
0cbe1e7
tmp: Start integrated shrinking
Apr 9, 2021
2b7b024
Gen mostly migrated, starting migrating arbitrary
Apr 11, 2021
88a1e44
Moar progress
Apr 11, 2021
62d5362
End arbitrary and adapt main runner with new shrinker
Apr 11, 2021
7e4e057
Start working on function generation
Apr 11, 2021
ef76c72
Fix applicative implementation for Tree.t
Apr 12, 2021
2bf7d02
QCheck.ml compiles
Apr 12, 2021
560ef84
Move to QCheck_ng
Apr 12, 2021
047a848
Various cleanup
Apr 12, 2021
0d554c8
Add mli and add_shrink_invariant
Apr 12, 2021
430fcde
libev needed for utop
Apr 12, 2021
c14a844
Improve error message for find_origin
Apr 12, 2021
475c87b
Improve and fix the printable char generator
Apr 12, 2021
19ff5ab
Format
Apr 12, 2021
bea6858
Add pretty printer for Tree.t to ease debug
Apr 12, 2021
947c9ab
Fix infinite loop on int_range
Apr 12, 2021
1aceb83
Fix adding the last shrink candidate for int_range and int32/64 ranges
Apr 12, 2021
ba8dbd6
Change shuffle_a to a regular generator
Apr 13, 2021
a0d1a7f
Improve pretty printer
Apr 13, 2021
ec33bf4
Remove commented out code
Apr 20, 2021
490f746
Massive rework
Apr 20, 2021
081f2bc
Add Tree.t to API
Apr 21, 2021
1859a91
Rename QCheck_ng to QCheck2
Apr 21, 2021
e789468
Add make_primitive and rewrite Tree.int_towards in terms of it
Apr 21, 2021
ce24de1
Also adapt ui64 and ui32
Apr 21, 2021
594514d
Add float shrinking
Apr 21, 2021
14a5b3a
Followup on origin and float shrinking
Apr 21, 2021
3a9bf2e
Remove small
Apr 21, 2021
fadc7a8
Add migration functions
Apr 22, 2021
b5cd8ad
Draft of QCheck_base_runner modularisation
Apr 22, 2021
0c500b3
Reorganize, factor out, fix documentation
Apr 23, 2021
b6b5a25
Add labels to make_primitive
Apr 23, 2021
10d49a5
Typo intf doc
Apr 23, 2021
4aadcd1
Explore having QCheck generate Test module from QCheck2
Apr 26, 2021
75db65b
Cleanup commented code
Apr 27, 2021
55a7319
Unstage Nix files
Apr 27, 2021
01cac33
Another attempt at removing commented code...
Apr 27, 2021
56356b4
Fix off-by-1 error in frequency generator (int_bound is inclusive)
Apr 27, 2021
9c8ccfa
Fix int_range incorrectly adding 'a' in some cases
Apr 27, 2021
df25426
Reuse int32/63_towards
Apr 28, 2021
bdfc905
Document/rework `pint`
Apr 28, 2021
2a88f72
Reorganize MLI, add int32/int64 aliases
Apr 28, 2021
adf0125
WIP: Rehaul documentation
Apr 28, 2021
fc6ac42
Document Observable
Apr 29, 2021
e64f36d
Document Tree, rename getters
Apr 29, 2021
2fa15e3
WIP doc Gen
Apr 29, 2021
46df424
Moar doc
Apr 29, 2021
8fe71f1
End of monad part of doc on Gen
Apr 30, 2021
333fbc8
Document and remove a lot of code in Shrink module
Apr 30, 2021
ffd100f
Document Print and rename map/comap functions
Apr 30, 2021
201471b
Fix build and remove Iter
Apr 30, 2021
f4f9cd9
Cleanup top level documentation
Apr 30, 2021
b70b7fe
Document Test and TestResult
May 1, 2021
1d4323a
Start cleanup top level
May 1, 2021
19914db
Migration guide
May 1, 2021
e11abf8
Major documentation upgrade on top level elements
May 1, 2021
328e7df
Consistency on RS vs Random.State
May 8, 2021
525ff27
Migrate to Format
May 9, 2021
1ceea87
Bump min OCaml version to 4.08
May 9, 2021
978c45a
Use format string
May 9, 2021
ac36c23
Add comment on QCheck.Test
May 9, 2021
ff99201
Minor improvement on cell documentation
sir4ur0n May 9, 2021
40014f3
number_towards: use module
May 9, 2021
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .envrc
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
use_nix

eval $(opam env --set-switch)
9 changes: 9 additions & 0 deletions shell.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{ pkgs ? import <nixpkgs> {} }:
pkgs.mkShell {
# buildInputs is for dependencies you'd need "at run time",
# were you to to use nix-build not nix-shell and build whatever you were working on
buildInputs = with pkgs; [
opam
git
];
}
Loading