-
Notifications
You must be signed in to change notification settings - Fork 27
Pull requests: aallan/vera
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Make the entry file an owner, and refuse only where two declarations meet
#1437
opened Sep 7, 2026 by
aallan
Owner
Loading…
Bound the datatype group so a non-regular recursion gives a verdict
#1432
opened Sep 7, 2026 by
aallan
Owner
Loading…
Derive one sort for a refined payload, wherever a term is rebuilt
#1431
opened Sep 7, 2026 by
aallan
Owner
Loading…
Key constructor layouts per owning ADT, so a user constructor cannot displace a prelude one
#1419
opened Sep 7, 2026 by
aallan
Owner
Loading…
Follow the value, not the spelling, when a disclosed fact is read
#1418
opened Sep 6, 2026 by
aallan
Owner
Loading…
Let a match arm's assert read the facts the arm establishes
#1415
opened Sep 6, 2026 by
aallan
Owner
Loading…
Thread the piped call form through shadowed-generic discovery
#1364
opened Sep 2, 2026 by
AmirF194
Contributor
Loading…
5 tasks done
deps: bump z3-solver from 4.16.0.0 to 5.1.0.0
dependencies
Dependency updates
#1352
opened Aug 24, 2026 by
dependabot
Bot
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.