search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

Examples are out of date #94

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

The AGREE example models are out of date in that changes to the AGREE language has broken the model.

This is related to #44 in that the examples are presently held in the Formal Methods Workbench repository and should be migrated into the AGREE repository as they are added as projects that can be installed via some wizard or from the help documentation.

This will likely be accomplished through a series of smaller issues each updating and migrating one example per issue. Accordingly, this issue is marked as an epic.

kfhoech commented 2 years ago

As part of PR #106 the following examples were updated and included in AGREE:

Additional issues should be created to update and include at least the following: