Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Examples are out of date #94

Open
kfhoech opened this issue Mar 8, 2022 · 1 comment
Open

Examples are out of date #94

kfhoech opened this issue Mar 8, 2022 · 1 comment
Labels
AGREE documentation Improvements or additions to documentation epic Larger scale issue that typically will be resolved by a series of smaller issues

Comments

@kfhoech
Copy link
Contributor

kfhoech commented Mar 8, 2022

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 kfhoech added documentation Improvements or additions to documentation AGREE epic Larger scale issue that typically will be resolved by a series of smaller issues labels Mar 8, 2022
@kfhoech
Copy link
Contributor Author

kfhoech commented Mar 29, 2022

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

  • Toy_Example
  • Codependence
  • Car
  • Microwave
  • BSCU

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

  • Pilot_Flying
  • QFCS (and QFCS_V2)
  • Dual FGS

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
AGREE documentation Improvements or additions to documentation epic Larger scale issue that typically will be resolved by a series of smaller issues
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kfhoech