search

kframework / vyper-semantics

KVyper: Semantics of Vyper in K
41 stars 9 forks source link

Viper -> Vyper #2

Closed DanielRX closed 6 years ago

DanielRX commented 6 years ago

Vyper is the currently accepted name for the project, and should be reflected in this repo

Rename Viper -> Vyper inside files (with case sensitive changes)

Rename all files and folders Viper -> Vyper