search

runtimeverification / hs-backend-booster

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

Update dependency: deps/k_release #526

Closed rv-jenkins closed 8 months ago