Skip to content

Changes

Summary

  1. Update NOTICE.md (details)
  2. Add SM2py command. (details)
  3. Add missing .ignore files. (details)
  4. Ingnore .settings folder. (details)
  5. Add sm2py test. (details)
  6. Fix UnsupportedClassVersionError for neon profile. (details)
  7. Implement method on SMAbstractClass, update oracles. (details)
  8. Create folder if not exists. (details)
  9. Implement methods to handle fei generation. (details)
  10. Implement methods to handle fei generation (2). (details)
  11. Use EST fei generation. (details)
  12. Update manifest.mf. (details)
  13. Remove unused dep. (details)
  14. Remove unused code. (details)
  15. Add fei generator tests. (details)
  16. Implement getFailureModeType(). (details)
  17. Update refs to sirius. (details)
  18. Remove chess.instance.view. (details)
  19. Remove viatra from target.neon. (details)
  20. Remove nebula from neon.target, update .classpath. (details)
  21. Remove unused FaultTreeVisualizer. (details)
  22. Remove nebula and sirius refs. (details)
  23. Remove unused acceleo deps. (details)
  24. Add acceleo to neaon.target. (details)
  25. Add acceleo dependency in test.runtime. (details)
  26. Remove nebula and sirius from CHESS.product. (details)
  27. Remove jdt and pde from CHESS.product. (details)
  28. Restore CHESS.product. (details)
  29. Remove nebula from chess.product. (details)
  30. Restore CHESS.product and category.xml. (details)
  31. Create DiagramUtils class to handle diagrams creation. (details)
  32. Add isBlockDefinitionDiagram(), update refreshDiagram(). (details)
  33. Update DiagramUtils. (details)
  34. Add dependences. (details)
  35. Remove cyclic reference. (details)
  36. Handle context in nuxmv/xsap operations. (details)
  37. Update oracles. (details)
  38. Fix FMEAXSapHandler call. (details)
  39. Update regression tests. (details)
  40. Specify version for org.eclipse.emf.codegen.ecore. (details)
  41. Specify emf.codegen.ecore version. (details)
  42. Fix fladsl pom. (details)
  43. Update bundle version number (details)
