-
Notifications
You must be signed in to change notification settings - Fork 46
Pull requests: fmagent-project/FM-Agent
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(spec): disambiguate qualified callee expectation matching
#221
opened Aug 22, 2026 by
yeunmer2006
Contributor
Loading…
refactor: optimize the filtering and display of specific information in the report index
#220
opened Aug 22, 2026 by
lztmdrclht
Contributor
Loading…
Fix Erlang call-edge FQNs for top-down layering (#218)
#219
opened Aug 22, 2026 by
okcomputer2000
Contributor
Loading…
fix(incremental): make metadata failures explicit and preserve callee entries
#217
opened Aug 19, 2026 by
Fancyyyf
Loading…
refactor(spec): make specification generation plugin-configurable
#209
opened Aug 12, 2026 by
n3sRan
Contributor
Loading…
refactor(spec): generate batch prompts in process
#196
opened Aug 11, 2026 by
n3sRan
Contributor
Loading…
feat(trace): save provider reasoning payloads
#189
opened Aug 7, 2026 by
okcomputer2000
Contributor
Loading…
Retry errored reasoning and bug validation results on resume
#187
opened Aug 7, 2026 by
craziery
Loading…
feat(all-bugs): report multiple violations per checkpoint
#180
opened Aug 3, 2026 by
yeunmer2006
Contributor
Loading…
refactor: drop phase dimension, drive pipeline by modules
#171
opened Aug 2, 2026 by
404MaximWang
Loading…
feat: add WP (weakest precondition) bottom-up reasoning
#161
opened Jul 27, 2026 by
fangbin
Loading…
6 tasks done
Fix Rescan ready files after spec producers exit to avoid skipping verification #155
#159
opened Jul 26, 2026 by
lztmdrclht
Contributor
Loading…
Fix is_file_ready validation and isolate bug-validator probes from fm_agent
#141
opened Jul 20, 2026 by
Fancyyyf
Loading…
ci: scope private sync to public repository
#135
opened Jul 19, 2026 by
heiyan-2020
Contributor
Loading…
Add conservative Chisel module-only extraction and CIRCT-backed module graph support
#130
opened Jul 15, 2026 by
okcomputer2000
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.