Search results

create executables at end of CI pipeline

Status: Open.

#35 In tulip-control/gr1c;

· slivingston opened on Feb 23, 2020

Option to change names of nodes for strategy in JSON

feature-request

Status: Open.

#30 In tulip-control/gr1c;

· slivingston opened on Sep 21, 2016

·  

0.13.0

allow any variables in ENVINIT and SYSINIT for ALL_ENV_EXIST_SYS_INIT

feature-request

Status: Open.

#29 In tulip-control/gr1c;

· johnyf opened on Jul 29, 2016

·  

0.13.0

support named expressions and syntactic substitution

feature-request

Status: Open.

#28 In tulip-control/gr1c;

· johnyf opened on Jul 29, 2016

provide machine-readable, reliable output for result of checking realizability etc.

documentation

feature-request

Status: Open.

#26 In tulip-control/gr1c;

· slivingston opened on Jul 5, 2016

·  

0.13.0

Cudd_SetMaxMemory

feature-request

Status: Open.

#23 In tulip-control/gr1c;

· johnyf opened on Nov 18, 2015

Make compatible with openpromela

Status: Open.

#21 In tulip-control/gr1c;

· slivingston opened on Jul 13, 2015

Improve worst-case time complexity of realizability computation

feature-request

Status: Open.

#20 In tulip-control/gr1c;

· slivingston opened on Nov 14, 2014

automatic conversion of non-standard specifications to GR(1) format

feature-request

Status: Open.

#4 In tulip-control/gr1c;

· slivingston opened on Jun 5, 2012

allow entire expressions to be primed (i.e., under "next" operator)

feature-request

Status: Open.

#3 In tulip-control/gr1c;

· slivingston opened on May 23, 2012

flag to distinguish between "realizability" and "strict realizability"

feature-request

Status: Open.

#2 In tulip-control/gr1c;

· slivingston opened on May 7, 2012