Skip to content
Jenkins
log in
Dashboard
merge-branch-x-to-devel
org.polarsys.chess.paramArchConfigurator
#37
Changes
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Previous Build
Next Build
Success
Changes
Summary
Extend support to timed domain (
details
)
Commit 5c471350026b526361a60dc0381e3ed1d2306429 by
Andrea Perri
Extend support to timed domain
The file was modified
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/debug/ComputeContractFaultTreeOnFileCommand.java
The file was modified
plugins/org.polarsys.chess.tradeoffAnalysis/src/org/polarsys/chess/tradeoffAnalysis/commands/TradeoffCommand.java
The file was modified
plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CompositeContractImplementationCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/ui/wizard/InstantiateArchWizard.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestSafetyAnalysisOperations.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/ModelCheckingOnFileCommand.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/debug/CheckValidationPropertyOnFileCommand.java
The file was modified
plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/commands/GenerateDocumentCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperationsHeadless.java
The file was modified
plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportNominalSMsToSmvFilesCommand.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateArchitectureViaWizard.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractRefinementCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestCheckContractRefinementOfCHESSComponent.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportModelToFileCommand.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationAssertionPropertyCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
The file was modified
plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportModelToMonolithicSMVCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractImplementationCommand.java
The file was modified
plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportSelectedNominalSMsToSmvFilesCommand.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java
The file was modified
plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/ui/wizard/page/AssignValuesPage.java
The file was modified
plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/ComputeContractFaultTreeCommand.java