Skip to content

Pull requests: NUS-Program-Verification/AutoRocq

New pull request New
9 Open 7 Closed
9 Open 7 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

Tests real assertions
#18 opened Sep 2, 2026 by dingf3ng Collaborator • Draft
agent: save the proof tree with the run's other outputs
#17 opened Sep 2, 2026 by dingf3ng Collaborator • 8/8 Loading…
tests: pass enable_context_search to ContextManager, not ProofController
#15 opened Sep 2, 2026 by dingf3ng Collaborator • 7/8 Loading…
tests: give test_llm_tactic_generator the config fixture it asks for
#13 opened Sep 2, 2026 by dingf3ng Collaborator • 6/8 Loading…
examples: restore example.v to its unproven state
#12 opened Sep 2, 2026 by dingf3ng Collaborator • 1/8 Loading…
backend: report query failures instead of encoding them
#11 opened Sep 1, 2026 by dingf3ng Collaborator • 5/8 Loading…
tests: make the query and search tests assert results
#10 opened Sep 1, 2026 by dingf3ng Collaborator • 4/8 Loading…
agent: prove on a scratch copy, not the user's file
#9 opened Sep 1, 2026 by dingf3ng Collaborator • 3/8 Loading…
tests: run every test against a temp copy
#8 opened Sep 1, 2026 by dingf3ng Collaborator • 2/8 Loading…
ProTip! Filter pull requests by the default branch with base:main.