@hackage / bv-sized

a bitvector datatype that is parameterized by the vector width

1.0.7

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / bv-sized-lens Well-typed lenses for bv-sized bitvectors.
- Version: 0.1.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / copilot-theorem k-induction for Copilot.
- Version: 4.8
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / copilot-verifier System for verifying the correctness of generated Copilot programs
- Version: 4.8
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / crucible Crucible is a library for language-agnostic symbolic simulation
- Version: 0.9
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / crucible-llvm Support for translating and executing LLVM code in Crucible
- Version: 0.9
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / crucible-symio An implementation of symbolic I/O primitives for Crucible
- Version: 0.2.0.0
- Last uploaded: 9 months ago
- License: BSD-3-Clause
@hackage / crucible-syntax A syntax for reading and writing Crucible control-flow graphs
- Version: 0.5.0.0
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / crux Simple top-level library for Crucible Simulation
- Version: 0.9
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / crux-llvm A verification tool for C programs.
- Version: 0.12
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / cryptol Cryptol: The Language of Cryptography
- Version: 3.5.0
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / rme-what4 What4 adapter for the RME solver
- Version: 0.1.2
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version: 1.7.3
- Last uploaded: 6 months ago
- License: BSD-3-Clause