added semantic checks for external call hyperparameter types and usage - Githubissues

flintrocks / flint

The Flint Programming Language for Smart Contracts

MIT License

2 stars 0 forks source link

added semantic checks for external call hyperparameter types and usage #106

Closed CalinFarcas closed 5 years ago

CalinFarcas commented 5 years ago

Closes #95

Added semantic checks for external call hyper-parameters and types