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

Debian package #3955

Closed Baltoli closed 1 week ago

Baltoli commented 1 week ago

This PR sets up a Debian package build for the Haskell backend, similarly to code that already exists for the LLVM backend and K Frontend. The changes here are additive and do not affect any of the build details of the existing backend code.