Search results

Testing Indirect Links

Status: Open.

#45 In mbeddr/language_verification;

· BentleyJOakes opened on May 3, 2017

Testing ExistsClass

help wanted

question

Status: Open.

#44 In mbeddr/language_verification;

· BentleyJOakes opened on May 3, 2017

Create traceability attributes more efficiently

enhancement

Status: Open.

#42 In mbeddr/language_verification;

· BentleyJOakes opened on Mar 8, 2017

When containment links are not created by transformation Attribute setting in concepts throws NPE

bug

Status: Open.

#39 In mbeddr/language_verification;

· levilucio opened on Nov 9, 2016

proper paths for verification config model instead of strings

enhancement

Status: Open.

#31 In mbeddr/language_verification;

· levilucio opened on Nov 3, 2016

block attribute copies after the instance as been created by the rule

enhancement

Status: Open.

#27 In mbeddr/language_verification;

· levilucio opened on Oct 28, 2016

test abstract classes and interfaces in input and output languages

enhancement

Status: Open.

#23 In mbeddr/language_verification;

· levilucio opened on Oct 28, 2016

empty match models in a DSLTrans transformation make the DSLTrans engine throw a java.lang.IndexOutOfBoundsException

bug

Status: Open.

#19 In mbeddr/language_verification;

· levilucio opened on Oct 5, 2016

Scoping for bindings in SyVOLT contract sets not finished

enhancement

Status: Open.

#10 In mbeddr/language_verification;

· levilucio opened on Aug 30, 2016

contract set formulas not complete

enhancement

Status: Open.

#9 In mbeddr/language_verification;

· levilucio opened on Aug 30, 2016

Add basic types to DSLTrans

Status: Open.

#8 In mbeddr/language_verification;

· levilucio opened on Aug 26, 2016

ATL in MPS

Status: Open.

#6 In mbeddr/language_verification;

· levilucio opened on Aug 26, 2016