Skip to content
[Jenkins]Jenkins
log in
Status
Changes
Modules

Changes

#63 (Apr 13, 2023, 4:26:51 AM)

  1. Fix MARTE dependencies — Luca Cristoforetti / detail

#62 (Apr 13, 2023, 4:20:31 AM)

  1. Update reference to CHESS website in README.md — Alberto Debiasi / detail
  2. Update tycho version — Luca Cristoforetti / detail

#61 (Nov 24, 2022, 9:27:41 AM)

  1. Add target platform. — Alberto Debiasi / detail
  2. Update target platform (in progress). — Alberto Debiasi / detail
  3. Update target platform (in progress). — Alberto Debiasi / detail
  4. Update target platform (in progress). — Alberto Debiasi / detail
  5. Update dependences (in progress). — Alberto Debiasi / detail
  6. Remove unused method. — Alberto Debiasi / detail
  7. Update target platform. — Alberto Debiasi / detail
  8. Update CHESS profile. — Alberto Debiasi / detail
  9. Update CHESS Contract profile. — Alberto Debiasi / detail
  10. Remove old generated classes from CHESS profile. — Alberto Debiasi / detail
  11. Fix errors on dependences. — Alberto Debiasi / detail
  12. Enrich target platform. — Alberto Debiasi / detail
  13. Add mvn profile. — Alberto Debiasi / detail
  14. Update chesscontract.ecore. — Alberto Debiasi / detail
  15. Add MARTE_Library.ecore. — Alberto Debiasi / detail
  16. Add MARTE.ecore. — Alberto Debiasi / detail
  17. Update ecore profiles. — Alberto Debiasi / detail
  18. Update profiles (in progress). — Alberto Debiasi / detail
  19. Add 2022-03 target. — Alberto Debiasi / detail
  20. Add profile Eclipse-2021-12-Java11. — Alberto Debiasi / detail
  21. Update ecore profiles (in progress). — Alberto Debiasi / detail
  22. Update Marte profiles. — Alberto Debiasi / detail
  23. Remove modified profiles. Fix target platform. — Alberto Debiasi / detail
  24. Update target platform. — Alberto Debiasi / detail
  25. Update chess meta-model. — Alberto Debiasi / detail
  26. Remove palette definitions and redundant elements. — Alberto Debiasi / detail
  27. Replaced chess genmodel. — Alberto Debiasi / detail
  28. remove unused ecore models. — Alberto Debiasi / detail
  29. remove unused ecore models. (2) — Alberto Debiasi / detail
  30. Update CHESSContractProfile. — Alberto Debiasi / detail
  31. Remove chesscontract palette definitions and redundant elements. — Alberto Debiasi / detail
  32. Remove blocks from export packages. — Alberto Debiasi / detail
  33. Update generated meta-model classes. — Alberto Debiasi / detail
  34. Remove unused generated meta-model classes. — Alberto Debiasi / detail
  35. Remove unused generated files. — Alberto Debiasi / detail
  36. Re-updated chess contract profile. — Alberto Debiasi / detail
  37. Update chessml and chesscontract profiles. — Alberto Debiasi / detail
  38. Fix "no duplicate" profile error. — Alberto Debiasi / detail
  39. Fix formal property missing type. — Alberto Debiasi / detail
  40. Fix CHESS wizard to new projects. — Alberto Debiasi / detail
  41. Fix MARTE generated code references. — Alberto Debiasi / detail
  42. Fix methods to apply C — Alberto Debiasi / detail
  43. Fix errors on refinementView. — Alberto Debiasi / detail
  44. Further fix for MARTE generated code references. — Alberto Debiasi / detail
  45. Remove unused classes for diagram layout. — Alberto Debiasi / detail
  46. Fixed commands on BDD/IBD diagrams refresh. — Alberto Debiasi / detail
  47. Fix SMD refresh command. — Alberto Debiasi / detail
  48. Define System element in CHESSContract metamodel. — Alberto Debiasi / detail
  49. Fix diagrams objects reference. — Alberto Debiasi / detail
  50. Remove papyrus junittest plugins. — Alberto Debiasi / detail
  51. Further fixes. — Alberto Debiasi / detail
  52. Fix on PaletteManager. — Alberto Debiasi / detail
  53. Fix ContractEditor Tab. — Alberto Debiasi / detail
  54. Add contract palette for BDD (in progress). — Alberto Debiasi / detail
  55. Mode old palette files. — Alberto Debiasi / detail
  56. palette config (In progress) — Alberto Debiasi / detail
  57. palette config (2) (In progress) — Alberto Debiasi / detail
  58. palette config (3) (In progress) — Alberto Debiasi / detail
  59. Remove old files. — Alberto Debiasi / detail
  60. Add System to CHESSContractui. — Alberto Debiasi / detail
  61. Apply palette to BDD. — Alberto Debiasi / detail
  62. Rename CHESS BDD palette. — Alberto Debiasi / detail
  63. Add FormalProperty in CHESSContractui — Alberto Debiasi / detail
  64. Fix CHESS palette (missing stereotypes). — Alberto Debiasi / detail
  65. Partially fix the diagrams creation. — Alberto Debiasi / detail
  66. Remove old palette files. — Alberto Debiasi / detail
  67. Update target platform. — Alberto Debiasi / detail
  68. Update target platform (2). — Alberto Debiasi / detail
  69. Remove unused dep. — Alberto Debiasi / detail
  70. Add Eclipse-2021-03-Java11-devel maven profile. — Alberto Debiasi / detail
  71. Remove unused imported packages. — Alberto Debiasi / detail
  72. Remove chess.cdo from bundle. — Alberto Debiasi / detail
  73. Remove chess.discovery from bundle. — Alberto Debiasi / detail
  74. Update CHESS.product. — Alberto Debiasi / detail
  75. Clean CHESS.product. — Alberto Debiasi / detail
  76. Add org.eclipse.equinox to target platform. — Alberto Debiasi / detail
  77. Update CHESSContract Profile. — Alberto Debiasi / detail
  78. Remove unused dependency with eu.fbk.tools.adapter.core. — Alberto Debiasi / detail
  79. Cleanup CHESS.product. Add pde feature. — Alberto Debiasi / detail
  80. Enrich CHESS.product. — Alberto Debiasi / detail
  81. Remove httpclient4.ssl.feature. — Alberto Debiasi / detail
  82. Rearrange features. — Alberto Debiasi / detail
  83. In profile add reference to target platform. — Alberto Debiasi / detail
  84. Remove target module def in pom.xml. — Alberto Debiasi / detail
  85. Update pom.xml with refs. — Alberto Debiasi / detail
  86. Insert modules in configuration pom. — Alberto Debiasi / detail
  87. Update maven target/source compiler version. — Alberto Debiasi / detail
  88. Remove old features from CHESS.product. — Alberto Debiasi / detail
  89. Switch from Java 1.8 to 11. — Alberto Debiasi / detail
  90. Remove unused deps. — Alberto Debiasi / detail
  91. Fix sysout message. — Alberto Debiasi / detail
  92. Remove dependences from test.runtime. — Alberto Debiasi / detail
  93. Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
  94. Remove bin files. — Alberto Debiasi / detail
  95. Remove batik dependences. — Alberto Debiasi / detail
  96. Porting fladsl to xtext 2.25. — Alberto Debiasi / detail
  97. Add org.apache.felix.scr to CHESS.product, update ref to update-sites. — Alberto Debiasi / detail
  98. Fix commands related to creation/updates of diagrams. — Alberto Debiasi / detail
  99. Update reference to MARTE update-site. — Alberto Debiasi / detail
  100. Add elementTypeSetConfigurations and palette to CHESS profiles. — Alberto Debiasi / detail
  101. Cleanup palette. — Alberto Debiasi / detail
  102. Update CHESS.profile. — Alberto Debiasi / detail
  103. Create CHESS palette for IBD. — Alberto Debiasi / detail
  104. Add missing printStackTrace, improve Contract creation. — Alberto Debiasi / detail
  105. Remove Contract from BDD palette. — Alberto Debiasi / detail
  106. Update CHESS tests (in progress). — Alberto Debiasi / detail
  107. Enable some tests. — Alberto Debiasi / detail
  108. Update tests. — Alberto Debiasi / detail
  109. Change ecore profile refs. — Alberto Debiasi / detail
  110. Fix NullPointer in PaletteManager. — Alberto Debiasi / detail
  111. Add .gitignore files. — Alberto Debiasi / detail
  112. Fix redundant code. — Alberto Debiasi / detail
  113. Remove binaries. — Alberto Debiasi / detail
  114. Fix manifest for DependableComponent package. — Alberto Debiasi / detail
  115. Fix wrong function name xsap_compute_fault_tree. — Alberto Debiasi / detail
  116. Add sirius specifier to target platform. — Alberto Debiasi / detail
  117. update .properties for tests. — Alberto Debiasi / detail
  118. Update test oracles. — Alberto Debiasi / detail
  119. Update CHESSML profile. — Alberto Debiasi / detail
  120. Import xml.bind to faultTreeGenerator. — Alberto Debiasi / detail
  121. Update V&V tests. — Alberto Debiasi / detail
  122. Add missing createConstraint method. — Alberto Debiasi / detail
  123. Update UMLStateMAchineModel. — Alberto Debiasi / detail
  124. Fix runtime.test manifest and update CHESS.product. — Alberto Debiasi / detail
  125. Remove viatra from CHESS.product. — Alberto Debiasi / detail
  126. add gef to 2021-03.target. — Alberto Debiasi / detail
  127. Add emf.transaction to 2021-03.target. — Alberto Debiasi / detail
  128. Add gmf to 2021-03.target. — Alberto Debiasi / detail
  129. Clean up chess.product. — Alberto Debiasi / detail
  130. Update CHESS.product. — Alberto Debiasi / detail
  131. Update CHESS.product. — Alberto Debiasi / detail
  132. Fix gmf version, add sirius deps. — Alberto Debiasi / detail
  133. Add sirius deps in target.2021-03. — Alberto Debiasi / detail
  134. Update elk deps in 2-21-03.target. — Alberto Debiasi / detail
  135. Fix IBD creation. — Alberto Debiasi / detail
  136. Update CHESS.product. — Alberto Debiasi / detail
  137. Revemo graphiti and nebula grom CHESS.product. — Alberto Debiasi / detail
  138. Add eef and acceleo. — Alberto Debiasi / detail
  139. Update refreshDiagramMethod(). — Alberto Debiasi / detail
  140. Update SSR_fault oracle for test on fei files. — Alberto Debiasi / detail
  141. Update SSR_fault oracle for test on fei files and doc generation. — Alberto Debiasi / detail
  142. Fix project name in TestBasicOperations. — Alberto Debiasi / detail
  143. Remove TestBasic test. — Alberto Debiasi / detail
  144. Add dep in OSSImporter. — Alberto Debiasi / detail
  145. Enable stereotypes in http://CHESS/StateMachines. — Alberto Debiasi / detail
  146. Fix SMD layout command. — Alberto Debiasi / detail
  147. Add condition in setPaletteVisibility(); — Alberto Debiasi / detail

