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.

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

Release 0.3.8 #60

merged 42 commits into from Jan 27, 2015


None yet
1 participant
Copy link

mantkiew commented Jan 27, 2015

  • Allowed having both super and reference parts of a clafer declaration. See pull request.
  • Changed the intersection operator from & to ** to be consistent with ++ and --.
  • Prepared for module system and behavioral Clafer extension.
  • Fixed bugs in HTML and Graph generators.
  • Replaced soft constraint ( Phi ) with assertion assert [ Phi ]. Soft constraints were never supported in any backend.
  • Phased out Alloy4.1. Alloy 4.2 is now used by default as a compiler mode, for output validation, and instance generation in ClaferIG.

mantkiew added some commits Nov 18, 2014

extracted runCompiler from clafer.hs to Language/Clafer to make it re…

separated desugaring out of compile, added ability to retrieve a model
from URL via HTTP
changes ISuper to Maybe PExp and added IReference to intermediate, up…
…dated analyses and generators

fixed Stats, uniqueness constraint for set refs no longer added by
replaced all : with -> or ->> for primitive-typed refs. Changed to ->…
…> for abstract refs.

using : for primitive types is no longer allowed

@mantkiew mantkiew added this to the 0.3.8 milestone Jan 27, 2015

@mantkiew mantkiew self-assigned this Jan 27, 2015

mantkiew added a commit that referenced this pull request Jan 27, 2015

@mantkiew mantkiew merged commit 1efbe7a into master Jan 27, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment