[DEECo] [d3scomp/JDEECo] fca291: Z3: Implementation of role cardinalities (for sing...

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: fca2914d1d9d36f94404c4e5e33759eb1182494a
      https://github.com/d3scomp/JDEECo/commit/fca2914d1d9d36f94404c4e5e33759eb1182494a
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

  Changed paths:
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/ensembles/z3/Z3IntelligentEnsembleFactory.java
    M jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemblesTest.java
    M jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/pendolino.edl
    M jdeeco-edl-model/src/cz/cuni/mff/d3s/jdeeco/edl/model/edl/impl/QualifiedNameImpl.java

  Log Message:
  -----------
  Z3: Implementation of role cardinalities (for single ensemble & single
role)


  Commit: 85e240b0a504efe3e20a9a34b1d1a856cbc1a13b
      https://github.com/d3scomp/JDEECo/commit/85e240b0a504efe3e20a9a34b1d1a856cbc1a13b
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

  Changed paths:
    M jdeeco-edl-model/model/edl.aird
    M jdeeco-edl-model/model/edl.ecore
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/EDL.xtext
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/EDLGenerator.xtend
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend

  Log Message:
  -----------
  Merge branch 'IntelligentEnsembles' of https://github.com/d3scomp/JDEECo.git into IntelligentEnsembles


  Commit: b297fb4f7961e8ee8f914af934fecbd2decf2dfd
      https://github.com/d3scomp/JDEECo/commit/b297fb4f7961e8ee8f914af934fecbd2decf2dfd
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

  Changed paths:
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/ensembles/z3/Z3IntelligentEnsembleFactory.java
    R jdeeco-core/src/cz/cuni/mff/d3s/deeco/ensembles/z3/package-info.java
    R jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemble.java
    R jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemblesTest.java
    R jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/Rescuer.java
    R jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/RescuerComponent.java
    R jdeeco-core/test/cz/cuni/mff/d3s/deeco/ensembles/z3/pendolino.edl
    A jdeeco-edl-tests/src/cz/cuni/mff/d3s/jdeeco/edl/EDLReader.java
    A jdeeco-ensembles-intelligent-z3/.classpath
    A jdeeco-ensembles-intelligent-z3/.project
    A jdeeco-ensembles-intelligent-z3/com.microsoft.z3.jar
    A jdeeco-ensembles-intelligent-z3/libz3.dll
    A jdeeco-ensembles-intelligent-z3/libz3java.dll
    A jdeeco-ensembles-intelligent-z3/pom.xml
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/deeco/ensembles/z3/Z3IntelligentEnsembleFactory.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/deeco/ensembles/z3/package-info.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemble.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemblesTest.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/Rescuer.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/RescuerComponent.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/pendolino.edl

  Log Message:
  -----------
  Introduced extra project for Z3 Intelligent ensembles.


  Commit: 823784f67106a68badcfde89dd4cd01adbd381b1
      https://github.com/d3scomp/JDEECo/commit/823784f67106a68badcfde89dd4cd01adbd381b1
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-02-25 (Thu, 25 Feb 2016)

  Changed paths:
    R jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/deeco/ensembles/z3/Z3IntelligentEnsembleFactory.java
    R jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/deeco/ensembles/z3/package-info.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/package-info.java
    R jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemble.java
    R jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/IntelligentEnsemblesTest.java
    R jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/Rescuer.java
    R jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/RescuerComponent.java
    R jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/deeco/ensembles/z3/pendolino.edl
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemble.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemblesTest.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Rescuer.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/RescuerComponent.java
    A jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl
    A jdeeco-ensembles-intelligent-z3/test/logging.properties

  Log Message:
  -----------
  Refactor: package names for Z3 ensembles.


Compare: https://github.com/d3scomp/JDEECo/compare/6f872101b125...823784f67106