The latest version of CSPM-FiringRules is 0.4.4.0-0.
lib:CSPM-FiringRules
Modules
- CSPM.FiringRules.EnumerateEvents
- CSPM.FiringRules.FieldConstraints
- CSPM.FiringRules.HelperClasses
- CSPM.FiringRules.Rules
- CSPM.FiringRules.Test.Test
- CSPM.FiringRules.Trace
- CSPM.FiringRules.Verifier
Dependencies
- CSPM-CoreLanguage lib:CSPM-CoreLanguage >=0.1 && <0.2
- QuickCheck lib:QuickCheck >=2.1 && <2.2
- base lib:base >=4.0 && <5.0
- containers lib:containers >=0.3 && <0.4
- mtl lib:mtl >=1.1 && <1.2
- random lib:random >=1.0 && <1.1
Reverse dependencies
Direct only. Not exhaustive.
- CSPM-cspm exe:cspm
- acme-everything lib:acme-everything