Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
doc
Release 0.5.0 (#94)
February 1, 2018 13:06
pres
bug fix: no default some for if-then-else operator
February 8, 2012 12:04
src-cmd
Release 0.5.1 (#95)
September 12, 2023 06:59
src
Release 0.5.1 (#95)
September 12, 2023 06:59
test
Release 0.5.0 (#94)
February 1, 2018 13:06
.ghci
ghc 8.0.1 support, bump version to 0.4.4
June 23, 2016 14:53
.gitattributes
new version, automatic alloy4moo.jar download
September 12, 2012 19:26
.gitignore
Release 0.5.1 (#95)
September 12, 2023 06:59
.travis.yml
Release 0.5.1 (#95)
September 12, 2023 06:59
CHANGES.md
Release 0.5.1 (#95)
September 12, 2023 06:59
LICENSE
Release 0.5.1 (#95)
September 12, 2023 06:59
Makefile
Release 0.5.1 (#95)
September 12, 2023 06:59
README.md
Release 0.5.1 (#95)
September 12, 2023 06:59
Setup.lhs
added Setup.lhs for cabal
February 16, 2012 14:32
cabal.project
Release 0.5.1 (#95)
September 12, 2023 06:59
clafer-mode.el
added dref and backwards-compatibility for ref and &. Fixed HTML …
August 20, 2015 23:35
clafer.cabal
upgrade to ghc 9.4.8 and lts-21.22
November 30, 2023 13:31
ecore2clafer.jar
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
October 14, 2015 13:55
logo.pdf
updated presentation
February 6, 2012 20:17
logo.png
360dpi png of the logo
August 25, 2013 22:06
logo.svg
360dpi png of the logo
August 25, 2013 22:06
stack.yaml
upgrade to ghc 9.4.8 and lts-21.22
November 30, 2023 13:31