-
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
refactor(trace): dedupe downloads_dir secret resolution into one helper
#494
opened Aug 18, 2026 by
HappyDevs1
Collaborator
Loading…
3 tasks done
fix(examples): stop claiming a guessed selector is a flagged TODO
#493
opened Aug 18, 2026 by
HappyDevs1
Collaborator
Loading…
3 tasks done
fix(adapters): close the download-wait race against a fast finish
#492
opened Aug 18, 2026 by
HappyDevs1
Collaborator
Loading…
3 tasks done
test(sap): the simulator models a modal and a table control
#480
opened Aug 13, 2026 by
HappyDevs1
Collaborator
Loading…
test(falsifiability): the side-effect assertion proven able to fail (#465 Phase A, 5/5)
needs-human
A loop escalated this: it needs a decision or a protected-path change
#472
opened Aug 11, 2026 by
AminChirazi
Contributor
Loading…
feat(trace): assert_no_side_effect turns side-effect observation into a verdict (#465 Phase A, 4/5)
needs-human
A loop escalated this: it needs a decision or a protected-path change
#471
opened Aug 11, 2026 by
AminChirazi
Contributor
Loading…
feat(agent): record observed egress as http_request side effects (#465 Phase A, 3/5)
needs-human
A loop escalated this: it needs a decision or a protected-path change
#470
opened Aug 11, 2026 by
AminChirazi
Contributor
Loading…
feat(agent): record observed fs writes into the side-effect lane (#465 Phase A, 2/5)
needs-human
A loop escalated this: it needs a decision or a protected-path change
#469
opened Aug 11, 2026 by
AminChirazi
Contributor
Loading…
feat(trace): first-class side_effect record and lane (#465 Phase A, 1/5)
needs-human
A loop escalated this: it needs a decision or a protected-path change
#468
opened Aug 11, 2026 by
AminChirazi
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.