lib:CSPM-cspm

Modules

• CSPM.Assert
• CSPM.LTS.Deadlock
• CSPM.LTS.LTS
• CSPM.LTS.MkLtsDFS
• CSPM.LTS.MkLtsPar
• CSPM.LTS.ToCsp
• CSPM.LTS.ToDot
• CSPM.Lua
• Language.CSPM.AstToXML
• Main.Args
• Main.ExceptionHandler
• Main.ExecCommand

Dependencies

• CSPM-CoreLanguage lib:CSPM-CoreLanguage >=0.3.1 && <0.4
• CSPM-FiringRules lib:CSPM-FiringRules >=0.4.4 && <0.5
• CSPM-Frontend lib:CSPM-Frontend >=0.12.1 && <0.13
• CSPM-Interpreter lib:CSPM-Interpreter >=0.7.1 && <0.8
• CSPM-ToProlog lib:CSPM-ToProlog >=0.5.5 && <0.6
• base lib:base >=4.0 && <5.0
• cmdargs lib:cmdargs >=0.10 && <0.11
• containers lib:containers >=0.5 && <0.6
• hslua lib:hslua >=0.3.12 && <0.4
• parallel lib:parallel >=3.2 && <3.3
• prettyclass lib:prettyclass >=1.0 && <1.1
• syb lib:syb >=0.7 && <0.8
• transformers lib:transformers >=0.5
• xml lib:xml >=1.3 && <1.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything