Skip to content

Supports quantifiers in function contracts#5959

Merged
SaswatPadhi merged 1 commit intodiffblue:developfrom
ArenBabikian:contracts-quantifiers-new
Apr 2, 2021

Commits

Commits on Apr 2, 2021