Skip to content

Pull requests: automators-com/flowproof

New pull request New
6 Open 459 Closed
6 Open 459 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

docs(readme): add an Upgrading section
#557 opened Sep 7, 2026 by HappyDevs1 Collaborator Loading…
2 tasks done
1
docs(trace): document the header control field
#556 opened Sep 7, 2026 by HappyDevs1 Collaborator Loading…
2 tasks done
1
docs: plan SAP GUI/Fiori/Excel config demo
#540 opened Sep 1, 2026 by HappyDevs1 Collaborator • 1/2 • Draft
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 • 5/5 Loading…
1
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 • 4/5 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 • 3/5 Loading…
1
ProTip! no:milestone will show everything without a milestone.