Skip to content

[verifier] Added type-checking of templated type arguments for entry functions#469

Merged
awelc merged 4 commits intomainfrom aw/move-param-typecheckFeb 17, 2022

Commits

Commits on Feb 17, 2022