Search results

Unable to refer to component implementation in same file

bugSomething isn't workingSomething isn't working

Status: Open.

#34 In osate/contract-annex;

· joeseibel opened on Mar 28, 2024

Add description/documentation to contract elements

Status: Open.

#29 In osate/contract-annex;

· lwrage opened on Feb 22, 2024

Express list types with square brackets

Status: Open.

#23 In osate/contract-annex;

· joeseibel opened on Dec 7, 2023

Add named fields to tuples

Status: Open.

#15 In osate/contract-annex;

· joeseibel opened on Nov 14, 2023

Generate Z3 assertions for claims and guarantees

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In osate/contract-annex;

· lwrage opened on Oct 27, 2023

Need to get Features and kind of FlowSpecificationInstance

Status: Open.

#9 In osate/contract-annex;

· AaronGreenhouse opened on Oct 24, 2023

Need to get the containing component of a feature

Status: Open.

#8 In osate/contract-annex;

· AaronGreenhouse opened on Oct 24, 2023

Need to get connection segments

Status: Open.

#7 In osate/contract-annex;

· AaronGreenhouse opened on Oct 24, 2023

Implement the ?. operator on optionals

Status: Open.

#6 In osate/contract-annex;

· joeseibel opened on Oct 20, 2023

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

Status: Open.

#4 In osate/contract-annex;

· joeseibel opened on Oct 20, 2023