runtimeverification/haskell-backend

The symbolic execution engine powering the K Framework

语言：Haskell · GitHub 星标：229 · Fork：46

在 GitHub 上查看原仓库