|
Changes
- Extend support to timed domain
(details)
- Add test for timed domain.
(details)
Changes in dependency
- org.polarsys.chess.smvExporter Success
#36
→
Success
#37
(detail)
- org.eclipse.papyrus.junit.utils Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.validator Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.diagram.ui Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.chessmlprofile Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.contracts.profile Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.service Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.core Success
#36
→
Success
#37
(detail)
- org.eclipse.papyrus.junit.framework Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.contracts.validation Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.contracts.verificationService Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.contracts.integration Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.contracts.transformations Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.OSSImporter Success
#36
→
Success
#37
(detail)
- org.polarsys.chess.diagramsCreator Success
#36
→
Success
#37
(detail)
|