The latest version of panic is 0.4.0.1-0.
lib:panic
Modules
Dependencies
- base lib:base >=4.5 && <5.0
- gitrev lib:gitrev >=1.0
- template-haskell lib:template-haskell >=0
Reverse dependencies
Direct only. Not exhaustive.
- bv-sized lib:bv-sized
- copilot-theorem lib:copilot-theorem
- copilot-verifier exe:verify-examples
- copilot-verifier lib:copilot-verifier
- copilot-verifier lib:copilot-verifier-examples
- crucible lib:crucible
- crucible test:helper-tests
- cryptol lib:cryptol
- demangler lib:demangler
- what4 lib:what4