search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Upstream `match_ac` function #166

Closed Baltoli closed 1 year ago

Baltoli commented 1 year ago

The K summarizer contains a limited AC matching function that does bipartite matching over a list of clauses and terms to produce the set of potential matches. We should upstream this function to Pyk and add test cases.

https://github.com/runtimeverification/ksummarize/blob/6f8b5858338024087c64d59a78ab448db96ede03/ksummarize/src/ksummarize/util.py#L332

ehildenb commented 1 year ago

No one else has called for this, so we can close.