diff --git a/CHANGES.md b/CHANGES.md --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,7 @@ +# ClaferIG Version 0.4.1 released on Sep 1, 2015 + +[Release](https://github.com/gsdlab/claferIG/pull/27) + # ClaferIG Version 0.4.0 released on Jul 28, 2015 [Release](https://github.com/gsdlab/claferIG/pull/26) diff --git a/README.md b/README.md --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Clafer Instance Generator -v0.4.0 +v0.4.1 [Clafer](http://clafer.org) is a powerful (equivalent to first-order predicate logic) yet lightweight structural modeling language. Despite simplicity and conciseness of Clafer, writing correct models remains challenging due to hard-to-predict interactions among all constraints expressed in the model. **Clafer instance generator** (ClaferIG) is an interactive tool that generates instances and counter examples of concrete clafers in a Clafer model. If the concrete clafers do not have contradicting constraints, the generator produces valid instance data. Otherwise, the generator produces an unsatisfiable core which included all contradicting constraints and generates a counter example by removing one constraint from the core. The generator can potentially produce many instances if the concrete clafers are not fully specialized. The generator produces different instances on-demand. With these capabilities, the instance generator can be used for debugging models: checking the consistency of the model and detecting under- and overconstraining of the model. The instance generator can also be used programmatically via API (the command line and interactive session interfaces only use the API). @@ -21,14 +21,14 @@ Regardless of the installation method, the following are required: -* [Clafer](https://github.com/gsdlab/clafer) v0.4.0 +* [Clafer](https://github.com/gsdlab/clafer) v0.4.1 * [Java Platform (JDK)](http://www.oracle.com/technetwork/java/javase/downloads/index.html) v8+, 64bit * On Windows, Java must be 32bit because of Alloy, 64bit otherwise * [Alloy4.2](http://alloy.mit.edu/alloy/download.html) ### Installation from binaries -Binary distributions of the release 0.4.0 of Clafer Tools for Windows, Mac, and Linux, +Binary distributions of the release 0.4.1 of Clafer Tools for Windows, Mac, and Linux, can be downloaded from [Clafer Tools - Binary Distributions](http://gsd.uwaterloo.ca/clafer-tools-binary-distributions). 1. download the binaries and unpack `` of your choice @@ -40,11 +40,11 @@ * [GHC](https://www.haskell.org/downloads) v7.10.* -ClaferIG is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.4.0/) and it can be installed using +ClaferIG is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.4.1/) and it can be installed using 1. `cabal update` 2. `cabal install claferIG` -3. `cd ` (`C:\Users\\AppData\Roaming\cabal\i386-windows-ghc-7.10.1\claferIG-0.4.0` on Windows or `.cabal/share/x86_64-linux-ghc-7.10.1/claferIG-0.4.0/` on Linux) +3. `cd ` (`C:\Users\\AppData\Roaming\cabal\i386-windows-ghc-7.10.2\claferIG-0.4.1` on Windows or `.cabal/share/x86_64-linux-ghc-7.10.2/claferIG-0.4.1/` on Linux) 3. to automatically download Alloy4.2 jar * execute `make` in `tools` 4. To get the `minisatproover` library @@ -116,7 +116,7 @@ (As printed by `claferIG --help`) ``` -ClaferIG v0.4.0 +ClaferIG v0.4.1 claferIG [OPTIONS] [FILE] @@ -168,7 +168,7 @@ ## ``` -## | ClaferIG 0.4.0 | +## | ClaferIG 0.4.1 | You can invoke the following commands as indicated by single quotes: diff --git a/alloyIG.jar b/alloyIG.jar Binary files a/alloyIG.jar and b/alloyIG.jar differ diff --git a/claferIG.cabal b/claferIG.cabal --- a/claferIG.cabal +++ b/claferIG.cabal @@ -1,8 +1,8 @@ Name: claferIG -Version: 0.4.0 +Version: 0.4.1 Synopsis: claferIG is an interactive tool that generates instances of Clafer models. Description: Clafer is a powerful (equivalent to first-order predicate logic) yet lightweight structural modeling language. Despite simplicity and conciseness of Clafer, writing correct models remains challenging due to hard-to-predict interactions among all constraints expressed in the model. Clafer instance generator (ClaferIG) is an interactive tool that generates instances and counter examples of concrete clafers in a Clafer model. If the concrete clafers do not have contradicting constraints, the generator produces valid instance data. Otherwise, the generator produces an unsatisfiable core which included all contradicting constraints and generates a counter example by removing one constraint from the core. The generator can potentially produce many instances if the concrete clafers are not fully specialized. The generator produces different instances on-demand. With these capabilities, the instance generator can be used for debugging models: checking the consistency of the model and detecting under- and overconstraining of the model. The instance generator can also be used programmatically via API (the command line and interactive session interfaces only use the API). -Homepage: https://github.com/gsdlab/claferIG +Homepage: http://clafer.org License: MIT License-file: LICENSE Author: Jimmy Liang, Michal Antkiewicz, Luke Michael Brown @@ -10,59 +10,67 @@ Stability: Experimental Category: Model Build-type: Simple +tested-with: GHC == 7.8.3 + , GHC == 7.8.4 + , GHC == 7.10.1 + , GHC == 7.10.2 Cabal-version: >= 1.18 -data-files: alloyIG.jar, - README.md, - CHANGES.md, - Makefile, - lib/minisatprover.md, - tools/Makefile +data-files: README.md + , alloyIG.jar + , CHANGES.md + , Makefile + , tools/Makefile + , lib/minisatprover.md source-repository head type: git location: git://github.com/gsdlab/claferIG.git Executable claferIG - build-tools: ghc >= 7.10.1 + build-tools: ghc >= 7.8.3 default-language: Haskell2010 Main-is: Main.hs - Build-depends: base >= 4.8.0.0 && < 5 - , containers >= 0.5.6.2 - , directory >= 1.2.2.0 - , filepath >= 1.4.0.0 - , transformers >= 0.4.2.0 + Build-depends: base >= 4.7.0.1 && < 5 + , containers >= 0.5.5.1 + , directory >= 1.2.1.0 + , filepath >= 1.3.0.2 + , transformers >= 0.3.0.0 - , mtl >= 2.2.1 + , mtl >= 2.1.3.1 - , cmdargs >= 0.10.13 + , cmdargs >= 0.10.12 , executable-path >= 0.0.3 - , haskeline >= 0.7.2.1 + , haskeline >= 0.7.1.2 + , transformers-compat >= 0.3 && < 0.5 + , mtl-compat >= 0.2.1 - , clafer == 0.4.0 - , claferIG == 0.4.0 + , clafer == 0.4.1 + , claferIG == 0.4.1 other-modules: Paths_claferIG Hs-Source-Dirs: src-cmd ghc-options: -Wall -fno-warn-orphans library - build-tools: ghc >= 7.10.1 + build-tools: ghc >= 7.8.3 default-language: Haskell2010 - build-depends: array >= 0.5.1.0 - , base >= 4.8.0.0 && < 5 - , containers >= 0.5.6.2 - , directory >= 1.2.2.0 - , filepath >= 1.4.0.0 - , process >= 1.2.3.0 - , transformers >= 0.4.2.0 + build-depends: array >= 0.5.0.0 + , base >= 4.7.0.1 && < 5 + , containers >= 0.5.5.1 + , directory >= 1.2.1.0 + , filepath >= 1.3.0.2 + , process >= 1.2.0.0 + , transformers >= 0.3.0.0 - , mtl >= 2.2.1 - , parsec >= 3.1.9 + , mtl >= 2.1.3.1 + , parsec >= 3.1.5 , data-stringmap >= 1.0.1.1 , executable-path >= 0.0.3 - , haskeline >= 0.7.2.1 + , haskeline >= 0.7.1.2 , json-builder >= 0.3 - , string-conversions >= 0.4 + , string-conversions >= 0.3.0.3 + , transformers-compat >= 0.3 && < 0.5 + , mtl-compat >= 0.2.1 - , clafer == 0.4.0 + , clafer == 0.4.1 if os(windows) build-depends: HaXml == 1.24 @@ -87,20 +95,21 @@ default-language: Haskell2010 main-is: test-suite.hs hs-source-dirs: test - build-depends: array >= 0.5.1.0 - , base >= 4.8.0.0 && < 5 - , directory >= 1.2.2.0 - , filepath >= 1.4.0.0 - , transformers >= 0.4.2.0 + build-depends: array >= 0.5.0.0 + , base >= 4.7.0.1 && < 5 + , directory >= 1.2.1.0 + , filepath >= 1.3.0.2 + , transformers >= 0.3.0.0 , HUnit >= 1.2.5.2 - , cmdargs >= 0.10.13 + , cmdargs >= 0.10.12 , tasty >= 0.10.1.2 , tasty-hunit >= 0.9.2 , tasty-th >= 0.1.3 + , transformers-compat >= 0.3 && < 0.5 - , clafer == 0.4.0 - , claferIG == 0.4.0 + , clafer == 0.4.1 + , claferIG == 0.4.1 other-modules: Paths_claferIG ghc-options: -Wall -fno-warn-orphans