Changes

#61 (Nov 24, 2022, 9:28:16 AM)

1. Update dependences (in progress). — Alberto Debiasi / detail
2. Update CHESS Contract profile. — Alberto Debiasi / detail
3. Update chesscontract.ecore. — Alberto Debiasi / detail
4. remove unused ecore models. — Alberto Debiasi / detail
5. Update CHESSContractProfile. — Alberto Debiasi / detail
6. Remove chesscontract palette definitions and redundant elements. — Alberto Debiasi / detail
7. Remove blocks from export packages. — Alberto Debiasi / detail
8. Update generated meta-model classes. — Alberto Debiasi / detail
9. Remove unused generated meta-model classes. — Alberto Debiasi / detail
10. Remove unused generated files. — Alberto Debiasi / detail
11. Re-updated chess contract profile. — Alberto Debiasi / detail
12. Update chessml and chesscontract profiles. — Alberto Debiasi / detail
13. Fix formal property missing type. — Alberto Debiasi / detail
14. Define System element in CHESSContract metamodel. — Alberto Debiasi / detail
15. Further fixes. — Alberto Debiasi / detail
16. Add contract palette for BDD (in progress). — Alberto Debiasi / detail
17. Mode old palette files. — Alberto Debiasi / detail
18. palette config (In progress) — Alberto Debiasi / detail
19. palette config (2) (In progress) — Alberto Debiasi / detail
20. palette config (3) (In progress) — Alberto Debiasi / detail
21. Remove old files. — Alberto Debiasi / detail
22. Add System to CHESSContractui. — Alberto Debiasi / detail
23. Apply palette to BDD. — Alberto Debiasi / detail
24. Rename CHESS BDD palette. — Alberto Debiasi / detail
25. Add FormalProperty in CHESSContractui — Alberto Debiasi / detail
26. Fix CHESS palette (missing stereotypes). — Alberto Debiasi / detail
27. Update CHESSContract Profile. — Alberto Debiasi / detail
28. Switch from Java 1.8 to 11. — Alberto Debiasi / detail
29. Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
30. Add elementTypeSetConfigurations and palette to CHESS profiles. — Alberto Debiasi / detail
31. Cleanup palette. — Alberto Debiasi / detail
32. Create CHESS palette for IBD. — Alberto Debiasi / detail
33. Add missing printStackTrace, improve Contract creation. — Alberto Debiasi / detail
34. Remove Contract from BDD palette. — Alberto Debiasi / detail
35. Add missing createConstraint method. — Alberto Debiasi / detail

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

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

#45 (Jul 7, 2022, 8:10:02 AM)

1. Implement methods to handle fei generation (2). — Alberto Debiasi / detail

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

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

#37 (Jan 24, 2022, 4:03:04 AM)

1. Extend support to timed domain — Andrea Perri / detail
2. Fix getStateInvariant() method. — Alberto Debiasi / detail

#31 (Nov 11, 2021, 11:12:50 AM)

1. Handle warnings. — Alberto Debiasi / detail

#26 (Sep 20, 2021, 5:55:05 AM)

1. Add async communication getters in EntityUtils. — Alberto Debiasi / detail
2. Handle Time Events, use AbstractClasses. — Alberto Debiasi / detail
3. Update methods on events. — Alberto Debiasi / detail

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

1. Add new methods and update docs — Luca Cristoforetti / detail