Copilot
|
b091bae4d2
|
SpecBot: Output to Discussions instead of Pull Requests (#8399)
* Initial plan
* Replace create-pull-request with create-discussion for SpecBot
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 20:57:58 -08:00 |
|
Copilot
|
918946a253
|
[WIP] Add SpecBot workflow for code annotation with assertions (#8388)
* Initial plan
* Add SpecBot agentic workflow for automatic specification mining
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix SpecBot network configuration and add documentation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 20:57:57 -08:00 |
|
Copilot
|
cec04af85b
|
Add agentic workflow for automated soundness bug detection and reproduction (#8275)
* Initial plan
* Add soundness bug detector and reproducer agentic workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Complete soundness bug detector workflow implementation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
2026-02-18 20:57:51 -08:00 |
|