search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

add hook KREFLECTION.isConcrete #2394

Closed daejunpark closed 6 years ago

daejunpark commented 6 years ago

Add KREFLECTION.isConcrete hook which checks if the given term has no variables and no unresolved functions.

daejunpark commented 6 years ago

I merge this to release erc20 verification on time. We can revert it later if a problem found.