Commit 8ee45343fc5605c65d81d73cde8aaaf0ec4be27f by Alberto Debiasi
Update NOTICE.md
The file was modified NOTICE.md
Commit 874aa5bbad88188ad6bf14518abf79246ebf6145 by Alberto Debiasi
Add SM2py command.
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToPythonFileCommand.java
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/utils/PythonDirectoryUtil.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ExportBlockToK2FileCommand.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/plugin.xml
Commit 8b33388a2b71a75c73e334b17a1966845e0a2a06 by Alberto Debiasi
Add missing .ignore files.
The file was addedorg.polarsys.chess.parent/features/org.polarsys.chess.feature/.gitignore
The file was addedplugins/mobius/org.polarsys.chess.mobius.model.edit/.gitignore
The file was addedplugins/mobius/org.polarsys.chess.mobius/.gitignore
The file was addedplugins/org.polarsys.chess.mainmenu/.gitignore
The file was addedplugins/mobius/org.polarsys.chess.mobius.preferences/.gitignore
The file was addedorg.polarsys.chess.parent/releng/org.polarsys.chess.repository/.gitignore
The file was addedplugins/mobius/org.polarsys.chess.mobius.model.editor/.gitignore
The file was addedplugins/org.polarsys.chess.customEditors/.gitignore
The file was addedplugins/fla/org.polarsys.chess.fla.FPTC2FLABehavior/.gitignore
The file was addedplugins/mobius/org.polarsys.chess.mobius.model/.gitignore
Commit 4d9a3c9657595e06ff0f1feb3c5903277c211a13 by Alberto Debiasi
Ingnore .settings folder.
The file was modified plugins/fla/org.polarsys.chess.xtext.fladsl.ide/.gitignore
The file was modified extra_plugins/org.eclipse.papyrus.uml.profile.tests/.gitignore
The file was modified plugins/org.polarsys.chess.test.runtime/.gitignore
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.repository/.gitignore
Commit a893632e9dfc16f6eb91a874d4c9f11ddd81fd7d by Alberto Debiasi
Add sm2py test.
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/SSR_fi/PythonFiles/Selector.py
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/PythonFiles/SpeedSensor.py
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/PythonFiles/MonitorPresence.py
Commit 92d2511dd9d7f4cbfef6ec225e1d9c14a8512bf2 by Alberto Debiasi
Fix UnsupportedClassVersionError for neon profile.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.configuration/pom.xml
Commit cc891fc1a13a25d0423deec8032471df721483e7 by Alberto Debiasi
Implement method on SMAbstractClass, update oracles.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/SpeedSensor_SpeedSensorSM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
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.test.runtime/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
Commit 3a5af7ab56b783efa66c6064ee315e3c3204867f by Alberto Debiasi
Create folder if not exists.
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/utils/FileNamesUtil.java
Commit 1db46a7187ea253c5f0e65d5bdf42aad96752609 by Alberto Debiasi
Implement methods to handle fei generation.
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/UMLStateMachineModel.java
The file was modified plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/core/model/ChessSystemModel.java
Commit ac991e312a8152a8f6b2156bf34e5ee070999bfd by Alberto Debiasi
Implement methods to handle fei generation (2).
The file was modified plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
Commit 32e17ac05700e68d17b2a214af37733cbf98f575 by Alberto Debiasi
Use EST fei generation.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/AbstractXSapHandler.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FMEAXSapHandler.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FTAXSapHandler.java
Commit 44997df624fc0707da17fca6a269e334bcbefee7 by Alberto Debiasi
Update manifest.mf.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/META-INF/MANIFEST.MF
Commit 793bfad15b39051d0d25632f599270b32c4a7654 by Alberto Debiasi
Remove unused dep.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/AbstractXSapHandler.java
Commit 24b3685f1a99756fd5b0a65f4bef6a9440738eb5 by Alberto Debiasi
Remove unused code.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/AbstractXSapHandler.java
Commit 0aa46be47622f5a2f2dd116025ec2f1cf7ddaa29 by Alberto Debiasi
Add fei generator tests.
The file was addedplugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/FeiFiles/Acceleo/RootElement_System.fei
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/SSR_fi/FeiFiles/EST/RootElement_System.fei
Commit 1f57fc23f0650ced52d85423467f5b6dcffd3a6c by Alberto Debiasi
Implement getFailureModeType().
The file was modified plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
Commit b0f4d89a1d4620d9cfcb0d02fd39522b1ab26879 by Alberto Debiasi
Update refs to sirius.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit cc09afeb7c6f7e9527ed044e8cf17badb4868e2a by Alberto Debiasi
Remove chess.instance.view.
The file was removedplugins/org.polarsys.chess.instance.view/plugin.xml
The file was removedplugins/org.polarsys.chess.instance.view/.classpath
The file was removedplugins/org.polarsys.chess.instance.view/.settings/org.eclipse.jdt.core.prefs
The file was removedplugins/org.polarsys.chess.instance.view/build.properties
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/AddPeriodicCHRtSpecHandler.java
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/InstanceViewPart.java
The file was removedplugins/org.polarsys.chess.test.runtime/target/work/plugins/org.eclipse.pde.build_3.9.200.v20160204-0642/about.html
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/view.vql
The file was removedplugins/org.polarsys.chess.instance.view/.project
The file was removedplugins/org.polarsys.chess.instance.view/about.html
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/AddSporadicCHRtSpecHandler.java
The file was removedplugins/org.polarsys.chess.instance.view/.settings/org.eclipse.xtend.core.Xtend.prefs
The file was removedplugins/org.polarsys.chess.instance.view/.settings/org.eclipse.m2e.core.prefs
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/ModelSetSnippet.java
The file was removedplugins/org.polarsys.chess.instance.view/pom.xml
The file was removedplugins/org.polarsys.chess.test.runtime/target/work/plugins/org.eclipse.jdt.debug_3.10.1.v20160811-0441/about.html
The file was removedplugins/org.polarsys.chess.instance.view/.gitignore
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/AddCHRtSpecHandler.java
The file was removedplugins/org.polarsys.chess.instance.view/.settings/org.eclipse.core.resources.prefs
The file was removedplugins/org.polarsys.chess.instance.view/META-INF/MANIFEST.MF
The file was removedplugins/org.polarsys.chess.instance.view/src/org/polarsys/chess/instance/view/ViewLabelProvider.java
Commit 10aa0bb12c1fbfc5cba351298faeda3186c604d0 by Alberto Debiasi
Remove viatra from target.neon.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
Commit 6c05f45b48cfada7e4491db004bea4c28cf92d27 by Alberto Debiasi
Remove nebula from neon.target, update .classpath.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
The file was modified .classpath
Commit d7ba492c2cec1c9dd69d307fb593d979b533dd70 by Alberto Debiasi
Remove unused FaultTreeVisualizer.
The file was removedplugins/fla/org.polarsys.chess.fla.faultTreeGenerator/src/org/polarsys/chess/fla/faultTreeGenerator/visualization/FaultTreeVisualizer.java
Commit a41db82d58993c421bb366dad2b956a242aae064 by Alberto Debiasi
Remove nebula and sirius refs.
The file was modified plugins/fla/org.polarsys.chess.fla.faultTreeGenerator/META-INF/MANIFEST.MF
The file was modified plugins/org.polarsys.chess.diagram.ui/META-INF/MANIFEST.MF
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/META-INF/MANIFEST.MF
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified plugins/org.polarsys.chess.diagram.ui/src/org/polarsys/chess/diagram/ui/services/ResultsGeneratorService.java
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
Commit e3664ec9ddadda82b5bceaadbf7389b8060a1e35 by Alberto Debiasi
Remove unused acceleo deps.
The file was modified plugins/org.polarsys.chess.m2m/META-INF/MANIFEST.MF
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF
Commit bc1614342d7733e250b39ae6fa26620c87660567 by Alberto Debiasi
Add acceleo to neaon.target.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
Commit 0b91ff60da83d9d37edd2c8a453a008912380ab9 by Alberto Debiasi
Add acceleo dependency in test.runtime.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/META-INF/MANIFEST.MF
Commit d4afb91b4fe7d70578d4e2a5aa45cd4580a6e7a0 by Alberto Debiasi
Remove nebula and sirius from CHESS.product.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit 93b4ff6e071dfab0fe05db400144394d92a01f5f by Alberto Debiasi
Remove jdt and pde from CHESS.product.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit 80fb3dd8e2b59c75c3bd93d9748e500beff412e5 by Alberto Debiasi
Restore CHESS.product.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit 32c35c84cd284990d82e45433ad70b69959dff66 by Alberto Debiasi
Remove nebula from chess.product.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit 7fa8ac8e3476d12bfd25e903648f565552e81eca by Alberto Debiasi
Restore CHESS.product and category.xml.
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.target.neon/org.polarsys.chess.target.neon.target
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product
Commit e5a801e93d2532f4e39f16523f8b1795d6aee3d0 by Alberto Debiasi
Create DiagramUtils class to handle diagrams creation.
The file was modified plugins/org.polarsys.chess.diagramsCreator/META-INF/MANIFEST.MF
The file was addedplugins/org.polarsys.chess.core/src/org/polarsys/chess/core/util/uml/DiagramUtils.java
The file was modified plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/actions/ShowSMDElementsAction.java
The file was modified plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/utils/DiagramUtils.java
Commit faec5992c33982398ed1bf4b54184440a21b493d by Alberto Debiasi
Add isBlockDefinitionDiagram(), update refreshDiagram().
The file was modified plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/util/uml/DiagramUtils.java
The file was modified plugins/org.polarsys.chess.diagramsCreator/src/org/polarsys/chess/diagramsCreator/actions/ShowBDDElementsAction.java
The file was modified plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
Commit cc0aad86c1e79df04493172e5566e6a7b668e2ef by Alberto Debiasi
Update DiagramUtils.
The file was modified plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/util/uml/DiagramUtils.java
Commit e1bf88087a9706d2e468c7914b51fad25ae6d538 by Alberto Debiasi
Add dependences.
The file was modified plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
Commit b16b2945e9a94c459140b33948e37731aae3ca4b by Alberto Debiasi
Remove cyclic reference.
The file was modified plugins/org.polarsys.chess.core/src/org/polarsys/chess/core/util/uml/DiagramUtils.java
The file was modified plugins/org.polarsys.chess.core/META-INF/MANIFEST.MF
Commit 9f62c03329bf89d0f36731b4d01fcb2f06023cd0 by Alberto Debiasi
Handle context in nuxmv/xsap operations.
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.transformations/src/org/polarsys/chess/contracts/transformations/commands/FTAXSapHandler.java
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/ModelCheckingCommand.java
Commit 424278bf8f0dfc0a9c5e00cfb12ac8a7ea037cfb by Alberto Debiasi
Update oracles.
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/Selector_selector_SM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Controller_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/SpeedSensor_SpeedSensorSM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Gate_StateMachine1.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/VandVResults/FMEA/ft.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/VandVResults/FTA/ft.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/SmvFiles/MonitorPresence_monitorSM.smv
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/ParamArch/VandVResults/ContractRefinement/result_contract_refinement.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/VandVResults/ValidationProperty/result_validation_property.xml
The file was modified plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/TimedModel/SmvFiles/Train_StateMachine1.smv
Commit 4e4fd6fe2ec843c4ee13d4df1779e224a242c52a by Alberto Debiasi
Fix FMEAXSapHandler call.
The file was modified plugins/contracts/org.polarsys.chess.contracts.transformations/src/org/polarsys/chess/contracts/transformations/commands/FMEAXSapHandler.java
Commit 77d566cf000c96ca474b723268217addf5401f60 by Alberto Debiasi
Update regression tests.
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.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/TestVAndVOperations.java
Commit a7539540ed05e2a266fc53d43badbdb9cd85a007 by Alberto Debiasi
Specify version for org.eclipse.emf.codegen.ecore.
The file was modified plugins/fla/org.polarsys.chess.xtext.fladsl/pom.xml
Commit 1aa7cdc86f5c37d7ca1924d1f8c25009a46e065a by Alberto Debiasi
Specify emf.codegen.ecore version.
The file was modified plugins/fla/org.polarsys.chess.xtext.fladsl/META-INF/MANIFEST.MF
Commit 7af65e764ff96c261cdddf2ad50017d6d7431e5f by Alberto Debiasi
Fix fladsl pom.
The file was modified plugins/fla/org.polarsys.chess.xtext.fladsl/pom.xml
Commit d395a132652e2f447bd923bf1d8852645c24f673 by Luca Cristoforetti
Update bundle version number
The file was modified org.polarsys.chess.parent/releng/org.polarsys.chess.configuration/pom.xml