marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

View project on GitHub

  • 2020-03-31 22:27:46 UTC - Planned check