search

kframework / matching-logic-prover

15 stars 4 forks source link

Preparation for Hyperproperties - part 1 #65

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

New patterns: