search

soundasleep / iaml

Automatically exported from code.google.com/p/iaml
3 stars 1 forks source link

Update CrocoPat verification plugin to latest metamodel #237

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What new or enhanced feature are you proposing?
Currently the released Crocopat plugin is designed for metamodel 0.4. Once the 
metamodel changes have been completed (issue 234), the plugin should be updated 
and re-released.

What goal would this enhancement help you achieve?
More complex verification of IAML model instances.

Original issue reported on code.google.com by soundasleep on 1 Apr 2011 at 2:23

GoogleCodeExporter commented 9 years ago

Original comment by soundasleep on 1 Apr 2011 at 2:24

GoogleCodeExporter commented 9 years ago 
Resolved in r3133; CrocoPat plugin is now available through the update site.

Original comment by soundasleep on 26 Sep 2011 at 9:41