[DEECo] [d3scomp/JDEECo] b3166d: Minor bugfixing.

[GitHub]

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

  Changed paths:
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java

  Log Message:
  -----------
  Minor bugfixing.


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

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

  Log Message:
  -----------
  Z3IntelligentEnsembleFactory should now support both int and data contract based ensembles.


  Commit: 30cc3da8b80f4031dc5aabc2499bc05fa99ace67
      https://github.com/d3scomp/JDEECo/commit/30cc3da8b80f4031dc5aabc2499bc05fa99ace67
  Author: Buckey <aertheas at gmail.com>
  Date:   2016-06-29 (Wed, 29 Jun 2016)

  Changed paths:
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/generator/EDLGenerator.xtend

  Log Message:
  -----------
  EDLGenerator now includes a correct constructor in the *Impl ensemble knowledge exchange files.


Compare: https://github.com/d3scomp/JDEECo/compare/c64e975c0b71...30cc3da8b80f