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 #25

merged 7 commits into from Apr 25, 2015


None yet
1 participant

mantkiew commented Apr 23, 2015

  1. Support GHC 7.10 and 7.8
  2. Upgraded to the latest Alloy 4.2 build Feb 2015
  3. Support nested abstract clafers. The following test cases now work: test case 1 and test case 2.

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

@mantkiew mantkiew self-assigned this Apr 25, 2015

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

@mantkiew mantkiew merged commit b790794 into master Apr 25, 2015

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