search

kframework / java-semantics

The semantics of Java in K
19 stars 9 forks source link

Verification Specifications #55

Closed laurayuwen closed 8 years ago

laurayuwen commented 8 years ago

remove storeMetadata cell and change whileImpl to normal while, correct min typo