The latest version of KiCS-prophecy is 0.1.1-0.
lib:KiCS-prophecy
Modules
- Curry.Files.ProphecyPath
- Curry.Module.CEventOracle
- Curry.Module.LiftCases
- Curry.Module.Make
- Curry.Module.Oracle
Dependencies
Reverse dependencies
Direct only. Not exhaustive.
- KiCS-debugger exe:mkstrict
- acme-everything lib:acme-everything