Skip to content

Changes

#9 (Dec 21, 2022, 4:22:32 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
  5. Add sm2py test. — Alberto Debiasi / detail
  6. Fix UnsupportedClassVersionError for neon profile. — Alberto Debiasi / detail
  7. Implement method on SMAbstractClass, update oracles. — Alberto Debiasi / detail
  8. Create folder if not exists. — Alberto Debiasi / detail
  9. Implement methods to handle fei generation. — Alberto Debiasi / detail
  10. Implement methods to handle fei generation (2). — Alberto Debiasi / detail
  11. Use EST fei generation. — Alberto Debiasi / detail
  12. Update manifest.mf. — Alberto Debiasi / detail
  13. Remove unused dep. — Alberto Debiasi / detail
  14. Remove unused code. — Alberto Debiasi / detail
  15. Add fei generator tests. — Alberto Debiasi / detail
  16. Implement getFailureModeType(). — Alberto Debiasi / detail
  17. Update refs to sirius. — Alberto Debiasi / detail
  18. Remove chess.instance.view. — Alberto Debiasi / detail
  19. Remove viatra from target.neon. — Alberto Debiasi / detail
  20. Remove nebula from neon.target, update .classpath. — Alberto Debiasi / detail
  21. Remove unused FaultTreeVisualizer. — Alberto Debiasi / detail
  22. Remove nebula and sirius refs. — Alberto Debiasi / detail
  23. Remove unused acceleo deps. — Alberto Debiasi / detail
  24. Add acceleo to neaon.target. — Alberto Debiasi / detail
  25. Add acceleo dependency in test.runtime. — Alberto Debiasi / detail
  26. Remove nebula and sirius from CHESS.product. — Alberto Debiasi / detail
  27. Remove jdt and pde from CHESS.product. — Alberto Debiasi / detail
  28. Restore CHESS.product. — Alberto Debiasi / detail
  29. Remove nebula from chess.product. — Alberto Debiasi / detail
  30. Restore CHESS.product and category.xml. — Alberto Debiasi / detail
  31. Create DiagramUtils class to handle diagrams creation. — Alberto Debiasi / detail
  32. Add isBlockDefinitionDiagram(), update refreshDiagram(). — Alberto Debiasi / detail
  33. Update DiagramUtils. — Alberto Debiasi / detail
  34. Add dependences. — Alberto Debiasi / detail
  35. Remove cyclic reference. — Alberto Debiasi / detail
  36. Handle context in nuxmv/xsap operations. — Alberto Debiasi / detail
  37. Update oracles. — Alberto Debiasi / detail
  38. Fix FMEAXSapHandler call. — Alberto Debiasi / detail
  39. Update regression tests. — Alberto Debiasi / detail
  40. Specify version for org.eclipse.emf.codegen.ecore. — Alberto Debiasi / detail
  41. Specify emf.codegen.ecore version. — Alberto Debiasi / detail
  42. Fix fladsl pom. — Alberto Debiasi / detail
  43. Update bundle version number — Luca Cristoforetti / detail

#8 (Mar 1, 2022, 9:30:12 AM)

  1. Add eata feature to CHESS.product. — Alberto Debiasi / detail
  2. Fix eata version in CHESS.product. — Alberto Debiasi / detail

#6 (Feb 18, 2022, 5:46:46 AM)

  1. Update chessBuildNumber in pom.xml — Alberto Debiasi / detail