@hackage qute-symex dependencies

31 results

library:qute-symex (10 dependencies)

@hackage/simple-smt

A simple way to interact with an SMT solver process.

BSD-3-Clause>=0.9.8 && <0.10

@hackage/exceptions

Extensible optionally-pure exceptions

BSD-3-Clause>=0.10.4 && <0.11

@hackage/deepseq

Deep evaluation of data structures

BSD-3-Clause>=1.4.6.1 && <1.6

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.16.4.0 && <4.23

@hackage/qute

A software analysis framework built around the QBE intermediate language.

GPL-3.0-only AND MIT AND BSD-3-Clause>=0.1 && <0.2

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2.2 && <2.4

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.6.5.1 && <0.9

@hackage/qute-syntax

This package provides a parser for the QBE intermediate language.

GPL-3.0-only AND BSD-2-Clause AND MIT>=0.1 && <0.2

@hackage/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.6.2 && <1.4

@hackage/random

Pseudo-random number generation

BSD-3-Clause>=1.2.1.1 && <1.4

test:qute-symex-test (12 dependencies)

@hackage/simple-smt

A simple way to interact with an SMT solver process.

BSD-3-Clause

@hackage/tasty-golden

Golden tests support for tasty

MIT>=2.3.5

@hackage/tasty

Modern and extensible testing framework

MIT>=1.4.3

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/qute

A software analysis framework built around the QBE intermediate language.

GPL-3.0-only AND MIT AND BSD-3-Clause

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.10.2

@hackage/containers

Assorted concrete container types

BSD-3-Clause

@hackage/qute-syntax

This package provides a parser for the QBE intermediate language.

GPL-3.0-only AND BSD-2-Clause AND MIT

@hackage/qute-symex

A symbolic execution engine for the QBE intermediate language.

GPL-3.0-only AND MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10

@hackage/random

Pseudo-random number generation

BSD-3-Clause

benchmark:qute-symex (9 dependencies)

@hackage/simple-smt

A simple way to interact with an SMT solver process.

BSD-3-Clause

@hackage/criterion

Robust, reliable performance measurement and analysis

BSD-3-Clause^>=1.6.4.0

@hackage/base

Core data structures and operations

BSD-3-Clause

@hackage/qute

A software analysis framework built around the QBE intermediate language.

GPL-3.0-only AND MIT AND BSD-3-Clause

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@hackage/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@hackage/qute-syntax

This package provides a parser for the QBE intermediate language.

GPL-3.0-only AND BSD-2-Clause AND MIT

@hackage/process

Process libraries

BSD-3-Clause

@hackage/qute-symex

A symbolic execution engine for the QBE intermediate language.

GPL-3.0-only AND MIT