search

boogie-org / boogie-friends

Tools for interacting with Boogie
45 stars 13 forks source link

add reveal and const keywords #21

Closed 0xabu closed 7 years ago

cpitclaudel commented 7 years ago

Thanks!