Skip to content

Changes between #60 and #61

#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