| No changes.
Changes in dependency
- org.polarsys.chess.chessmlprofile Success
#517
→
Success
#518
(detail)
- org.polarsys.chess.contracts.verificationService Success
#517
→
Success
#518
(detail)
- org.polarsys.chess.smvExporter Success
#517
→
Success
#518
(detail)
- org.polarsys.chess.contracts.profile Success
#517
→
Success
#518
(detail)
- org.polarsys.chess.service Success
#517
→
Success
#518
(detail)
- org.polarsys.chess.core Success
#517
→
Success
#518
(detail)
|