[DEECo] [d3scomp/JDEECo] dd3dd9: Z3: implemented fitness

GitHub noreply at github.com
Fri Apr 29 16:51:41 CEST 2016


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

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

  Log Message:
  -----------
  Z3: implemented fitness


  Commit: 619eb2993008541fb8eee153e9faf0a8d6c5d839
      https://github.com/d3scomp/JDEECo/commit/619eb2993008541fb8eee153e9faf0a8d6c5d839
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-04-28 (Thu, 28 Apr 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl

  Log Message:
  -----------
  Z3: fix for fitness (when not specified in DSL)


  Commit: 06fb148d23702178c23db48519c334aa891b8953
      https://github.com/d3scomp/JDEECo/commit/06fb148d23702178c23db48519c334aa891b8953
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-04-29 (Fri, 29 Apr 2016)

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

  Log Message:
  -----------
  Z3: added support for multiple ensembles.


Compare: https://github.com/d3scomp/JDEECo/compare/242625d162d0...06fb148d2370


More information about the DEECo mailing list