Skip to content
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

Jump to bottom

Release 0.4.3 #81

Merged
merged 19 commits into from Dec 22, 2015
Merged

Release 0.4.3 #81

merged 19 commits into from Dec 22, 2015

Conversation

mantkiew
Copy link
Member

  • added language feature with backend compatibility table
  • added support for nested abstract clafers to Choco generator
  • added checks for loops in inheritance hierarchy, issue 77
  • fixed an issue with inheritance from a nested abstract clafer which itself has a superclafer, issue 78
  • added min/max to Alloy generator, issue 79
  • removed the unused and outdated python mode -m python
  • fixed handling paths containing spaces in validation

@mantkiew
Merge remote-tracking branch 'refs/remotes/origin/master' into develop
0ba7978
@mantkiew
call chocosolver.jar instead of claferchocoig.jar in -v
8d32eb2
@mantkiew
added language feature with backend compatibility table
36e68b9
@mantkiew
fixed assertionsAndScopes.cfr test case and and make test to use ch…
efbc151 
…ocosolver.jar
@mantkiew
bumped to 0.4.3
fe53d23
@mantkiew
updated choco regression for gi67-extending-nested-abstract.cfr
4c2659a
@mantkiew
replaced remaining "claferchocoig.jar" to "chocosolver.jar"
51d7bf4
@mantkiew
reworked Choco generator to support nested abstract clafers
068cb7d 
generation in two phases (IR traversals):
1) just the clafer tree, which declares variables,
2) refs, super, constraints, asserts, goals
@mantkiew
updated regression tests for choco output
1a330da
@mantkiew
added generation of minimum/maximum to Alloy, closes #79
166eade
@mantkiew
added assertions to test cases, revised other test cases
b317447
@mantkiew
updated regression tests for test cases update in previous commit
c1e4f37 
b317447
@mantkiew mantkiew self-assigned this Nov 28, 2015
@mantkiew mantkiew added this to the 0.4.3 milestone Nov 28, 2015
@mantkiew
updated compatibility matrix and .PHONY targets in Makefile
dc781a3
@mantkiew
added check for loops in inheritance hierarchy, closes #77
d1f1f36
@mantkiew
restored compatibility with GHC 7.8.*
c37b0b1
@mantkiew
fixed #78, added regression tests
7df8ef3
@mantkiew
removed Python mode
2943d6c 
The python generator was a copy of Choco generator, which has been
largely refactored and changed into a two pass generator
(structure->rest). The python output is unused and causes unnecessary
maintenance burdens and regression testing.
@mantkiew
fixed handling paths in validation
b1d3ae7
@mantkiew
release 0.3.4
7948929
mantkiew added a commit that referenced this pull request Dec 22, 2015
@mantkiew
Merge pull request #81 from gsdlab/develop
ae286fe 
Release 0.4.3
@mantkiew mantkiew merged commit ae286fe into master Dec 22, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@mantkiew mantkiew

Labels
None yet
Projects
None yet
Milestone
0.4.3
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@mantkiew