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.10 #66

merged 18 commits into from Apr 25, 2015


None yet
1 participant
Copy link

mantkiew commented Apr 23, 2015

  1. Support GHC 7.10 and 7.8
  2. Added a new mode -m json to export IR in JSON format. This replaces the XML export which will be deprecated.
  3. Added product generation for -m python
  4. Updated clafer mode for Emacs
  5. Upgraded to the latest Alloy 4.2 build Feb 2015

@mantkiew mantkiew added this to the 0.3.10 milestone Apr 23, 2015

@mantkiew mantkiew self-assigned this Apr 23, 2015

mantkiew added a commit that referenced this pull request Apr 25, 2015

@mantkiew mantkiew merged commit 1835e83 into master Apr 25, 2015

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