#60 (Sep 23, 2022, 11:27:13 AM)

  1. Fix properties formatter — Luca Cristoforetti / detail

#59 (Sep 23, 2022, 9:42:10 AM)

  1. Handle context in nuxmv/xsap operations. — Alberto Debiasi / detail
  2. Update oracles. — Alberto Debiasi / detail
  3. Fix FMEAXSapHandler call. — Alberto Debiasi / detail
  4. Update regression tests. — Alberto Debiasi / detail

#58 (Aug 17, 2022, 5:16:09 AM)

  1. Remove cyclic reference. — Alberto Debiasi / detail

#57 (Aug 17, 2022, 4:47:11 AM)

  1. Add isBlockDefinitionDiagram(), update refreshDiagram(). — Alberto Debiasi / detail
  2. Update DiagramUtils. — Alberto Debiasi / detail
  3. Add dependences. — Alberto Debiasi / detail

#55 (Aug 11, 2022, 5:20:23 AM)

  1. Create DiagramUtils class to handle diagrams creation. — Alberto Debiasi / detail

#54 (Jul 18, 2022, 6:09:42 AM)

  1. Restore CHESS.product and category.xml. — Alberto Debiasi / detail

#53 (Jul 18, 2022, 5:31:39 AM)

  1. Remove nebula from chess.product. — Alberto Debiasi / detail

#52 (Jul 18, 2022, 4:55:38 AM)

  1. Restore CHESS.product. — Alberto Debiasi / detail

#51 (Jul 15, 2022, 5:30:58 AM)

  1. Remove jdt and pde from CHESS.product. — Alberto Debiasi / detail

#50 (Jul 15, 2022, 5:03:01 AM)

  1. Remove nebula and sirius from CHESS.product. — Alberto Debiasi / detail

#49 (Jul 15, 2022, 4:57:01 AM)

  1. Add acceleo dependency in test.runtime. — Alberto Debiasi / detail

#48 (Jul 15, 2022, 4:07:38 AM)

  1. Remove chess.instance.view. — Alberto Debiasi / detail
  2. Remove viatra from target.neon. — Alberto Debiasi / detail
  3. Remove nebula from neon.target, update .classpath. — Alberto Debiasi / detail
  4. Remove unused FaultTreeVisualizer. — Alberto Debiasi / detail
  5. Remove nebula and sirius refs. — Alberto Debiasi / detail
  6. Remove unused acceleo deps. — Alberto Debiasi / detail
  7. Add acceleo to neaon.target. — Alberto Debiasi / detail

#47 (Jul 14, 2022, 4:11:53 AM)

  1. Update refs to sirius. — Alberto Debiasi / detail

#46 (Jul 12, 2022, 4:28:04 AM)

  1. Implement getFailureModeType(). — Alberto Debiasi / detail

#45 (Jul 7, 2022, 8:09:35 AM)

  1. Create folder if not exists. — Alberto Debiasi / detail
  2. Implement methods to handle fei generation. — Alberto Debiasi / detail
  3. Implement methods to handle fei generation (2). — Alberto Debiasi / detail
  4. Use EST fei generation. — Alberto Debiasi / detail
  5. Update manifest.mf. — Alberto Debiasi / detail
  6. Remove unused dep. — Alberto Debiasi / detail
  7. Remove unused code. — Alberto Debiasi / detail
  8. Add fei generator tests. — Alberto Debiasi / detail

#44 (Jul 1, 2022, 4:34:18 AM)

  1. Implement method on SMAbstractClass, update oracles. — Alberto Debiasi / detail

#43 (Jun 17, 2022, 11:18:15 AM)

  1. Add sm2py test. — Alberto Debiasi / detail

#42 (Jun 17, 2022, 10:54:20 AM)

  1. Fix UnsupportedClassVersionError for neon profile. — Alberto Debiasi / detail

#41 (Jun 13, 2022, 4:37:11 AM)

  1. Update NOTICE.md — Alberto Debiasi / detail
  2. Add SM2py command. — Alberto Debiasi / detail
  3. Add missing .ignore files. — Alberto Debiasi / detail
  4. Ingnore .settings folder. — Alberto Debiasi / detail

#40 (Mar 1, 2022, 8:14:23 AM)

  1. Fix eata version in CHESS.product. — Alberto Debiasi / detail

#39 (Mar 1, 2022, 6:42:53 AM)

  1. Update chessBuildNumber in pom.xml — Alberto Debiasi / detail
  2. Add eata feature to CHESS.product. — Alberto Debiasi / detail

#38 (Jan 24, 2022, 4:24:16 AM)

  1. Update timedModel oracles. — Alberto Debiasi / detail

#37 (Jan 24, 2022, 4:02:39 AM)

  1. Extend support to timed domain — Andrea Perri / detail
  2. remove extra comments — Andrea Perri / detail
  3. Upload New File — Andrea Perri / detail
  4. Fix getStateInvariant() method. — Alberto Debiasi / detail
  5. Add test for timed domain. — Alberto Debiasi / detail

#36 (Dec 20, 2021, 4:17:24 AM)

  1. Update oracle of async model. — Alberto Debiasi / detail

#35 (Dec 17, 2021, 5:26:28 AM)

  1. Handle isAsyncComponent(). — Alberto Debiasi / detail
  2. Update test for async model. — Alberto Debiasi / detail

#32 (Nov 29, 2021, 9:46:44 AM)

  1. Update oracles sync model to oss. — Alberto Debiasi / detail
  2. Update smv export oracles. — Alberto Debiasi / detail
  3. Update ChessSystemModel wrt AbstractSystemModel. — Alberto Debiasi / detail

#31 (Nov 11, 2021, 11:11:55 AM)

  1. Add block2k2 command, update UMLStateMachineModel. — Alberto Debiasi / detail
  2. Fix dialog messages GUI. — Alberto Debiasi / detail
  3. Handle selection of StateMachine in SelectionUtil. — Alberto Debiasi / detail
  4. Implement kratos commands. — Alberto Debiasi / detail
  5. Fix assignment of input port with real type. — Alberto Debiasi / detail
  6. Update smv oracles. — Alberto Debiasi / detail
  7. Add test related to model2K2. — Alberto Debiasi / detail
  8. Remove unused property in configTest.properties. — Alberto Debiasi / detail
  9. Remove unused dependences. — Alberto Debiasi / detail
  10. Handle warnings. — Alberto Debiasi / detail
  11. Handle warnings (2). — Alberto Debiasi / detail
  12. Support model checking by Kratos. — Alberto Debiasi / detail
  13. Fix real-int assignment. — Alberto Debiasi / detail
  14. Update oracles of chess2smv and chess2k2. — Alberto Debiasi / detail
  15. Fix bugs in model checking commands. — Alberto Debiasi / detail
  16. Fix wrong result view for Kratos model checking. — Alberto Debiasi / detail
  17. Ask for time model only for monolithic model checking. — Alberto Debiasi / detail

#30 (Oct 26, 2021, 7:48:06 AM)

  1. Add test for async discrete case. — Alberto Debiasi / detail

#29 (Oct 19, 2021, 5:02:46 AM)

  1. Update OSS oracle. — Alberto Debiasi / detail

#28 (Oct 19, 2021, 4:45:16 AM)

  1. Update chess update-site and .ini file. — Alberto Debiasi / detail
  2. Add async CHESS model to test oss export. — Alberto Debiasi / detail
  3. Add async oracles. — Alberto Debiasi / detail
  4. Fix result comparison in tests, add export async model test. — Alberto Debiasi / detail
  5. Make compareTwoFilesIgnoreEOL() private. — Alberto Debiasi / detail
  6. Add .project. — Alberto Debiasi / detail
  7. Fix contract in SSR model. — Alberto Debiasi / detail
  8. Fix test on async oracle. — Alberto Debiasi / detail

#26 (Sep 20, 2021, 5:53:22 AM)

  1. Extend CHESS meta-model with async communication elements. — Alberto Debiasi / detail
  2. Update async communication elements in CHESS metamodel. — Alberto Debiasi / detail
  3. Add async communication getters in EntityUtils. — Alberto Debiasi / detail
  4. Handle event expressions written in OCRA in xtext custom editor. — Alberto Debiasi / detail
  5. Handle Time Events, use AbstractClasses. — Alberto Debiasi / detail
  6. Update methods on events. — Alberto Debiasi / detail

