@hackage qute-symex0.1.1

A symbolic execution engine for the QBE intermediate language.

Categories
License
GPL-3.0-only AND MIT
Maintainer
soeren+hackage@soeren-tempel.net
Links
Versions
- 0.1.1 Mon, 31 Aug 2026
- 0.1.0 Tue, 25 Aug 2026

Installation
In your cabal file:
Dependencies (10)
- base >=4.16.4.0 && <4.23
- containers >=0.6.5.1 && <0.9
- deepseq >=1.4.6.1 && <1.6
- directory >=1.3.6.2 && <1.4
- exceptions >=0.10.4 && <0.11
- mtl >=2.2.2 && <2.4
Dependents (1)
@hackage/qute-cli

Based on the formal semantics of the Qute package, this library provides a symbolic execution engine for the QBE intermediate language. Thereby, it enables formal reasoning about a software under test using SMT solvers.

The underlying vision behind Qute's symbolic execution engine is further described in a separate paper.

@hackage qute-symex0.1.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (10)

Dependents (1)