Copilot
|
3c0c29d37a
|
Extend code-conventions-analyzer workflow with Z3-specific C++ modernization patterns (#8187)
* Initial plan
* Update code-conventions-analyzer workflow with modern C++ preferences
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:11 -08:00 |
|
Copilot
|
c92fe7ced9
|
Change Code Conventions Analyzer to output to Discussions instead of Issues (#8163)
* Initial plan
* Change Code Conventions Analyzer to use Discussions instead of Issues
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:09 -08:00 |
|
Copilot
|
13f6f8b82e
|
Add agentic workflow for C++ coding conventions and modernization analysis (#8140)
* Initial plan
* Add code conventions analyzer agentic workflow
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:07 -08:00 |
|