dcastro/haskell-backend

The symbolic execution engine powering the K Framework

No README found.

Haskell94.1%Nix3.1%Python0.7%Roff0.7%Shell0.4%Makefile0.4%Yacc0.4%Lex0.2%HTML0.1%Dockerfile0.0%JavaScript0.0%SMT0.0%

BSD 3-Clause "New" or "Revised" License

Created July 29, 2022

Updated July 19, 2022