plugins/contracts/org.polarsys.chess.contracts.verificationService/META-INF/MANIFEST.MF · 8120c2c294db1d3c7ee06f18dc155a88823934c6 · Felicien IHIRWE / chess

Forked from Eclipse Projects / Eclipse CHESS / chess

Source project has a limited visibility.

7 years ago

fixes: · 8120c2c2

Alberto Debiasi authored 7 years ago


- added new semantic checks on contract/property/contraint editors
- moved ChessSystemModel in chess.service plugin because it is used in
different classes
- removed duplicated code

Change-Id: I56c8900fbbfad3f25761fa63d1e36ede32a34ebe
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

8120c2c2

History

fixes:

Alberto Debiasi authored 7 years ago


- added new semantic checks on contract/property/contraint editors
- moved ChessSystemModel in chess.service plugin because it is used in
different classes
- removed duplicated code

Change-Id: I56c8900fbbfad3f25761fa63d1e36ede32a34ebe
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.