@hackage / tasty-sugar

Tests defined by Search Using Golden Answer References

2.2.3.3

Dependents

@hackage / crucible-llvm Support for translating and executing LLVM code in Crucible
- Version: 0.9
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / crux-llvm A verification tool for C programs.
- Version: 0.12
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / llvm-pretty-bc-parser LLVM bitcode parsing library
- Version: 0.6.0.0
- Last uploaded: 5 months ago
- License: BSD-3-Clause
@hackage / tasty-prelude Unopinionated top-level entry point to tasty ecosystem.
- Version: 0.1.0.0
- Last uploaded: 5 years ago
- License: MPL-2.0
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version: 1.7.3
- Last uploaded: 5 months ago
- License: BSD-3-Clause