search

runtimeverification / hs-backend-booster

Accelerates K Framework's Haskell backend
BSD 3-Clause "New" or "Revised" License
7 stars 0 forks source link

Add an OrTerm constructor #546

Closed goodlyrottenapple closed 7 months ago

goodlyrottenapple commented 7 months ago

Fixes runtimeverification/haskell-backend#3776. This allows internalising #Or terms, however we cannot match/unify on rules containing these for now.

goodlyrottenapple commented 7 months ago

Closing this as it seems easier to split rules with an #Or internally and not trying to internalise terms with an or, as it doesn't seem make sense to send a configuration containing an #Or in an execute request anyway