claferIG 0.4.3 → 0.4.4
raw patch · 5 files changed
+44/−38 lines, 5 filesdep ~claferdep ~claferIGdep ~transformers-compatPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: clafer, claferIG, transformers-compat
API changes (from Hackage documentation)
Files
- CHANGES.md +4/−0
- README.md +14/−15
- alloyIG.jar binary
- claferIG.cabal +14/−17
- stack.yaml +12/−6
CHANGES.md view
@@ -1,3 +1,7 @@+##### ClaferIG Version 0.4.4 released on Jun 23, 2016 + +* [Release](https://github.com/gsdlab/claferIG/pull/32) + ##### ClaferIG Version 0.4.3 released on Dec 22, 2015 * [Release](https://github.com/gsdlab/claferIG/pull/31)
README.md view
@@ -1,6 +1,6 @@ # Clafer Instance Generator -##### v0.4.3 +##### v0.4.4 [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. @@ -22,14 +22,14 @@ Regardless of the installation method, the following are required: -* [Clafer](https://github.com/gsdlab/clafer) v0.4.3 +* [Clafer](https://github.com/gsdlab/clafer) v0.4.4 * [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.3 of Clafer Tools for Windows, Mac, and Linux, +Binary distributions of the release 0.4.4 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 `<target directory>` of your choice, @@ -37,14 +37,14 @@ ### Installation From Hackage -Clafer is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.4.3/) and it can be installed using either [`stack`](https://github.com/commercialhaskell/stack) or [`cabal-install`](https://hackage.haskell.org/package/cabal-install). +Clafer is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.4.4/) and it can be installed using either [`stack`](https://github.com/commercialhaskell/stack) or [`cabal-install`](https://hackage.haskell.org/package/cabal-install). #### Installation using `stack` Stack is the only requirement: no other Haskell tooling needs to be installed because stack will automatically install the needed Haskell build tools. 1. [install `stack`](https://github.com/commercialhaskell/stack#how-to-install) -2. execute +2. Execute * `stack install claferIG` * ``` cd `stack --local-bin-path` ``` * `wget http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar` @@ -53,7 +53,7 @@ * `mkdir lib` * `cd lib` * Depending on your OS: - * for Win, `wget https://github.com/gsdlab/claferIG/raw/master/lib/libminisatprover.dll` + * for Win, `stack exec wget -- https://github.com/gsdlab/claferIG/raw/master/lib/libminisatprover.dll` * for Linux, `wget https://github.com/gsdlab/claferIG/raw/master/lib/libminisatprover.so` * for Mac, `wget https://github.com/gsdlab/claferIG/raw/master/lib/libminisatprover.dylib` @@ -61,13 +61,13 @@ Dependencies -* [GHC](https://www.haskell.org/downloads) >= 7.8.3. 7.10.2 is recommended, +* [GHC](https://www.haskell.org/downloads) >= 7.10.3 and 8.0.1 are recommended, * `cabal-install` >= 1.18, should be installed together with a GHC distribution, 1. Install GHC 2. `cabal update` 3. `cabal install claferIG` -4. `cd <cabal's lib or share folder>` (`C:\Users\<user>\AppData\Roaming\cabal\i386-windows-ghc-7.10.2\claferIG-0.4.3` on Windows or `.cabal/share/x86_64-linux-ghc-7.10.2/claferIG-0.4.3/` on Linux) +4. `cd <cabal's lib or share folder>` (`C:\Users\<user>\AppData\Roaming\cabal\x86_64-windows-ghc-8.0.1\claferIG-0.4.4` on Windows or `.cabal/share/x86_64-linux-ghc-8.0.1/claferIG-0.4.4/` on Linux) 5. to automatically download alloy4.2.jar * execute `make alloy4.2.jar` 7. copy the following into the Cabal's `bin` folder @@ -79,7 +79,7 @@ Dependencies -* [GHC](https://www.haskell.org/downloads) v7.10.* +* [GHC](https://www.haskell.org/downloads) >= v7.10.3 * [Clafer compiler](https://github.com/gsdlab/clafer) (to produce Alloy models (`.als`)). * On Linux, might need to manually install `zlib1g-dev` and `libncurses5-dev` to build one of Haskell packages on which ClaferIG depends * on Ubuntu, execute `sudo apt-get install zlib1g-dev libncurses5-dev` @@ -88,11 +88,10 @@ * [MSYS2](http://msys2.sourceforge.net/) * it is installed automatically by `stack setup` (see Building below) -* to open MinGW64 shell, execute `mingw64_shell.bat` in `C:\Users\<user>\AppData\Local\Programs\stack\x86_64-windows\msys2-<date>`, where `<date>` is the release date of your MSYS installation * update MSYS2 packages - * follow [III. Updating packages](http://sourceforge.net/p/msys2/wiki/MSYS2%20installation/) + * follow [III. Updating packages](http://sourceforge.net/p/msys2/wiki/MSYS2%20installation/) but always execute `stack exec pacman -- <arguments for pacman>` * execute - * `pacman -S make wget unzip diffutils` + * `stack exec pacman -- -S make wget unzip diffutils` ### Important: branches must correspond @@ -115,7 +114,7 @@ 1. execute `make install to=<target directory>` #### Note: -> On Windows, use `/` with the `make` command instead of `\`, e.g., `make install to=/c/clafer-tools-0.4.3/` +> On Windows, use `/` with the `make` command instead of `\`, e.g., `make install to=/c/clafer-tools-0.4.4/` ## Integration with Sublime Text 2/3 @@ -137,7 +136,7 @@ (As printed by `claferIG --help`) ``` -ClaferIG v0.4.3 +ClaferIG v0.4.4 claferIG [OPTIONS] [FILE] @@ -189,7 +188,7 @@ In the interactive mode, the users can invoke the following commands by pressing a letter marked in the command name between '' or the whole command as marked by '': ``` -ClaferIG v0.4.3 +ClaferIG v0.4.4 You can invoke the following commands as indicated by single quotes: [tab] - print the available commands
alloyIG.jar view
binary file changed (22360 → 22360 bytes)
claferIG.cabal view
@@ -1,5 +1,5 @@ Name: claferIG -Version: 0.4.3 +Version: 0.4.4 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: http://clafer.org @@ -10,12 +10,9 @@ 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 - , GHC == 7.10.3 -Cabal-version: >= 1.18 +Tested-with: GHC == 7.10.3 + , GHC == 8.0.1 +Cabal-version: >= 1.22 data-files: README.md , alloyIG.jar , CHANGES.md @@ -28,7 +25,7 @@ type: git location: git://github.com/gsdlab/claferIG.git Executable claferIG - build-tools: ghc >= 7.8.3 + build-tools: ghc >= 7.10.3 default-language: Haskell2010 Main-is: Main.hs Build-depends: base >= 4.7.0.1 && < 5 @@ -42,17 +39,17 @@ , cmdargs >= 0.10.12 , executable-path >= 0.0.3 , haskeline >= 0.7.1.2 - , transformers-compat >= 0.3 && < 0.5 + , transformers-compat >= 0.3 , mtl-compat >= 0.2.1 - , clafer == 0.4.3 - , claferIG == 0.4.3 + , clafer == 0.4.4 + , claferIG == 0.4.4 other-modules: Paths_claferIG Hs-Source-Dirs: src-cmd ghc-options: -Wall -fno-warn-orphans library - build-tools: ghc >= 7.8.3 + build-tools: ghc >= 7.10.3 default-language: Haskell2010 build-depends: array >= 0.5.0.0 , base >= 4.7.0.1 && < 5 @@ -70,10 +67,10 @@ , haskeline >= 0.7.1.2 , json-builder >= 0.3 , string-conversions >= 0.3.0.3 - , transformers-compat >= 0.3 && < 0.5 + , transformers-compat >= 0.3 , mtl-compat >= 0.2.1 - , clafer == 0.4.3 + , clafer == 0.4.4 if os(windows) build-depends: HaXml == 1.24 @@ -110,9 +107,9 @@ , tasty >= 0.10.1.2 , tasty-hunit >= 0.9.2 , tasty-th >= 0.1.3 - , transformers-compat >= 0.3 && < 0.5 + , transformers-compat >= 0.3 - , clafer == 0.4.3 - , claferIG == 0.4.3 + , clafer == 0.4.4 + , claferIG == 0.4.4 other-modules: Paths_claferIG ghc-options: -Wall -fno-warn-orphans
stack.yaml view
@@ -1,10 +1,16 @@-# for GHC-7.10.2 +# for GHC-8.0.1 extra-deps: - [ data-stringmap-1.0.1.1 - , HaXml-1.24 # only for Windows, comment out for other OSs - , clafer-0.4.3 - ] -resolver: lts-3.19 + - data-stringmap-1.0.1.1 + - json-builder-0.3 + - HaXml-1.24 # only for Windows, comment out for other OSs +resolver: nightly-2016-06-21 +# for GHC-7.10.3 +# extra-deps: +# - data-stringmap-1.0.1.1 +# - HaXml-1.24 # only for Windows, comment out for other OSs +# resolver: lts-6.4 + packages: +- '../clafer' - '.'