Crypto - Githubissues

kframework / k-legacy

The K tools (deprecated, see README)

http://kframework.org

Other

146 stars 61 forks source link

Closed ehildenb closed 7 years ago

ehildenb commented 7 years ago

@cos @msaxena2 can we get this merged for the EVM semantics?

msaxena2 commented 7 years ago

@cos Please review.