Failed to load latest commit information.

Type

Name

Latest commit message

Commit time

lib

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

src-cmd

revised help messages. closes #28

December 10, 2015 21:55

src

fix instance output to look like the original model

December 14, 2015 22:51

test

fixed test cases

July 24, 2015 20:45

.gitattributes

aligned with new version of clafer 0.3.0.1 (hotfix)

September 12, 2012 20:29

.gitignore

Release 0.4.2.1, lts-3.10, added stack instructions to README

October 20, 2015 11:27

CHANGES.md

Release 0.4.3

December 22, 2015 13:37

LICENSE

Changed the build system to use cabal

February 14, 2012 22:38

Makefile

moved tools to ., added stack.yaml

October 16, 2015 18:34

README.md

Release 0.4.3

December 22, 2015 13:37

Setup.lhs

prep for Hackage

January 23, 2014 23:04

alloyIG.jar

Release 0.4.3

December 22, 2015 13:37

claferIG.cabal

Release 0.4.3

December 22, 2015 13:37

stack.yaml

Release 0.4.3

December 22, 2015 13:37