commit | 6c45dd5c75fa6be5f7f4fc6ed56b63de045557dc | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon May 24 12:51:20 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon May 24 12:51:20 2021 +0100 |
tree | 09d44f17d4f2ae6d20b8a3c8e3d5b4858bd82bcc | |
parent | 84556787178bc5dfcfd7efc7db116514d55325ad [diff] |
Added support for validating EMF models against built-in constraints