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.LTS.Utils
• 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.7 && <0.8
• CSPM-Interpreter lib:CSPM-Interpreter >=0.5 && <0.6
• CSPM-ToProlog lib:CSPM-ToProlog >=0.4 && <0.5
• base lib:base >=4.0 && <5.0
• cmdargs lib:cmdargs >=0.7 && <0.8
• containers lib:containers >=0.4 && <0.5
• hslua lib:hslua ==0.3.3
• parallel lib:parallel >=3.1 && <3.2
• pretty lib:pretty >=1.0 && <1.1
• syb lib:syb >=0.3 && <0.4
• transformers lib:transformers >=0.2 && <0.3
• xml lib:xml >=1.3 && <1.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything