packages feed

CSPM-CoreLanguage 0.3.0.3 → 0.3.1.0

raw patch · 3 files changed

+17/−12 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- CSPM.CoreLanguage.Event: instance Typeable1 TTE
- CSPM.CoreLanguage.Field: instance Eq ClosureView
- CSPM.CoreLanguage.Field: instance Ord ClosureView
- CSPM.CoreLanguage.Field: instance Show ClosureView
- CSPM.CoreLanguage.Process: instance Typeable1 Process
+ CSPM.CoreLanguage.Field: instance GHC.Classes.Eq CSPM.CoreLanguage.Field.ClosureView
+ CSPM.CoreLanguage.Field: instance GHC.Classes.Ord CSPM.CoreLanguage.Field.ClosureView
+ CSPM.CoreLanguage.Field: instance GHC.Show.Show CSPM.CoreLanguage.Field.ClosureView
- CSPM.CoreLanguage.Process: class BE i => BL i
+ CSPM.CoreLanguage.Process: class (BE i) => BL i

Files

CSPM-CoreLanguage.cabal view
@@ -1,24 +1,26 @@ Name:                CSPM-CoreLanguage-Version:             0.3.0.3-Synopsis:            Definition of a FDR-compatible CSP core-language. +Version:             0.3.1.0+Synopsis:            Definition of a CSP core-language.  Description:-  This package contains an interface for a CSP core-language.-  It defines processes, events, event sets, a EDSL for process operations like-  parallel or interleaving.-  This interface can be used to implement a FDR-2.83 compatible CSPM animator.-  We use this interface in our tool to connect the functional CSPM-sub-language-  with core CSP functionality.+  This package contains an interface for the CSP core-language.+  It defines processes, events, event sets, and a domain specific language+  for process operations like parallel or interleaving processes.   Category:            Language,Formal Methods,Concurrency License:             BSD3 License-File:        LICENSE-Author:              2010 - 2013 Marc Fontaine+Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de> Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de> Stability:           experimental-Tested-With:         GHC == 7.6.3-Cabal-Version:       >= 1.10+Tested-With:         GHC == 8.2.1+Cabal-Version:       >= 1.24 Build-Type:          Simple+Extra-Source-Files:  README.md+                    +Source-Repository head+  type:     git+  location: git://github.com/MarcFontaine/cspm  Library   Build-Depends:
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,3 @@+# CSPM-CoreLanguage++## [Haddock documentation](http://hackage.haskell.org/package/CSPM-CoreLanguage)