/denotse

Primary LanguageHaskellMIT LicenseMIT

denotse

Denotse (DENOTational Symbolic Execution, pronounced "denotes") implements symbolic execution for the WHILE language in the style of Denotational Semantics for Symbolic Execution.

To build

cabal build

To run

cabal run

To open interactive session

cabal repl