First implementation of Rule 22-3-1#986

Merged

MichaelRFairhurst merged 9 commits intomainfrom

michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

Mar 17, 2026

Commits on Nov 25, 2025

Commits on Feb 25, 2026

Merge remote-tracking branch 'origin/main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
MichaelRFairhurst
committed

Commits on Feb 26, 2026

Merge remote-tracking branch 'origin/main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
MichaelRFairhurst
committed

Commits on Feb 28, 2026

Merge branch 'main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
MichaelRFairhurst
authored

Commits on Mar 4, 2026

Merge branch 'main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
MichaelRFairhurst
authored

Commits on Mar 5, 2026

Merge branch 'main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants
MichaelRFairhurst
authored

Commits on Mar 10, 2026

Update cpp/common/src/codingstandards/cpp/standardlibrary/Assert.qll

mbaluda
and
Copilot
authored

Commits on Mar 17, 2026

Comment fix on aborts+asserts

MichaelRFairhurst
and
Copilot
authored