Nuno Lopes
|
a7def9e65d
|
bot: restore std::format
|
2026-01-16 09:35:42 +00:00 |
|
Copilot
|
be2d7ecb91
|
Change code-conventions-analyzer workflow discussion category to "Agentic Workflows" (#8203)
* Initial plan
* Update code-conventions-analyzer discussion category to "Agentic Workflows"
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-01-15 12:45:47 -08:00 |
|
Nuno Lopes
|
888d2fc480
|
copilot: don't use std::format and try using clang-tidy
|
2026-01-14 09:17:49 +00:00 |
|
Copilot
|
3bf271bb42
|
Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors (#8192)
* Initial plan
* Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors
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-01-13 18:57:10 -08:00 |
|
Copilot
|
635c7ea32e
|
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-01-13 09:35:57 -08:00 |
|
Copilot
|
40250bfcb8
|
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-01-11 18:08:24 -08:00 |
|
Copilot
|
05994345cb
|
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-01-10 12:28:31 -08:00 |
|