issues
search
well-typed
/
falsify
Other
36
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Generate and shrink functions
#23
edsko
closed
1 year ago
0
Support `captureLocalTree`
#22
edsko
closed
1 year ago
0
Introduce `ShrinkStep`
#21
edsko
closed
1 year ago
0
Replace `runExplain` by `explainGen`
#20
edsko
closed
1 year ago
0
Provide and take advantage of a selective API
#19
edsko
closed
1 year ago
0
Introduce `TestRun`
#18
edsko
closed
1 year ago
0
Improve test driver
#17
edsko
closed
1 year ago
0
Provide escape hatch for manual shrinking
#16
edsko
closed
1 year ago
0
Generator for binary trees
#15
edsko
closed
1 year ago
0
Distinguish between shrunk and not-yet-shrunk
#14
edsko
closed
1 year ago
0
Simplify `Range`
#13
edsko
closed
1 year ago
0
Improve various aspects of the design
#12
edsko
closed
1 year ago
0
Think about generation of functions
#11
edsko
closed
1 year ago
1
Remove FMap again, but introduce Prim
#10
edsko
closed
1 year ago
0
Introduce explicit `FMap` constructor
#9
edsko
closed
1 year ago
0
Remove references from the readme
#8
edsko
closed
1 year ago
0
Slightly nicer rendering
#7
edsko
closed
1 year ago
0
Test driver and tasty support
#6
edsko
closed
1 year ago
0
Improve shrinking performance by only using the precision we need
#5
edsko
closed
1 year ago
0
Add comment
#4
edsko
closed
1 year ago
0
Make precision of `fraction` configurable
#3
edsko
closed
1 year ago
0
Alternative approach
#2
edsko
closed
1 year ago
0
WIP: Initial sketch
#1
edsko
closed
1 year ago
2
Previous