search

runtimeverification / haskell-backend

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

Remove duplicates when generating a kore term from a substitution #3936

Closed goodlyrottenapple closed 2 weeks ago

goodlyrottenapple commented 2 weeks ago

Fixes #3912