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 && <0.4
• CSPM-FiringRules lib:CSPM-FiringRules >=0.4 && <0.5
• CSPM-Frontend lib:CSPM-Frontend >=0.9 && <0.10
• CSPM-Interpreter lib:CSPM-Interpreter >=0.6 && <0.7
• CSPM-ToProlog lib:CSPM-ToProlog >=0.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.6
• parallel lib:parallel >=3.2 && <3.3
• pretty lib:pretty >=1.1 && <1.2
• prettyclass lib:prettyclass >=1.0 && <1.1
• syb lib:syb >=0.4 && <0.5
• transformers lib:transformers >=0.3 && <0.4
• xml lib:xml >=1.3 && <1.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything