search

runtimeverification / hs-backend-booster

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

549 use get model booster implementation in proxy #556

Closed jberthold closed 7 months ago

jberthold commented 7 months ago

The integration tests remain unchanged, they were already passing with booster-dev implementation before.

FIxes #549

jberthold commented 7 months ago

No significant performance changes with kontrol (and unclear whether we have any kontrol tests for get-model anyway).