mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-31 06:07:46 +00:00
Code Activity

copilot instructions

Browse source
This commit is contained in:
Nuno Lopes 2026-01-22 19:47:55 +00:00 • committed by Nikolaj Bjorner
parent 1d417e3a0f
commit 1d719af64a
1 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

18
.github/workflows/code-conventions-analyzer.md vendored
View file

@ -376,6 +376,12 @@ Identify opportunities specific to Z3's architecture and coding patterns:
- Alternatives: `std::expected`, `std::optional`, error codes - Alternatives: `std::expected`, `std::optional`, error codes
- Performance and clarity improvements - Performance and clarity improvements
**Inefficient Stream Output:**
- Using strings to output single characters, such as << "X",
as well as using multiple consecutive constant strings such as << "Foo" << "Bar".
- Alternatives: << 'X' and << "Foo" "Bar"
- Performance improvement and binary size reduction
## Analysis Methodology ## Analysis Methodology
1. **Sample key directories** in the codebase: 1. **Sample key directories** in the codebase:
@ -693,6 +699,12 @@ For each opportunity, provide:
- **Performance**: [Impact of exception-based control flow] - **Performance**: [Impact of exception-based control flow]
- **Refactoring Opportunities**: [Specific patterns to replace] - **Refactoring Opportunities**: [Specific patterns to replace]
### 4.13 Inefficient Stream Output
- **Current Usage**: [string stream output operator used for single characters]
- **Modern Alternatives**: [use char output operator]
- **Performance**: [Reduce code size and improve performance]
- **Refactoring Opportunities**: [<< "X"]
## 5. Priority Recommendations ## 5. Priority Recommendations
Ranked list of improvements by impact and effort: Ranked list of improvements by impact and effort:
@ -945,6 +957,12 @@ grep pattern: "try.*\{.*for\(|try.*\{.*while\(" glob: "src/**/*.cpp"
grep pattern: "catch.*continue|catch.*break" glob: "src/**/*.cpp" grep pattern: "catch.*continue|catch.*break" glob: "src/**/*.cpp"
``` ```
**Find inefficient output string operations using constant strings:**
```
grep pattern: "<<\s*\".\"" glob: "src/**/*.cpp"
grep pattern: "<<\s*\".*\"\s*<<\s*\".*\"" glob: "src/**/*.cpp"
```
## Security and Safety ## Security and Safety
- Never execute untrusted code - Never execute untrusted code