Skip to content
[Jenkins]Jenkins
log in
Unstable

Changes

Summary

  1. Extend support to timed domain (details)
  2. remove extra comments (details)
  3. Upload New File (details)
  4. Fix getStateInvariant() method. (details)
  5. Add test for timed domain. (details)
Commit 5c471350026b526361a60dc0381e3ed1d2306429 by Andrea Perri
Extend support to timed domain
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateArchitectureViaWizard.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/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportNominalSMsToSmvFilesCommand.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/ModelCheckingCommand.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/debug/CheckValidationPropertyOnFileCommand.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/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.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestBasicOperations.java
The file was modified plugins/org.polarsys.chess.smvExporter/src/org/polarsys/chess/smvExporter/ui/commands/ExportSelectedNominalSMsToSmvFilesCommand.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.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ContractImplementationCommand.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.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/ui/wizard/InstantiateArchWizard.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/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/ExportModelToFileCommand.java
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/contracts/org.polarsys.chess.contracts.safetyAnalysis/src/org/polarsys/chess/safetyAnalysis/commands/ComputeContractFaultTreeCommand.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/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/TestSafetyAnalysisOperations.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/org.polarsys.chess.tradeoffAnalysis/src/org/polarsys/chess/tradeoffAnalysis/commands/TradeoffCommand.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/CompositeContractImplementationCommand.java
The file was modified plugins/org.polarsys.chess.paramArchConfigurator/src/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.java
Commit 6e6f19b4f47c7ed2028dba989f9d45a85e2c6ba2 by Andrea Perri
remove extra comments
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
Commit 30b443f37a9b5b9e0d5ad6a1d85e59c1539d5117 by Andrea Perri
Upload New File
The file was addedDocumentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis_timed.docx
Commit f46dfa4961963a73edc01072d15a567439438a15 by Alberto Debiasi
Fix getStateInvariant() method.

Change-Id: I976103d59afde953ab52a51b2c3391961af4c3a5
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/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
Commit b19099b00f91e7ac310161e7e18d75ab8152ae4e by Alberto Debiasi
Add test for timed domain.

Change-Id: I7e8a6d1d5c3a54e8e2e6a81d6cd479b769973ade
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.notation
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 addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/.project
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.uml
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/train-gate-controller.di