loonwerks/AGREE

Issues

• How to call Kind2 in AGREE?

  #141 opened 3 months ago by zhenli798
  2

• Unnecessary Plugin_Resources project reference included in example projects

  #135 opened 7 months ago by iamundson
  0

• Minor issues with headless AGREE

  #136 opened 7 months ago by iamundson
  0

• Is agree now supported on the command line?

  #126 opened 7 months ago by zhenli798
  3

• Migrate CI/CD to Github Actions

  #132 opened a year ago by kfhoech
  1

• Add essential regression tests to AGREE

  #133 opened a year ago by kfhoech
  1

• AGREE does not install on OSATE 2.11

  #124 opened a year ago by ASH-SYSTEMS
  2

• Update to Eclipse 2022-03, Java 17, and Xtext 2.26

  #104 opened a year ago by kfhoech
  1

• Update AGREE tools to support OSATE v2.11.0

  #102 opened a year ago by kfhoech
  1

• AGREE ConstStatement and EqStatement Recursive Validation Check Required

  #131 opened a year ago by aaurandt
  0

• AGREE Same Name In AGREE Annex and Subcomponent Validator Check Not Catching All Cases

  #130 opened a year ago by aaurandt
  0

• AGREE ArgType Validator Check Not Catching Wrong Syntax

  #128 opened a year ago by aaurandt
  0

• Documentation issues

  #125 opened 2 years ago by davidcok
  0

• AGREE doc build does not generate ToC

  #88 opened 3 years ago by kfhoech
  1

• Assume-guarantee reasoning with scheduled components

  #72 opened 3 years ago by cong-liu-2000
  2

• NullPointerException when Verifying All Layers on a component with no AGREE annex

  #123 opened 2 years ago by iamundson
  0

• OSATE 2.10 with AGREE

  #121 opened 3 years ago by MYA-Github
  1

• Create publicly-useable signing of AGREE

  #122 opened 2 years ago by kfhoech
  0

• Unsupported data subcomponent in system implementation

  #119 opened 3 years ago by simonefulvio-rollini
  0

• Feature request: Add content assist

  #118 opened 3 years ago by iamundson
  0

• Example paths should be case sensitive

  #116 opened 3 years ago by kfhoech
  0

• GSON dependency reference was removed in error

  #114 opened 3 years ago by iamundson
  1

• Unnecessary line feeds added to serialized AGREE

  #112 opened 3 years ago by iamundson
  0

• Remove lib/gson dependency reference from analysis plugin manifest

  #110 opened 3 years ago by iamundson
  0

• AGREE validator overzealous on specification statement id duplication

  #105 opened 3 years ago by kfhoech
  0

• Documentation of AGREE connection statement unclear

  #107 opened 3 years ago by kfhoech
  0

• Examples are out of date

  #94 opened 3 years ago by kfhoech
  1

• IllegalStateException registering rerunHandler

  #81 opened 3 years ago by kfhoech
  2

• Handling of arguments of array type incomplete

  #95 opened 3 years ago by kfhoech
  0

• ClassCastException scoping DoubleDotRef

  #96 opened 3 years ago by kfhoech
  0

• Initially keyword not relevant in synchronous analysis

  #93 opened 3 years ago by kfhoech
  0

• No help documentation for synchrony

  #92 opened 3 years ago by kfhoech
  0

• Absolute paths in documentation ToC

  #87 opened 3 years ago by kfhoech
  1

• Documentation missing description of naming of specification statements

  #86 opened 3 years ago by kfhoech
  0

• No help documetation for AGREE Test Case Generator

  #89 opened 3 years ago by kfhoech
  0

• NPE in AGREE validator checkNamedElement(NamedElement)

  #80 opened 3 years ago by kfhoech
  2

• Migrate Xtend sources to Java

  #84 opened 3 years ago by kfhoech
  0

• bindingName in Array Expressions Must Be Unique

  #67 opened 3 years ago by bcbrusse
  4

• Update included Z3 to 4.8.14

  #82 opened 3 years ago by kfhoech
  1

• Issue with AGREE "Generate Simulink Models" Option

  #77 opened 3 years ago by janetlj
  2

• Add TCG obligation display

  #79 opened 3 years ago by kfhoech
  2

• Provide "reachable" feature in AGREE

  #63 opened 3 years ago by kfhoech
  2

• Java Validator issue with floor()

  #66 opened 3 years ago by bcbrusse
  2

• AGREE fail to analyze the Integer Toy example with solver Z3

  #76 opened 3 years ago by cong-liu-2000
  6

• Disable JKind invariant generation in AGREE Analysis Setting

  #60 opened 3 years ago by cong-liu-2000
  1

• Add better display/usability of IVC

  #75 opened 3 years ago by kfhoech
  0

• AGREE Simulator Error

  #61 opened 4 years ago by cong-liu-2000
  3

• AGREE LiftContract does not properly inherit contracts from extensions

  #55 opened 4 years ago by kfhoech
  1

• Validation check for LiftContract does not respect refinement

  #54 opened 4 years ago by kfhoech
  1

• AGREE Monolithic analysis does not respect timing models

  #56 opened 4 years ago by kfhoech
  0