@hackage panic dependents

7 results

@hackage/bv-sized
a bitvector datatype that is parameterized by the vector width
BSD-3-Clausev1.0.5
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev3.19
@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
BSD-3-Clausev3.19
@hackage/crucible
Crucible is a library for language-agnostic symbolic simulation
BSD-3-Clausev0.7
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/demangler
Demangler for C++ mangled names.
BSD-3-Clausev1.3.2.0
@hackage/what4
Solver-agnostic symbolic values support for issuing queries
BSD-3-Clausev1.5.1