[DEECo] [d3scomp/JDEECo] ca67d4: Bugfix: Star cardinalities are now treated correct...

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: ca67d4fe53bbe99523a795a201a2e06a8fd1bbcc
      https://github.com/d3scomp/JDEECo/commit/ca67d4fe53bbe99523a795a201a2e06a8fd1bbcc
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-17 (Fri, 17 Jun 2016)

  Changed paths:
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/ContextSymbols.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/EDLValueConverter.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java

  Log Message:
  -----------
  Bugfix: Star cardinalities are now treated correctly in the solver.


  Commit: 17f4bc204b65804435265e148d10db8e076aaa45
      https://github.com/d3scomp/JDEECo/commit/17f4bc204b65804435265e148d10db8e076aaa45
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-17 (Fri, 17 Jun 2016)

  Changed paths:
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/ToStringVisitor.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java

  Log Message:
  -----------
  Fix: Ensemble creation no longer depends on a specific ensemble class.


  Commit: d6986f19620ea2d83eaea63fe3c060beee0f4917
      https://github.com/d3scomp/JDEECo/commit/d6986f19620ea2d83eaea63fe3c060beee0f4917
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-17 (Fri, 17 Jun 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java

  Log Message:
  -----------
  Minor bugfix: Star cardinalities now correctly result in list assignment.


Compare: https://github.com/d3scomp/JDEECo/compare/6ede5a03bc88...d6986f19620e