[DEECo] [d3scomp/JDEECo] da98d6: Z3 multiple data contract support WIP

GitHub noreply at github.com
Fri Apr 15 17:22:09 CEST 2016


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

  Changed paths:
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/container/TrackingKnowledgeWrapper.java

  Log Message:
  -----------
  Z3 multiple data contract support WIP

Z3 related stuff not merged, omly merging component id fix for
KnowledgeContainers.




More information about the DEECo mailing list