-
BRUN Lelio authoredmore compact assign clauses for state variables, and remove useless memory pack predicates and assertions
BRUN Lelio authoredmore compact assign clauses for state variables, and remove useless memory pack predicates and assertions
Code owners
Assign users and groups as approvers for specific file changes. Learn more.