Changes between #60 and #61
#61 (Nov 24, 2022, 9:28:16 AM)
- Update dependences (in progress). — Alberto Debiasi / detail
- Update CHESS Contract profile. — Alberto Debiasi / detail
- Update chesscontract.ecore. — Alberto Debiasi / detail
- remove unused ecore models. — Alberto Debiasi / detail
- Update CHESSContractProfile. — Alberto Debiasi / detail
- Remove chesscontract palette definitions and redundant elements. — Alberto Debiasi / detail
- Remove blocks from export packages. — Alberto Debiasi / detail
- Update generated meta-model classes. — Alberto Debiasi / detail
- Remove unused generated meta-model classes. — Alberto Debiasi / detail
- Remove unused generated files. — Alberto Debiasi / detail
- Re-updated chess contract profile. — Alberto Debiasi / detail
- Update chessml and chesscontract profiles. — Alberto Debiasi / detail
- Fix formal property missing type. — Alberto Debiasi / detail
- Define System element in CHESSContract metamodel. — Alberto Debiasi / detail
- Further fixes. — Alberto Debiasi / detail
- Add contract palette for BDD (in progress). — Alberto Debiasi / detail
- Mode old palette files. — Alberto Debiasi / detail
- palette config (In progress) — Alberto Debiasi / detail
- palette config (2) (In progress) — Alberto Debiasi / detail
- palette config (3) (In progress) — Alberto Debiasi / detail
- Remove old files. — Alberto Debiasi / detail
- Add System to CHESSContractui. — Alberto Debiasi / detail
- Apply palette to BDD. — Alberto Debiasi / detail
- Rename CHESS BDD palette. — Alberto Debiasi / detail
- Add FormalProperty in CHESSContractui — Alberto Debiasi / detail
- Fix CHESS palette (missing stereotypes). — Alberto Debiasi / detail
- Update CHESSContract Profile. — Alberto Debiasi / detail
- Switch from Java 1.8 to 11. — Alberto Debiasi / detail
- Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
- Add elementTypeSetConfigurations and palette to CHESS profiles. — Alberto Debiasi / detail
- Cleanup palette. — Alberto Debiasi / detail
- Create CHESS palette for IBD. — Alberto Debiasi / detail
- Add missing printStackTrace, improve Contract creation. — Alberto Debiasi / detail
- Remove Contract from BDD palette. — Alberto Debiasi / detail
- Add missing createConstraint method. — Alberto Debiasi / detail