Skip to content

Rename Naming/PredicateName -> Naming/PredicatePrefix#36

Merged
hanachin merged 1 commit intomainfrom
update_config
Jul 1, 2025
Merged

Rename Naming/PredicateName -> Naming/PredicatePrefix#36
hanachin merged 1 commit intomainfrom
update_config

Commits

Commits on Jun 30, 2025