#25 (Sep 20, 2021, 5:30:41 AM)

  1. Update org.polarsys.chess.target.neon.target — Alberto Debiasi / detail

#23 (Sep 20, 2021, 4:21:31 AM)

  1. Update CHESS.product — Alberto Debiasi / detail
  2. Update org.polarsys.chess.target.neon.target — Alberto Debiasi / detail

#21 (Sep 14, 2021, 11:18:42 AM)

  1. Handle async communication. — Alberto Debiasi / detail
  2. Add missing info in customEditors. — Alberto Debiasi / detail
  3. Fix org.eclipse.jdt.core.prefs files. — Alberto Debiasi / detail
  4. Add missing @ignore tags in tests. — Alberto Debiasi / detail
  5. Fix hasValidType constraint. — Alberto Debiasi / detail

#20 (Aug 31, 2021, 8:24:42 AM)

  1. Add xtext editors for CleanC and OCRA languages. — Alberto Debiasi / detail
  2. Update pom files to handle customEditor plugin. — Alberto Debiasi / detail
  3. Update pom files to handle customEditor plugin. (2) — Alberto Debiasi / detail

#19 (Aug 19, 2021, 8:29:25 AM)

  1. Update tycho.version in pom.xml. — Alberto Debiasi / detail
  2. Update pom.xml removing autoformatting from configuration field. — Alberto Debiasi / detail
  3. Add new method to select multiple files in DialogUtils — Luca Cristoforetti / detail
  4. Add version to maven-resources-plugin in pom.xml. — Alberto Debiasi / detail

#18 (Jun 25, 2021, 4:11:32 AM)

  1. Update pom.xml in org.polarsys.chess.configuration. — Alberto Debiasi / detail

#17 (Jun 25, 2021, 3:14:52 AM)

  1. Update pom.xml in org.polarsys.chess.configuration. — Alberto Debiasi / detail

#16 (Jun 23, 2021, 11:03:15 AM)

  1. Update pom.xml of org.polarsys.chess.configuration. — Alberto Debiasi / detail
  2. Update pom.xml of org.polarsys.chess.xtext.fladsl. — Alberto Debiasi / detail

#15 (Jun 17, 2021, 10:39:52 AM)

  1. Update pom.xml: add org.eclipse.equinox.common to org.eclipse.xtend. — Alberto Debiasi / detail
  2. Update org.polarsys.chess.target.neon.target: restore version of SDE. — Alberto Debiasi / detail

#14 (Jun 17, 2021, 10:16:14 AM)

  1. Try to refer to the prev. version of SDE. — Alberto Debiasi / detail

#13 (Jun 17, 2021, 9:38:32 AM)

  1. Update org.polarsys.chess.target.neon.target change version of org.eclipse.gmf.sdk.feature.group. — Alberto Debiasi / detail

#12 (Jun 17, 2021, 9:26:23 AM)

  1. Add new methods and update docs — Luca Cristoforetti / detail
  2. Update org.polarsys.chess.target.neon.target — Alberto Debiasi / detail

#11 (Jan 28, 2021, 8:37:49 AM)

  1. Fix change of address for ELK plugin — Luca Cristoforetti / detail
  2. Upload slides about CHESS functionalities. — Alberto Debiasi / detail
  3. Fix bug on DBB generation. — Alberto Debiasi / detail

#10 (Dec 3, 2020, 5:09:15 AM)

  1. Update releng pom.xml — Alberto Debiasi / detail
  2. Update repository pom.xml — Alberto Debiasi / detail

#9 (Dec 3, 2020, 4:20:16 AM)

  1. Remove module org.polarsys.chess.repository from pom.xml — Alberto Debiasi / detail