-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: automators-com/flowproof
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(adapters): read the audit lane back, attributed by filter id
#333
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
fix(adapters): Select typed the option name when the option did not exist
#331
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
feat(grammar): a row that needs two columns to name it could not be named
#330
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
feat(grammar): selecting four options selected one, and said nothing
#329
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
feat(grammar): a count could be asserted but never used
#328
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
docs(grammar): a typed capture is interpolated, not evaluated
#327
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
fix(trace): the published schema rejected traces flowproof itself writes
#325
opened Aug 1, 2026 by
AminChirazi
Contributor
Loading…
SPIKE: draft flow specs from a screen-recording video (see #227)
#242
opened Jul 30, 2026 by
HappyDevs1
Collaborator
•
Draft
ProTip!
Follow long discussions with comments:>50.