Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release 0.3.6.1 #20

Merged
merged 2 commits into from
Jul 8, 2014
Merged

Release 0.3.6.1 #20

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ad8f85c
Release 0.3.6.1
mantkiew Jul 8, 2014
008b280
Release 0.3.6.1
mantkiew Jul 8, 2014
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions CHANGES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
**ClaferIG Version 0.3.6.1 released on Jul 08, 2014**

[Release](https://github.com/gsdlab/claferIG/pull/20)

**ClaferIG Version 0.3.6 released on May 23, 2014**

[Release](https://github.com/gsdlab/claferIG/pull/19)
Expand Down
14 changes: 7 additions & 7 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Clafer Instance Generator
=========================

v0.3.6
v0.3.6.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).
Expand All @@ -24,13 +24,13 @@ Clafer can be installed from a binary distribution (preferred), from Hackage, an

Regardless of the installation method, the following are required:

* [Clafer](https://github.com/gsdlab/clafer) v0.3.6
* [Clafer](https://github.com/gsdlab/clafer) v0.3.6.1
* [Java Platform (JDK)](http://www.oracle.com/technetwork/java/javase/downloads/index.html) v7+, 32bit
* [Alloy4.1](http://alloy.mit.edu/alloy/download.html)

### Installation from binaries

Binary distributions of the release 0.3.6 of Clafer Tools for Windows, Mac, and Linux,
Binary distributions of the release 0.3.6.1 of Clafer Tools for Windows, Mac, and Linux,
can be downloaded from [Clafer Tools - Binary Distributions](http://http://gsd.uwaterloo.ca/clafer-tools-binary-distributions).

1. download the binaries and unpack `<target directory>` of your choice
Expand All @@ -42,11 +42,11 @@ Dependencies

* [The Haskell Platform](http://hackage.haskell.org/platform/) v2013.2.0.0

ClaferIG is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.3.6/) and it can be installed using
ClaferIG is now available on [Hackage](http://hackage.haskell.org/package/claferIG-0.3.6.1/) and it can be installed using

1. `cabal update`
2. `cabal install claferIG`
3. `cd <cabal's lib or share folder>` (`C:\Users\<user>\AppData\Roaming\cabal\i386-windows-ghc-7.6.3\claferIG-0.3.6` on Windows or `.cabal/share/x86_64-linux-ghc-7.6.3/claferIG-0.3.6/` on Linux)
3. `cd <cabal's lib or share folder>` (`C:\Users\<user>\AppData\Roaming\cabal\i386-windows-ghc-7.6.3\claferIG-0.3.6.1` on Windows or `.cabal/share/x86_64-linux-ghc-7.6.3/claferIG-0.3.6.1/` on Linux)
3. to automatically download Alloy jars
* execute `make` in `tools`
4. To get the `minisatproover` library
Expand Down Expand Up @@ -113,7 +113,7 @@ Clafer Instance Generator can be used in interactive and batch modes, as well as

(As printed by `claferIG --help`)

``` v0.3.6
``` v0.3.6.1

igaONS] FILE

Expand Down Expand Up @@ -165,7 +165,7 @@ In the interactive mode, the users can invoke the following commands by pressing

```
--------------------
| ClaferIG 0.3.6 |
| ClaferIG 0.3.6.1 |
--------------------

You can invoke the following commands as indicated by single quotes:
Expand Down
Binary file modified alloyIG.jar
View file
Open in desktop
Binary file not shown.
12 changes: 6 additions & 6 deletions claferIG.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: claferIG
Version: 0.3.6
Version: 0.3.6.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
Expand Down Expand Up @@ -33,8 +33,8 @@ Executable claferIG
Main-is: Main.hs
Build-depends:
base >= 4.6.0.1 && < 5,
clafer == 0.3.6,
claferIG == 0.3.6,
clafer == 0.3.6.1,
claferIG == 0.3.6.1,
data-stringmap >= 1.0.1.1,
cmdargs >= 0.10.7,
containers >= 0.5.0.0,
Expand Down Expand Up @@ -87,7 +87,7 @@ library
test-framework-quickcheck2 >= 0.3.0.2,
test-framework-th >= 0.2.4,

clafer == 0.3.6
clafer == 0.3.6.1
hs-source-dirs: src
ghc-options: -Wall -fno-warn-unused-do-bind -fno-warn-orphans
exposed-modules: Language.Clafer.IG.AlloyIGInterface,
Expand Down Expand Up @@ -131,7 +131,7 @@ Test-Suite test-suite
test-framework-quickcheck2 >= 0.3.0.2,
test-framework-th >= 0.2.4,

clafer == 0.3.6,
claferIG == 0.3.6
clafer == 0.3.6.1,
claferIG == 0.3.6.1
other-modules: Paths_claferIG
ghc-options: -Wall -fno-warn-unused-do-bind -fno-warn-orphans