| No changes.
Changes in dependency
- org.polarsys.chess.contracts.contractEditor Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.verificationService Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mobius.model Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla.transformations Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla.flamm Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.constraints.constraintEditor Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.service Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mainmenu Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.commands Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.diagramsCreator Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.functionBehaviors.functionBehaviorEditor Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.chessextension Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.xtext.fladsl.ide Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.safetyAnalysis Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.checkers Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.tradeoffAnalysis Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.OSSImporter Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla.flaxml Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.validation Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.statebased Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.properties.propertyEditor Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.validator Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.refinementView Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla.faultTreeGenerator Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.transformations Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.monitoring Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.wizards Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mobius.model.edit Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.integration Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mobius Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.m2m Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.xtext.global Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.smvExporter Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.contractPropertyManager Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.profile Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.contracts.hierarchicalContractView Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.tabbedproperties Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mobius.preferences Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.paramArchConfigurator Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.patterns.profile Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.xtext.fladsl.ui Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.cleanCExporter Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.customEditors Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.patterns.library Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.codegen.ada Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.chessmlprofile Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.fla.FPTC2FLABehavior Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.patterns Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.mobius.model.editor Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.xtext.fladsl Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.diagram.ui Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.core Success
#524
→
Success
#525
(detail)
- org.polarsys.chess.multicore Success
#524
→
Success
#525
(detail)
|