Skip to content

refactor: rename QuantifierContext to QuantifierContexts#759

Merged
vbreuss merged 1 commit into
mainfrom
topic/rename-quantifiercontext
Sep 4, 2025
Merged

refactor: rename QuantifierContext to QuantifierContexts#759
vbreuss merged 1 commit into
mainfrom
topic/rename-quantifiercontext

refactor: rename `QuantifierContext` to `QuantifierContexts`

435142b
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / SonarCloud succeeded Sep 4, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.