ADRs tagged quality¶
Auto-generated by scripts/docs/generate-adr-by-tag.sh. Edit ADR Tags: lines to update.
3 ADR(s) carry this tag.
| ID | Title |
|---|---|
| ADR-1245 | Analyze configured Cppcheck paths exhaustively |
| ADR-1246 | Model verified public functions as Cppcheck entrypoints |
| ADR-1308 | Resolve CodeQL float equality alerts via contract-preserving comparisons |