-
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
ci(sap-e2e): upload the run bundle flowproof already writes
#481
opened Aug 14, 2026 by
HappyDevs1
Collaborator
Loading…
3 tasks
test(sap): the simulator models a modal and a table control
#480
opened Aug 13, 2026 by
HappyDevs1
Collaborator
Loading…
test(sap): add reversible standard text lifecycle
#473
opened Aug 12, 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…
test(sap): add complex sales order audit
#467
opened Aug 11, 2026 by
HappyDevs1
Collaborator
Loading…
fix(sap): heartbeat script to keep the self-hosted VM session logged in
#453
opened Aug 7, 2026 by
HappyDevs1
Collaborator
Loading…
2 of 3 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.