The latest version of dclabel is 0.9.0.0-0.
lib:dclabel
Modules
- DCLabel.Core
- DCLabel.Integrity
- DCLabel.NanoEDSL
- DCLabel.PrettyShow
- DCLabel.Safe
- DCLabel.Secrecy
- DCLabel.TCB
Dependencies
- QuickCheck lib:QuickCheck >=2.1
- base lib:base >=4 && <5
- pretty lib:pretty >1.0.1 && <2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- dclabel bench:benchmarks
- dclabel test:tests
- lio lib:lio
- lio test:tests