CSPM-FiringRules 0.4.3.0 → 0.4.4.0
raw patch · 3 files changed
+27/−9 lines, 3 filesdep ~QuickCheckdep ~mtldep ~randomPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck, mtl, random
API changes (from Hackage documentation)
- CSPM.FiringRules.FieldConstraintsSearch: instance Show (RepAP i)
- CSPM.FiringRules.Rules: instance (Eq (Event i), Eq (Prefix i), Eq (Process i), Eq (ExtProcess i), Eq (EventSet i), Eq (RenamingRelation i)) => Eq (RuleEvent i)
- CSPM.FiringRules.Rules: instance (Eq (Process i), Eq (EventSet i), Eq (Prefix i), Eq (ExtProcess i), Eq (RenamingRelation i)) => Eq (RuleTick i)
- CSPM.FiringRules.Rules: instance (Eq (RuleEvent i), Eq (RuleTick i), Eq (Process i), Eq (EventSet i), Eq (RenamingRelation i)) => Eq (RuleTau i)
- CSPM.FiringRules.Rules: instance (Eq (RuleEvent i), Eq (RuleTick i), Eq (RuleTau i)) => Eq (Rule i)
- CSPM.FiringRules.Rules: instance (Ord (Event i), Ord (Prefix i), Ord (Process i), Ord (ExtProcess i), Ord (EventSet i), Ord (RenamingRelation i)) => Ord (RuleEvent i)
- CSPM.FiringRules.Rules: instance (Ord (Process i), Ord (EventSet i), Ord (Prefix i), Ord (ExtProcess i), Ord (RenamingRelation i)) => Ord (RuleTick i)
- CSPM.FiringRules.Rules: instance (Ord (RuleEvent i), Ord (RuleTick i), Ord (Process i), Ord (EventSet i), Ord (ExtProcess i), Ord (Prefix i), Ord (Event i), Ord (RenamingRelation i)) => Ord (RuleTau i)
- CSPM.FiringRules.Rules: instance (Show (Event i), Show (Prefix i), Show (Process i), Show (ExtProcess i), Show (EventSet i), Show (RenamingRelation i)) => Show (RuleEvent i)
- CSPM.FiringRules.Rules: instance (Show (Process i), Show (EventSet i), Show (Prefix i), Show (ExtProcess i), Show (RenamingRelation i)) => Show (RuleTick i)
- CSPM.FiringRules.Rules: instance (Show (RuleEvent i), Show (RuleTick i), Show (Process i), Show (EventSet i), Show (RenamingRelation i)) => Show (RuleTau i)
- CSPM.FiringRules.Rules: instance (Show (RuleEvent i), Show (RuleTick i), Show (RuleTau i)) => Show (Rule i)
- CSPM.FiringRules.Rules: instance Typeable Rule
+ CSPM.FiringRules.FieldConstraintsSearch: instance GHC.Show.Show (CSPM.FiringRules.FieldConstraintsSearch.RepAP i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Eq (CSPM.CoreLanguage.Event.Event i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.Prefix i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleEvent i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Eq (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.Prefix i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleTick i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleEvent i), GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleTick i), GHC.Classes.Eq (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Eq (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleTau i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleEvent i), GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleTick i), GHC.Classes.Eq (CSPM.FiringRules.Rules.RuleTau i)) => GHC.Classes.Eq (CSPM.FiringRules.Rules.Rule i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Ord (CSPM.CoreLanguage.Event.Event i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.Prefix i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Ord (CSPM.FiringRules.Rules.RuleEvent i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Ord (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.Prefix i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Ord (CSPM.FiringRules.Rules.RuleTick i)
+ CSPM.FiringRules.Rules: instance (GHC.Classes.Ord (CSPM.FiringRules.Rules.RuleEvent i), GHC.Classes.Ord (CSPM.FiringRules.Rules.RuleTick i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.Process i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.EventSet i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Classes.Ord (CSPM.CoreLanguage.Process.Prefix i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.Event i), GHC.Classes.Ord (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Classes.Ord (CSPM.FiringRules.Rules.RuleTau i)
+ CSPM.FiringRules.Rules: instance (GHC.Show.Show (CSPM.CoreLanguage.Event.Event i), GHC.Show.Show (CSPM.CoreLanguage.Process.Prefix i), GHC.Show.Show (CSPM.CoreLanguage.Process.Process i), GHC.Show.Show (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Show.Show (CSPM.CoreLanguage.Event.EventSet i), GHC.Show.Show (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Show.Show (CSPM.FiringRules.Rules.RuleEvent i)
+ CSPM.FiringRules.Rules: instance (GHC.Show.Show (CSPM.CoreLanguage.Process.Process i), GHC.Show.Show (CSPM.CoreLanguage.Event.EventSet i), GHC.Show.Show (CSPM.CoreLanguage.Process.Prefix i), GHC.Show.Show (CSPM.CoreLanguage.Process.ExtProcess i), GHC.Show.Show (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Show.Show (CSPM.FiringRules.Rules.RuleTick i)
+ CSPM.FiringRules.Rules: instance (GHC.Show.Show (CSPM.FiringRules.Rules.RuleEvent i), GHC.Show.Show (CSPM.FiringRules.Rules.RuleTick i), GHC.Show.Show (CSPM.CoreLanguage.Process.Process i), GHC.Show.Show (CSPM.CoreLanguage.Event.EventSet i), GHC.Show.Show (CSPM.CoreLanguage.Event.RenamingRelation i)) => GHC.Show.Show (CSPM.FiringRules.Rules.RuleTau i)
+ CSPM.FiringRules.Rules: instance (GHC.Show.Show (CSPM.FiringRules.Rules.RuleEvent i), GHC.Show.Show (CSPM.FiringRules.Rules.RuleTick i), GHC.Show.Show (CSPM.FiringRules.Rules.RuleTau i)) => GHC.Show.Show (CSPM.FiringRules.Rules.Rule i)
- CSPM.FiringRules.EnumerateEvents: computeTransitions :: BL i => Sigma i -> Process i -> Search (Rule i)
+ CSPM.FiringRules.EnumerateEvents: computeTransitions :: forall i. BL i => Sigma i -> Process i -> Search (Rule i)
- CSPM.FiringRules.EnumerateEvents: eventTransitions :: BL i => Sigma i -> Process i -> Search (RuleEvent i)
+ CSPM.FiringRules.EnumerateEvents: eventTransitions :: forall i. BL i => Sigma i -> Process i -> Search (RuleEvent i)
- CSPM.FiringRules.EnumerateEvents: tauTransitions :: BL i => Process i -> Search (RuleTau i)
+ CSPM.FiringRules.EnumerateEvents: tauTransitions :: forall i. BL i => Process i -> Search (RuleTau i)
- CSPM.FiringRules.EnumerateEventsList: computeTransitions :: BL i => Sigma i -> Process i -> [Rule i]
+ CSPM.FiringRules.EnumerateEventsList: computeTransitions :: forall i. BL i => Sigma i -> Process i -> [Rule i]
- CSPM.FiringRules.EnumerateEventsList: eventTransitions :: BL i => Sigma i -> Process i -> [RuleEvent i]
+ CSPM.FiringRules.EnumerateEventsList: eventTransitions :: forall i. BL i => Sigma i -> Process i -> [RuleEvent i]
- CSPM.FiringRules.EnumerateEventsList: tauTransitions :: BL i => Process i -> [RuleTau i]
+ CSPM.FiringRules.EnumerateEventsList: tauTransitions :: forall i. BL i => Process i -> [RuleTau i]
- CSPM.FiringRules.FieldConstraints: computeTransitions :: BF i => Sigma i -> Process i -> [Rule i]
+ CSPM.FiringRules.FieldConstraints: computeTransitions :: forall i. BF i => Sigma i -> Process i -> [Rule i]
- CSPM.FiringRules.FieldConstraints: eventTransitions :: BF i => Sigma i -> Process i -> [RuleEvent i]
+ CSPM.FiringRules.FieldConstraints: eventTransitions :: forall i. BF i => Sigma i -> Process i -> [RuleEvent i]
- CSPM.FiringRules.FieldConstraints: tauTransitions :: BF i => Process i -> [RuleTau i]
+ CSPM.FiringRules.FieldConstraints: tauTransitions :: forall i. BF i => Process i -> [RuleTau i]
- CSPM.FiringRules.FieldConstraintsSearch: computeTransitions :: BF i => Sigma i -> Process i -> Search (Rule i)
+ CSPM.FiringRules.FieldConstraintsSearch: computeTransitions :: forall i. BF i => Sigma i -> Process i -> Search (Rule i)
- CSPM.FiringRules.FieldConstraintsSearch: tauTransitions :: BF i => Process i -> Search (RuleTau i)
+ CSPM.FiringRules.FieldConstraintsSearch: tauTransitions :: forall i. BF i => Process i -> Search (RuleTau i)
- CSPM.FiringRules.Trace: trace :: (FShow i, ShowTTE e, CSP2 i, e ~ TTE i) => Sigma i -> Process i -> IO ()
+ CSPM.FiringRules.Trace: trace :: forall i e. (FShow i, ShowTTE e, CSP2 i, e ~ TTE i) => Sigma i -> Process i -> IO ()
- CSPM.FiringRules.Verifier: viewRuleEvent :: BL i => RuleEvent i -> Maybe (Process i, Event i, Process i)
+ CSPM.FiringRules.Verifier: viewRuleEvent :: forall i. BL i => RuleEvent i -> Maybe (Process i, Event i, Process i)
- CSPM.FiringRules.Verifier: viewRuleTau :: BL i => RuleTau i -> Maybe (Process i, Process i)
+ CSPM.FiringRules.Verifier: viewRuleTau :: forall i. BL i => RuleTau i -> Maybe (Process i, Process i)
Files
- CSPM-FiringRules.cabal +13/−8
- LICENSE +1/−1
- README.md +13/−0
CSPM-FiringRules.cabal view
@@ -1,5 +1,5 @@ name: CSPM-FiringRules-version: 0.4.3.0+version: 0.4.4.0 synopsis: Firing rules semantic of CSPM description: This package contains functions for computing the transitions of a CSP process@@ -16,12 +16,17 @@ build-type: Simple license: BSD3 license-file: LICENSE-author: 2010 - 2014 Marc Fontaine+author: 2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de> maintainer: Marc Fontaine <Marc.Fontaine@gmx.de> stability: experimental-tested-With: GHC == 7.83+tested-With: GHC == 8.2.1 -cabal-Version: >= 1.20+cabal-Version: >= 1.24+Extra-Source-Files: README.md+ +Source-Repository head+ type: git+ location: git://github.com/MarcFontaine/cspm flag QuickCheck description: enable QuickCheck tests@@ -30,11 +35,11 @@ library build-Depends: CSPM-CoreLanguage >= 0.3 && < 0.4- ,tree-monad >=0.3 && < 0.4+ ,tree-monad >= 0.3 && < 0.4 ,parallel-tree-search >=0.4 && < 0.5 ,base >= 4.0 && < 5.0 ,containers >= 0.5 && < 0.6- ,mtl >= 2.1 && < 2.2+ ,mtl >= 2.1 && < 2.3 Default-Language: Haskell2010 ghc-options: -funbox-strict-fields -O2 -Wall@@ -56,8 +61,8 @@ if flag(QuickCheck) build-depends:- QuickCheck >= 2.6 && < 2.7- ,random >= 1.0 && < 1.1+ QuickCheck >= 2.6 && < 2.11+ ,random >= 1.0 && < 1.2 exposed-modules: CSPM.FiringRules.Test.Test other-modules:
LICENSE view
@@ -1,4 +1,4 @@-Copyright (c) Marc Fontaine 2007-2011+Copyright (c) Marc Fontaine 2007-2017 All rights reserved.
+ README.md view
@@ -0,0 +1,13 @@+# CSPM-FiringRules++This package contains functions for computing the transitions of a CSP process+based on the standard CSP firing rule semantic+(see The Theory and Practice of Concurrency A.W. Roscoe 1999.)+It also contains a rudimentary tracer for executing transitions,+some QuickCheck tests, and a data type for proof trees.+To use this package one has to provide instances for the classes and type families,+defined in the CSPM-CoreLanguage package.+The package contains two mock-implementations that provide these instances.+The CSPM-Interpreter package contains an other implementation.++## [Haddock documentation](http://hackage.haskell.org/package/CSPM-FiringRules)