search

kframework / matching-logic-prover

15 stars 4 forks source link

Another Hyperproperties stuff #69

Closed h0nzZik closed 4 years ago

nishantjr commented 4 years ago

Looks good. WE may be able to merge syntactic match and match soon. We've generalized it a lot. It does do AC matching though, instead of purely syntactic.

nishantjr commented 4 years ago

Please delete all branches that are left open