search

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Existential matching of simplification side conditions #3942

Closed geo2a closed 1 month ago

geo2a commented 3 months ago

Related to #3861

geo2a commented 1 month ago

Subsumed by https://github.com/runtimeverification/haskell-backend/pull/4022