-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: strata-org/specimen
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix missing typeclass constraints for polymorphic dependencies
#42
opened Jun 24, 2026 by
segevem
Collaborator
Loading…
3 tasks done
Add wishlist-synthesis pattern to KeyValueStore example
#41
opened Jun 24, 2026 by
segevem
Collaborator
Loading…
2 tasks done
Classify generator/enumerator errors as inconclusive vs impossible
#40
opened Jun 24, 2026 by
segevem
Collaborator
Loading…
2 tasks done
Add monadic step scorer, ctorWeight emission, and new scoring strategies
#39
opened Jun 24, 2026 by
segevem
Collaborator
Loading…
3 tasks done
Derive generators on inductives with struct params
#37
opened Jun 22, 2026 by
mwhicks1
Contributor
Loading…
Specimen delegated producer for equalities on function calls
#36
opened Jun 22, 2026 by
mwhicks1
Contributor
Loading…
Add specimen.silent option to suppress
Try this: suggestions
#15
opened Jun 9, 2026 by
seanmcl
Loading…
3 tasks done
ProTip!
Adding no:label will show everything without a label.