Release 0.3.9 #63
Merged
Release 0.3.9 #63
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
in eCos and Linux use hard constraints for defaults in resolution, cannot use X because it's a reserved keyword in behavioral Clafer
cannot use identifier F because it is a keyword in behavioral Clafer
to remove spourious differences
"product Failure.probability" computes p$1* p$2 * ... * p$n of all failures
regression fails because the check commands must have the same scopes as the run command.
GenEnv contains clafer args and uidIClaferMap
All assertions are now valid
use transformers' Control.Monad.Trans.Maybe instead
Product operator
getSuperId allows navigation paths Alloy generates parent subrelation constraint Analysis used more general getSuper and getReference instead of explicit pattern match sugarer prints any PExp for reference, not just IClaferId added nestedInheritanceWithReference test case and Alloy regression
…ted assertions and scopes regression
…erence2 + alloy and html regressions
…utput The test case currently fails. The group cardinality constraint should be enforced only for concrete clafers but the actual group cardinality is correctly inherited and refined.
UIDIClaferMap type synonym
…rs, include all inherited children for the test case GroupCardInheritance.cfr the assertions now hold. Added html, js, py, xml regressions
…new liftingNestedConstraints test case
removed findHierarchy and renamed findHierarchyWithMap to findHierarchy fixed a subtle bug with group inheritance updated regressions for EAST-ADL-PowerWindow and added new regressions for liftingNestedConstraints
…rType replaced Info with UIDIClaferMap to be explicit
obtain the root from the map updated test cases as the output is correct now - py and js regressions remain the same
Remove Analysis/SClafer & GLPK scope analyzer
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
added support for inheritance from nested abstract clafers, see simple test case and more complex test case. Supported only in the Alloy backend.
fixed problem with lifting nested constraints, see test case.
fixed group cardinality inheritance, see test case.
added assertion generation for Alloy, see test case and the corresponding Alloy output. Supported only in the Alloy backend.
added a unary operator
product, see test case, pull request. Supported only in the Choco backend.added a binary operator
%("reminder" or "modulo division"), see test case.Improved HTML and Graph generation by escaping special characters.
changed Alloy 4.2 to be the default mode.
changed the Python output to be in line with the Choco output, which is very concise and simple.
removed GLPK Scope analyzer and improved compiler performance, see pull request. Results:
Models:
All clafers: 435 | Abstract: 114 | Concrete: 321 | Reference: 204
Constraints: 242
Goals: 0
All clafers: 209 | Abstract: 47 | Concrete: 162 | Reference: 43
Constraints: 341
Goals: 1
All clafers: 137 | Abstract: 20 | Concrete: 117 | Reference: 46
Constraints: 246
Goals: 3