search

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6 stars 4 forks source link

Update AGREE and Resolute dependencies #10

Open smithdtyler opened 5 years ago

smithdtyler commented 5 years ago

Updates to formal-methods-workbench (e.g., 72fb43ca0) have broken dependencies from AMASE.

janetlj commented 5 years ago

AMASE is currently still using AGREE from the following: https://github.com/smaccm/smaccm/tree/develop_fault_analysis/fm-workbench/agree

That is the branch containing AGREE updates to support Safety Annex features. We will be working on merging those changes back into https://github.com/loonwerks/formal-methods-workbench in the near term.

smithdtyler commented 5 years ago

@janetlj thank you for the update.