Skip to content

Issues: loonwerks/AGREE

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

40 Open 55 Closed
40 Open 55 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

How to call Kind2 in AGREE? AGREE bug Something isn't working
#141 opened Oct 12, 2024 by zhenli798
2
AGREE ConstStatement and EqStatement Recursive Validation Check Required
#131 opened Aug 18, 2023 by aaurandt
AGREE Same Name In AGREE Annex and Subcomponent Validator Check Not Catching All Cases
#130 opened Aug 18, 2023 by aaurandt
AGREE ArgType Validator Check Not Catching Wrong Syntax
#128 opened Aug 10, 2023 by aaurandt
Documentation issues
#125 opened Jan 13, 2023 by davidcok
NullPointerException when Verifying All Layers on a component with no AGREE annex
#123 opened Aug 18, 2022 by iamundson
Create publicly-useable signing of AGREE AGREE Simulator TCG Test Case Generator
#122 opened Jul 5, 2022 by kfhoech
OSATE 2.10 with AGREE
#121 opened Jul 4, 2022 by MYA-Github
1
Unsupported data subcomponent in system implementation
#119 opened May 17, 2022 by simonefulvio-rollini
Feature request: Add content assist enhancement New feature or request
#118 opened Apr 25, 2022 by iamundson
Examples are out of date AGREE documentation Improvements or additions to documentation epic Larger scale issue that typically will be resolved by a series of smaller issues
#94 opened Mar 8, 2022 by kfhoech
1
Initially keyword not relevant in synchronous analysis AGREE enhancement New feature or request
#93 opened Mar 8, 2022 by kfhoech
No help documentation for synchrony AGREE documentation Improvements or additions to documentation
#92 opened Mar 8, 2022 by kfhoech
No help documetation for AGREE Test Case Generator documentation Improvements or additions to documentation TCG Test Case Generator
#89 opened Mar 7, 2022 by kfhoech
AGREE doc build does not generate ToC AGREE bug Something isn't working documentation Improvements or additions to documentation
#88 opened Mar 7, 2022 by kfhoech v2.11.0
@kfhoech
1
Migrate Xtend sources to Java AGREE epic Larger scale issue that typically will be resolved by a series of smaller issues
#84 opened Mar 4, 2022 by kfhoech
@kfhoech
Add better display/usability of IVC AGREE enhancement New feature or request
#75 opened Feb 4, 2022 by kfhoech
Assume-guarantee reasoning with scheduled components AGREE enhancement New feature or request
#72 opened Jan 27, 2022 by cong-liu-2000 v2.11.0
@cong-liu-2000
2
AGREE Monolithic analysis does not respect timing models AGREE bug Something isn't working
#56 opened Feb 9, 2021 by kfhoech
AGREE not translating all processes in Phase 2 model AGREE enhancement New feature or request
#47 opened Jan 21, 2021 by cong-liu-2000
6
ArraySubExpr parsing inconvenient AGREE bug Something isn't working
#46 opened Jan 21, 2021 by kfhoech v2.11.0
1
@kfhoech
Bidirectional messages such as http are difficult to model for AGREE
#42 opened Dec 3, 2020 by bcbrusse
Saving of AGREE result hashes doesn't work for Realizability AGREE bug Something isn't working
#41 opened Dec 2, 2020 by kfhoech
AGREE System Stall AGREE enhancement New feature or request
#40 opened Nov 25, 2020 by cong-liu-2000
5
Documentation: The AGREE Simulator User Guide does not appear in the FMW Help Contents
#38 opened Nov 3, 2020 by jendavis
ProTip! Updated in the last three days: updated:>2024-12-19.