Issues

• create executables at end of CI pipeline

  tulip-control/gr1c#35 · Filter by author slivingston opened on Feb 23, 2020
  5

  

• Option to change names of nodes for strategy in JSON

  feature-request
  tulip-control/gr1c#30 · Filter by author slivingston opened on Sep 21, 2016 · 0.13.0
  

• allow any variables in ENVINIT and SYSINIT for ALL_ENV_EXIST_SYS_INIT

  feature-request
  tulip-control/gr1c#29 · Filter by author johnyf opened on Jul 29, 2016 · 0.13.0
  

• support named expressions and syntactic substitution

  feature-request
  tulip-control/gr1c#28 · Filter by author johnyf opened on Jul 29, 2016
  

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

  documentationfeature-request
  tulip-control/gr1c#26 · Filter by author slivingston opened on Jul 5, 2016 · 0.13.0

• Cudd_SetMaxMemory

  feature-request
  tulip-control/gr1c#23 · Filter by author johnyf opened on Nov 18, 2015
  4

  

• Make compatible with openpromela

  tulip-control/gr1c#21 · Filter by author slivingston opened on Jul 13, 2015
  

• Improve worst-case time complexity of realizability computation

  feature-request
  tulip-control/gr1c#20 · Filter by author slivingston opened on Nov 14, 2014

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

  feature-request
  tulip-control/gr1c#4 · Filter by author slivingston opened on Jun 5, 2012
  2

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

  feature-request
  tulip-control/gr1c#3 · Filter by author slivingston opened on May 23, 2012

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

  feature-request
  tulip-control/gr1c#2 · Filter by author slivingston opened on May 7, 2012