loonwerks/AGREE

Issues

• 'forall' Scope Error For AGREE Node

  #53 opened 4 years ago
  3

• AGREE generates error message for large array

  #52 opened 3 years ago
  2

• Document AADL Properties AGREE Uses

  #51 opened 3 years ago
  1

• AGREE missing array documentation

  #50 opened 4 years ago
  1

• AGREE documentation missing arrays

  #49 opened 3 years ago
  1

• AGREE array indices incorrect

  #48 opened 4 years ago
  3

• AGREE not translating all processes in Phase 2 model

  #47 opened 4 years ago
  6

• ArraySubExpr parsing inconvenient

  #46 opened 4 years ago
  0

• AGREE shall generate warning for AADL n-to-one connectivity

  #45 opened 3 years ago
  2

• Include Example Models as a Part of the Plug-In Install

  #44 opened 3 years ago
  0

• Check if AGREE contracts imply a cycle without pre (algebraic loop)

  #43 opened 3 years ago
  1

• Bidirectional messages such as http are difficult to model for AGREE

  #42 opened 4 years ago
  0

• Saving of AGREE result hashes doesn't work for Realizability

  #41 opened 4 years ago
  0

• AGREE System Stall

  #40 opened 4 years ago
  5

• AGREE Array Existential Quantification always returns TRUE

  #39 opened 4 years ago
  3

• Documentation: The AGREE Simulator User Guide does not appear in the FMW Help Contents

  #38 opened 4 years ago
  0

• lack of "thread group" support

  #37 opened 4 years ago
  0

• Error while instantiating the model for check realizability

  #35 opened 4 years ago
  2

• Add AGREE validator checks to assure AGREE annexes exist where required.

  #33 opened 4 years ago
  0

• AGREE java validator not throwing type mismatch error

  #32 opened 4 years ago
  2

• AGREE thinks a data definitions file is a subcomponent in need of an AGREE contract

  #31 opened 4 years ago
  2

• Containing Classifier is null in AgreeASTBuilder line 911

  #30 opened 4 years ago
  3

• User Guide Updates: assign and connection

  #28 opened 3 years ago
  1

• AGREE Lustre ASE Builder attempted to add multiple nodes of name '_TOP_A'

  #24 opened 4 years ago
  4

• Stack Overflow Error when analysis creates AGREE results window

  #23 opened 4 years ago
  1

• Update for upcoming changes to the OSATE graphical editor API changes

  #22 opened 3 years ago
  3

• AGREE Support for Subcomponent Arrays

  #21 opened 5 years ago
  0

• Please release AGREE 2.4.2 for OSATE 2.7.0

  #19 opened 5 years ago
  2

• Spurious type error for on descendants of AADL Boolean

  #17 opened 5 years ago
  2

• Z3 Plugin not packaged or not configured properly

  #16 opened 3 years ago
  2

• AGREE record type definitions cannot specify range constraints

  #15 opened 3 years ago
  1

• Automate documentation builds for AGREE, Resolute and Simulator

  #14 opened 4 years ago
  1

• AGREE support for Safety Annex

  #13 opened 4 years ago
  4

• Feature Request: Sort variables in counterexample view into inputs, outputs, and eq variables

  #12 opened 3 years ago
  1

• Feature Request: Auto-save results

  #11 opened 5 years ago
  2

• Feature Request: Add native support for observers

  #10 opened 5 years ago
  1

• AGREE Timeout doesn't always take effect

  #9 opened 5 years ago
  4

• Support AADL properties of type aadlenumeration

  #8 opened 5 years ago
  1

• Strengthen Consistency/Realizability Analysis

  #7 opened 5 years ago
  0

• execute Agree from the command line

  #6 opened 5 years ago
  2

• New Feature Request -- Inheritance Support

  #5 opened 5 years ago
  5

• Create warnings for data implementations containing types that AGREE does not reason about

  #4 opened 5 years ago
  0

• insufficient memory crash on 32-bit machines

  #3 opened 5 years ago
  1

• Unnecessary Variables In AGREE

  #2 opened 5 years ago
  2

• Use of bounded integer types for AGREE

  #1 opened 5 years ago
  2