Issues

• Unable to refer to component implementation in same file

  bug
  osate/contract-annex#34 · Filter by author joeseibel opened on Mar 28, 2024

• Add description/documentation to contract elements

  osate/contract-annex#29 · Filter by author lwrage opened on Feb 22, 2024

• Express list types with square brackets

  osate/contract-annex#23 · Filter by author joeseibel opened on Dec 7, 2023
  

• Add named fields to tuples

  osate/contract-annex#15 · Filter by author joeseibel opened on Nov 14, 2023
  

• Generate Z3 assertions for claims and guarantees

  enhancement
  osate/contract-annex#11 · Filter by author lwrage opened on Oct 27, 2023

• Need to get Features and kind of FlowSpecificationInstance

  osate/contract-annex#9 · Filter by author AaronGreenhouse opened on Oct 24, 2023

• Need to get the containing component of a feature

  osate/contract-annex#8 · Filter by author AaronGreenhouse opened on Oct 24, 2023

• Need to get connection segments

  osate/contract-annex#7 · Filter by author AaronGreenhouse opened on Oct 24, 2023
  1

• Implement the ?. operator on optionals

  osate/contract-annex#6 · Filter by author joeseibel opened on Oct 20, 2023

• Add method to check if a ComponentInstance is compatible with a Classifier

  osate/contract-annex#4 · Filter by author joeseibel opened on Oct 20, 2023