[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