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.2 #74

Merged
merged 24 commits into from Oct 16, 2015
Merged

Release 0.4.2 #74

merged 24 commits into from Oct 16, 2015

Conversation

mantkiew
Copy link
Member

  • Added ClaferCheatCheet and generated syntax documentation clafer.pdf .
  • Added minimum and maximum of a set operators min and max.
  • Changed syntax of objectives to << minimize ... >> and << maximize ... >>. The old syntax << min ... >> and << max ... >> still works but it is now deprecated.
  • Changed precedence of if/then/else so that nested expressions do not need to be in parens. See issue #73.
  • Implemented ability for top-level abstract clafer to extend a nested abstract clafer #67. See test case.
  • Added generation of assertions for Choco.
  • Added validation with Choco and GraphVis to -v.

@mantkiew mantkiew self-assigned this Sep 29, 2015
@mantkiew mantkiew added this to the 0.4.2 milestone Sep 29, 2015
@mantkiew
bumped version to 0.4.2
0c27320
@mantkiew
fixed if/then/else precedence, closes #73
039ab17
@mantkiew
test cases for #49 and #67 with regression tests
ddac0d9
@mantkiew
Implemented #67, updated unit and regression tests
b7564e9
@mantkiew
restore compat with GHC 7.8.*
a0ad5ff
@mantkiew
fixed make grammarDoc and generated language documentation
164f442
@mantkiew
Fixed #76
cfb5a01
@mantkiew
merged from master
18a9e13
@mantkiew
a different test case for group cardinality inheritance. Close #76.
507cc3b
@mantkiew
Clafer Cheat Sheet
b87c70d
@mantkiew
revised the cheat sheet
92f10a0
@mantkiew
added identifiers to the cheat sheet + added links to resources to th…
a70ee80 
…e README
@mantkiew
fixed JSON gatherObjectivesAndAttributes generation
279f744
@mantkiew
added assertions to choco generator, updated regression tests
20e2033
@mantkiew
move "tools" to ".", use stack instead of cabal, added .js and .dot v…
62cd339 
…alidation

NoCompilerResult for Choco model with reals
@mantkiew
improve quoting for Graph generation-no validation errors, updated re…
62f1b23 
…gression tests
@mantkiew
move to LTS-3.9
1094ce7
mantkiew added a commit that referenced this pull request Oct 16, 2015
@mantkiew
Merge pull request #74 from gsdlab/develop
85da68d 
Release 0.4.2
@mantkiew mantkiew merged commit 85da68d into master Oct 16, 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.2
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@mantkiew