-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: jsiek/deduce
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Dedup view-law formula and check helpers (refs #813)
#1149
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Extract single-name uniquify binder helper (refs #813)
#1148
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup: extract shared _all_elim_str helper for AllElim/AllElimTypes (refs #813)
#1147
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Suppress spurious 'already defined' warning for nested imperative var shadowing (closes #1144)
#1146
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Type-check imperative proc bodies: locals, assignments, returns (closes #1113)
#1145
opened Jul 27, 2026 by
jsiek
Owner
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.