search

jyoo980 / silver

Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
0 stars 0 forks source link

Implement `typeCheck` for PInlinePredicate #11

Open jyoo980 opened 3 years ago

jyoo980 commented 3 years ago

Should be some related work in the termination plugin