Release 0.4.4 #27

Merged
merged 249 commits into from Sep 19, 2016

Projects

None yet

2 participants

@mantkiew
Member
mantkiew commented Sep 1, 2016 edited
  • many performance improvements
  • support for reference refinement
  • support for nested abstract clafers, issues #23, #29, #30, #31.
  • ported to the latest Choco 4.0.0 release
  • implemented constructive disjunction optimization
JLiangWaterloo and others added some commits Dec 22, 2015
@JLiangWaterloo JLiangWaterloo getAncestors utility method. c849ae8
@JLiangWaterloo JLiangWaterloo union of two sets utility method. dd44986
@JLiangWaterloo JLiangWaterloo Creating a functional list from a iterable utility method. af3321f
@JLiangWaterloo JLiangWaterloo Implement partial integer analysis for conditional assignments for gr…
…oup cardinalities.

Condition assignments are when a variable is assigned under all alternatives. For example, consider the following model.

A -> int
xor B
    C
        [ A = 3 ]
    D
        [ A = 4 ]

In this model, A must be assigned to either 3 or 4. Note that if one of the constraints above were removed, we would know nothing about the values of A.
1000099
@JLiangWaterloo JLiangWaterloo Fix partial integer analysis for disjunctions (previously mistakenly …
…treated them as conjunctions).
a1a1f54
@JLiangWaterloo JLiangWaterloo Analyze partial integers for equality between two paths. bcaf6f4
@JLiangWaterloo JLiangWaterloo Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
…develop
1d66b16
@mantkiew mantkiew Merge remote-tracking branch 'refs/remotes/origin/master' into develop 7c769a7
@JLiangWaterloo JLiangWaterloo Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
…develop
af0e1c8
@JLiangWaterloo JLiangWaterloo Inference engine for equality operators on is-a and has-a relationships. cfab23f
@JLiangWaterloo JLiangWaterloo containsAll and containsAny methods for Domain. daef492
@JLiangWaterloo JLiangWaterloo New partial integer inference algorithm based on is-a and has-a reaso…
…ning.
c619ba2
@JLiangWaterloo JLiangWaterloo Update comment to reflect test. 156a51a
@JLiangWaterloo JLiangWaterloo Interface method for adding two domains together. 199e189
@JLiangWaterloo JLiangWaterloo A decision procedure for set union and subset. 578dcfc
@JLiangWaterloo JLiangWaterloo Updated is-a and has-a reasoner to reduce to the decision procedure f…
…or set union and subset.
568c320
@JLiangWaterloo JLiangWaterloo Updated partial int analysis to reduce to is-a and has-a reasoning. 59c5dc7
@JLiangWaterloo JLiangWaterloo More reliably test for time limit reached. ec7b1e8
@JLiangWaterloo JLiangWaterloo Move getOffset method to aanalysis. d44a26c
@JLiangWaterloo JLiangWaterloo Update comments to reflect actual test. ae24720
@JLiangWaterloo JLiangWaterloo Optimize away global if possible. 54e89e4
@JLiangWaterloo JLiangWaterloo Reuse common code for adding set constraints on a path. 98d904f
@JLiangWaterloo JLiangWaterloo Analyze upcast, ternary, and conjunctions in partial integer analysis. d9a6135
@JLiangWaterloo JLiangWaterloo Fixed path constraints over a sub concept. 9d1fffb
@JLiangWaterloo JLiangWaterloo Human readable set theory. 653c0e5
@JLiangWaterloo JLiangWaterloo Differentiate local and global paths. 8ce0d72
@JLiangWaterloo JLiangWaterloo Use newly deduced partial ints to do constant propagation. 62737fe
@JLiangWaterloo JLiangWaterloo Port to Choco 4.0 6539a9f
@JLiangWaterloo JLiangWaterloo Remove obsolete FilterString constraint. 6a5b931
@JLiangWaterloo JLiangWaterloo Ignore test case for future work on partial int analysis. 9a89141
@JLiangWaterloo JLiangWaterloo Use master branch in travis test. 010f162
@JLiangWaterloo JLiangWaterloo Fuzz test for continuous constraint. 51cf1b8
@JLiangWaterloo JLiangWaterloo Fuzz test for continuous union constraint. 4ca1bf1
@JLiangWaterloo JLiangWaterloo Add no card to the set variables of transitive reflexive closure fuzz…
… test.
fe17d92
@JLiangWaterloo JLiangWaterloo Lower timeout for transitive reflexive closure fuzz test. 9aaa480
@JLiangWaterloo JLiangWaterloo Lower timeout for transitive reflexive closure fuzz test. d7555b9
@JLiangWaterloo JLiangWaterloo Shrink the example for transitive reflexive closure fuzz test, due to…
… memory limitations of Travis.
9838ef5
@JLiangWaterloo JLiangWaterloo Ignore transitive reflexive closure fuzz test, due to limitations of …
…Travis.
3256e82
@JLiangWaterloo JLiangWaterloo Add no card to the set variables of transitive and transitive closure…
… test.
428ee4c
@JLiangWaterloo JLiangWaterloo Formatting. a7c8540
@JLiangWaterloo JLiangWaterloo Formatting. bbcf004
@JLiangWaterloo JLiangWaterloo Shrink the example for transitive fuzz test, due to memory limitation…
…s of Travis.
d959cc7
@JLiangWaterloo JLiangWaterloo Limit heap space for Travis CI test. 5e2956e
@JLiangWaterloo JLiangWaterloo Limit heap space for Travis CI test. 38791a5
@JLiangWaterloo JLiangWaterloo Add no card to the set variables of set strict high bound test. e516cdf
@JLiangWaterloo JLiangWaterloo Limit heap space for Travis CI test. 990b9b0
@JLiangWaterloo JLiangWaterloo Test. 8d03f10
@JLiangWaterloo JLiangWaterloo Test. 136620a
@JLiangWaterloo JLiangWaterloo Test. 955e6ea
@JLiangWaterloo JLiangWaterloo Test. 81007d3
@JLiangWaterloo JLiangWaterloo Test. 8f1ab29
@JLiangWaterloo JLiangWaterloo Test. 40aefa0
@JLiangWaterloo JLiangWaterloo Test. 8a92b0e
@JLiangWaterloo JLiangWaterloo Test. 1815362
@JLiangWaterloo JLiangWaterloo Fix one constraint. e4c6ba8
@JLiangWaterloo JLiangWaterloo Always add linear equation equation after Fourier-Motzkin and Gaussia…
…n elimination.
c7a9f02
@JLiangWaterloo JLiangWaterloo Fuzz test for set bounded constraint. 1444694
@JLiangWaterloo JLiangWaterloo Fuzz test for join function constraint with no set cardinality. cdbd2f6
@JLiangWaterloo JLiangWaterloo Unit test for set theory. 079c874
@JLiangWaterloo JLiangWaterloo Arc consistent continuous constraint. f3a5c0b
@JLiangWaterloo JLiangWaterloo Remove trivially redundant linear equations. 746de7f
@JLiangWaterloo JLiangWaterloo Idempotence checking flag for fuzz tests. 84e72a9
@JLiangWaterloo JLiangWaterloo Mark int channel constraint as arc consistent. 780901a
@JLiangWaterloo JLiangWaterloo Separate union constraint tests into disjoint and not disjoint. f2f0096
@JLiangWaterloo JLiangWaterloo Organize imports. b190722
@JLiangWaterloo JLiangWaterloo Thread-safe id generation for AST assertion, objective, and constraints. c984c69
@JLiangWaterloo JLiangWaterloo Some comments for fuzz testing annotations. d4d301d
@JLiangWaterloo JLiangWaterloo Some FindBugs fixes. 9e9472f
@JLiangWaterloo JLiangWaterloo JUnit rule for repeating unit tests. 00b9d1f
@JLiangWaterloo JLiangWaterloo Unify domain classes into a compact list of regions. 52b12d0
@JLiangWaterloo JLiangWaterloo Rename JUnit theory tests to have the suffix "Test" so Maven will fin…
…d them.
f38e3c6
@JLiangWaterloo JLiangWaterloo Switch some Trove API usage to Domain. 41688c0
@JLiangWaterloo JLiangWaterloo Minor cleanups. 72c36e2
@JLiangWaterloo JLiangWaterloo Fix unreachable constraint to by idempotent. e87917f
@JLiangWaterloo JLiangWaterloo Use Java SE's PrimitiveIterator instead of Troves custom definition. 004cb36
@JLiangWaterloo JLiangWaterloo Removed unused functional linked list implementation. d61bf87
@JLiangWaterloo JLiangWaterloo More consise iteration. a473504
@JLiangWaterloo JLiangWaterloo Remove unused iterators. a8a1769
@JLiangWaterloo JLiangWaterloo Remove unused ontology classes. 24550f0
@JLiangWaterloo JLiangWaterloo More consise iteration. 4e7f3bb
@JLiangWaterloo JLiangWaterloo Stronger count not equal constraint entailment check. 1b842ab
@JLiangWaterloo JLiangWaterloo Stronger lone constraint entailment check. a7e037e
@JLiangWaterloo JLiangWaterloo Fix x + y != z constraint pruning valid solutions. 05c977f
@JLiangWaterloo JLiangWaterloo Stronger singleton constraint entailment check. 53484a5
@JLiangWaterloo JLiangWaterloo Stronger singleton filter constraint entailment check. 1874970
@JLiangWaterloo JLiangWaterloo Stronger select n constraint entailment check. ccd0e6d
@JLiangWaterloo JLiangWaterloo Stronger set equal constraint entailment check. c1f673b
@JLiangWaterloo JLiangWaterloo Stronger contains implies equal constraint entailment check. a2b037b
@JLiangWaterloo JLiangWaterloo Document domain methods. ab9f1cd
@JLiangWaterloo JLiangWaterloo Stronger length constraint entailment check. 6e92fa0
@JLiangWaterloo JLiangWaterloo Add a test case for test element array support constraint. b2a220b
@JLiangWaterloo JLiangWaterloo Stronger element value support constraint entailment check. daf4e93
@JLiangWaterloo JLiangWaterloo Stronger continuous constraint entailment check. 97a014a
@JLiangWaterloo JLiangWaterloo More precisely compute the domain of addition. 737093d
@JLiangWaterloo JLiangWaterloo Do not create cardinality constraint for set constants. 9573026
@JLiangWaterloo JLiangWaterloo Test negative numbers in domain fuzz test. c9126ad
@JLiangWaterloo JLiangWaterloo Transform some equality reification to linear inequalities. b1b1ad5
@JLiangWaterloo JLiangWaterloo Transform some equalities under if then else to use ternaries. 9a350f5
@JLiangWaterloo JLiangWaterloo Generalize optimizing compares. ca648a2
@JLiangWaterloo JLiangWaterloo Remove IR xor. fc3acb9
JLiangWaterloo and others added some commits Sep 3, 2016
@JLiangWaterloo JLiangWaterloo Implement constructive disjunction for set theory. 126e94e
@JLiangWaterloo JLiangWaterloo Implement constructive disjunction for ontology. 686ac4c
@JLiangWaterloo JLiangWaterloo Implement constructive disjunction for partial int analysis. af4e00a
@JLiangWaterloo JLiangWaterloo Spacing. 437b24a
@JLiangWaterloo JLiangWaterloo Handle minus AST in partial int analysis. f42b960
@JLiangWaterloo JLiangWaterloo Simpler naming of variables during coalescing. e6f5d63
@JLiangWaterloo JLiangWaterloo Implement refinement of references. e9cd682
@JLiangWaterloo JLiangWaterloo Map concrete clafers, instead of refs, to partial ints to better cate…
…r to refinement.
84e616d
@JLiangWaterloo JLiangWaterloo Check for invalid redefinitions. 4a44c01
@JLiangWaterloo JLiangWaterloo Check for invalid reference redefinitions. 60d2cd3
@mantkiew mantkiew test case for issue #29 ad92f0e
@mantkiew mantkiew use the date of the latest commit as releasedate for now 66f63a4
@mantkiew mantkiew test case for isssue #30 16be5a0
@JLiangWaterloo JLiangWaterloo Remove unused code. 75585df
@JLiangWaterloo JLiangWaterloo Implement toString method for IR sort sets. 60343c5
@JLiangWaterloo JLiangWaterloo Fix coalescing join function cardinality incorrectly. 4a5d69f
@JLiangWaterloo JLiangWaterloo Cleanly handle coalescing invalid bound domains. ef14876
@JLiangWaterloo JLiangWaterloo Implement joins on nested abstract clafers, resolving issue #29. f4755d4
@JLiangWaterloo JLiangWaterloo Inherit constraints from nested abstract clafers, resolving issue #31. 7590e17
@JLiangWaterloo JLiangWaterloo Implement join parents on nested abstract clafers, resolving issue #30. 48a3a3c
@JLiangWaterloo JLiangWaterloo Remove trivial equations during equality elimination. 52ab603
@mantkiew mantkiew test case for issue #31 50fb796
@JLiangWaterloo JLiangWaterloo Implement Domain::isSupersetOf. 8b17573
@JLiangWaterloo JLiangWaterloo Fix creating an empty domain IR int variable throws IllegalIntExcepti…
…on instead of IllegalArgumentException.
fd71fb6
@JLiangWaterloo JLiangWaterloo Stronger singleton filter entailment check. 745ce33
@JLiangWaterloo JLiangWaterloo Fix linear equation optimizer making unsound optimizations for large …
…coefficient inequalities.
0b6fb49
@JLiangWaterloo JLiangWaterloo Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
…develop
7204990
@JLiangWaterloo JLiangWaterloo Move some previous failing refinement tests to positive tests. f3a8eb8
@JLiangWaterloo JLiangWaterloo Add missing generics in the relation class. 1682ffd
@JLiangWaterloo JLiangWaterloo Rename Coalescer to FBBT.
Refactor it to be extensible to new expressions and cross-constraint optimizations in the future.
2baa1db
@JLiangWaterloo JLiangWaterloo Update external dependencies. af29a0b
@JLiangWaterloo JLiangWaterloo Add new test cases sent to me. ab6e773
@JLiangWaterloo JLiangWaterloo Add test case for issue #18. 56825ee
@JLiangWaterloo JLiangWaterloo Fix simplifiication from join relation to join function setting the w…
…rong global cardinality.
50d7690
@JLiangWaterloo JLiangWaterloo Fix union throwing not throwing an exception when disjointness is vio…
…lated.
a5da965
@JLiangWaterloo JLiangWaterloo Fix join relation env reduction deduction removing wrong take env. 37f3853
@JLiangWaterloo JLiangWaterloo Reduce the length of the char array during FBBT if the length is redu…
…ced.
cccd3ec
@JLiangWaterloo JLiangWaterloo Implement deduction for acyclic IR. cb18eaf
@JLiangWaterloo JLiangWaterloo Remove strong entailment check in sorted set constraint fuzz test. c4bee58
@JLiangWaterloo JLiangWaterloo Remove unused file. 083646e
@JLiangWaterloo JLiangWaterloo More reliably handle reduction of string length during FBBT. 18b8970
@JLiangWaterloo JLiangWaterloo Remove unnecessary marker interface for constants. 7e5d535
@JLiangWaterloo JLiangWaterloo Remove utility method for retrieving constants from boolean expressions. 0b7e4e2
@JLiangWaterloo JLiangWaterloo Implement copy constructor for disjoint sets. bcd62f0
@JLiangWaterloo JLiangWaterloo Implement copy constructor for deductions. b3640eb
@JLiangWaterloo JLiangWaterloo Remove utility method for retrieving constants from integer expressions. 17fcc24
@JLiangWaterloo JLiangWaterloo Remove utility method for retrieving constants from set expressions. d82bf17
@JLiangWaterloo JLiangWaterloo Improve multiplication deduction. 528c3a1
@JLiangWaterloo JLiangWaterloo Convert element expressions to constants when possible. b91bd05
@JLiangWaterloo JLiangWaterloo Improve set min deduction. 7b82464
@JLiangWaterloo JLiangWaterloo Remove strong entailment check in set min constraint fuzz test. 2a0121b
@JLiangWaterloo JLiangWaterloo Simple cardinality propagation for transitive closure. fba86ee
@JLiangWaterloo JLiangWaterloo Optimize and reduce the number of propagators. 591fcdf
@JLiangWaterloo JLiangWaterloo New class for storing coalesced variables. 013b652
@JLiangWaterloo JLiangWaterloo Move calculating fix point of FBBT into the class. e9e4855
@JLiangWaterloo JLiangWaterloo Move string coalescing into utility class. 136f03a
@JLiangWaterloo JLiangWaterloo Move applying deductions into the class. 8e9f607
@JLiangWaterloo JLiangWaterloo Implement deduction for conjunction IR. e56e42b
@JLiangWaterloo JLiangWaterloo Incrementally apply deduction in FBBT. dea9382
@JLiangWaterloo JLiangWaterloo Convert set max expressions to constants when possible. 116881e
@JLiangWaterloo JLiangWaterloo Fix join relation card reduction deduction. 9a5664b
@JLiangWaterloo JLiangWaterloo Iteration and toString methods for coalesce class. 0ec453d
@JLiangWaterloo JLiangWaterloo Constructive disjunction for registered IR boolean variables. affe096
@JLiangWaterloo JLiangWaterloo Stronger set equality constraint entailment check. f90556a
@JLiangWaterloo JLiangWaterloo More unit tests for FBBT. 07740bc
@JLiangWaterloo JLiangWaterloo Generalize count to work with any integer array expression. cfac56c
@JLiangWaterloo JLiangWaterloo Remove count not equal IR. 4ad4fcf
@JLiangWaterloo JLiangWaterloo Remove count not equal constraint. 17a2672
@JLiangWaterloo JLiangWaterloo Improve deduction on cardinality. d314097
@JLiangWaterloo JLiangWaterloo Reduce element to ternary when possible. b37fcea
@JLiangWaterloo JLiangWaterloo Cleanup. 39a243d
@JLiangWaterloo JLiangWaterloo Cache scale views. aeb9230
@JLiangWaterloo JLiangWaterloo Reduce the number of minus expressions in linear optimizer. 2c2dcfb
@JLiangWaterloo JLiangWaterloo Use minus+scale for multiplying by a negative constant. 96f3c9e
@JLiangWaterloo JLiangWaterloo Test linear optimizer optimizes sum on sorted operands. 98760ab
@JLiangWaterloo JLiangWaterloo Reduce the coefficients for inequalities during linear optimization. 363bf07
@JLiangWaterloo JLiangWaterloo Simplify bivariate equalities and inequalities during linear optimiza…
…tion.
563f6f1
@JLiangWaterloo JLiangWaterloo Simplify bivariate equalities and inequalities during linear optimiza…
…tion.
4a43c21
@JLiangWaterloo JLiangWaterloo Merge branch 'develop' of https://github.com/gsdlab/chocosolver into …
…develop
1b9acf7
@JLiangWaterloo JLiangWaterloo Fix subtraction optimization where minuend is the constant 0. 77f24ba
@JLiangWaterloo JLiangWaterloo Reduce the number of propagators for the sorted set constraint. db0fd62
@JLiangWaterloo JLiangWaterloo Further reduce the number of propagators for the sorted set constraint. f7a56b5
@JLiangWaterloo JLiangWaterloo Reduce the number of propagators for the subarray constraint. fbc753a
@JLiangWaterloo JLiangWaterloo Refactor out propagators class. 052d838
@JLiangWaterloo JLiangWaterloo Refactor propagator construction to its own class. dd1253f
@JLiangWaterloo JLiangWaterloo Further reduce the number of propagators for the sorted set constraint. 1b7df88
@JLiangWaterloo JLiangWaterloo Remove strong entailment check in element value support constraint fu…
…zz test.
9108523
@JLiangWaterloo JLiangWaterloo Update to latest library. 5fb743d
@JLiangWaterloo JLiangWaterloo Stronger filtering for intersection constraint. 90df45c
@JLiangWaterloo JLiangWaterloo Fix subarray for index and length longer than allowed. 1991256
@JLiangWaterloo JLiangWaterloo Reduce the number of neq propagators. 7889367
@JLiangWaterloo JLiangWaterloo Formatting. 1e1df72
@JLiangWaterloo JLiangWaterloo Remove dedicated classes for set member constraint. 22d6e00
@JLiangWaterloo JLiangWaterloo Remove within IR. 18c1b88
@JLiangWaterloo JLiangWaterloo Remove compare less than op. e3f91e7
@JLiangWaterloo JLiangWaterloo Fix IR member and not member simplification. 9a8f22a
@JLiangWaterloo JLiangWaterloo Revert to stable Choco library version. e1f02a0
@mantkiew mantkiew fixed the release date fa405ef
@mantkiew mantkiew merged commit bc4cb12 into master Sep 19, 2016

1 check failed

continuous-integration/travis-ci/push The Travis CI build could not complete due to an error
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment