Search results

Consider integration of i*ToNuSMV into TGRL plugin

Status: Open.

#12 In vahdat-ab/TGRL;

· Bazmundi opened on Jun 17, 2018

textual dependency breaks "hello world" example

Status: Open.

#11 In vahdat-ab/TGRL;

· Bazmundi opened on May 28, 2017

Contribution overrides not fully implemented

Status: Open.

#10 In vahdat-ab/TGRL;

· damyot opened on Nov 12, 2015

Evaluation ranges not handled

Status: Open.

#9 In vahdat-ab/TGRL;

· damyot opened on Nov 12, 2015

Indicators are generated incorrectly

Status: Open.

#8 In vahdat-ab/TGRL;

· damyot opened on Nov 12, 2015

doesn't appear to work with Luna release 4.4.0

Status: Open.

#7 In vahdat-ab/TGRL;

· Bazmundi opened on Nov 11, 2015

strategy does not appear in the JUCMNav editor if we do not create Strategy group

Status: Open.

#6 In vahdat-ab/TGRL;

· ydiagne opened on Jul 31, 2015

Contribution override not generated

Status: Open.

#5 In vahdat-ab/TGRL;

· ydiagne opened on Jul 31, 2015

Warning for the IDs of elements

enhancement

Status: Open.

#1 In vahdat-ab/TGRL;

· vahdat-ab opened on May 15, 2015