Search results

Exclusive/disjoint on view atoms?

enhancement

has example

noncritical

syntax

Status: Open.

#153 In septract/starling-tool;

· MattWindsor91 opened on Jun 12, 2017

Remove <code>Starling.sublime-syntax</code>

fairly easy

noncritical

yakshave

Status: Open.

#152 In septract/starling-tool;

· MattWindsor91 opened on Jun 11, 2017

Automatic exclusive constraint generation

Status: Open.

#151 In septract/starling-tool;

· MattWindsor91 opened on Mar 10, 2017

Public views

enhancement

has example

syntax

theory

Status: Open.

#149 In septract/starling-tool;

· MattWindsor91 opened on Mar 9, 2017

Pointers and heap assignment (concept discussion)

enhancement

needs example

noncritical

question

syntax

theory

Status: Open.

#148 In septract/starling-tool;

· MattWindsor91 opened on Feb 22, 2017

Relax restrictions on rvalues in atomic sections

enhancement

fairly easy

has example

syntax

theory

Status: Open.

#147 In septract/starling-tool;

· MattWindsor91 opened on Feb 20, 2017

Process GRASShopper output back into Starling

enhancement

question

Status: Open.

#146 In septract/starling-tool;

· MattWindsor91 opened on Feb 17, 2017

Allow subproof runs

question

theory

Status: Open.

#145 In septract/starling-tool;

· MattWindsor91 opened on Feb 17, 2017

Decouple pipeline

enhancement

question

Status: Open.

#144 In septract/starling-tool;

· MattWindsor91 opened on Feb 17, 2017

Interactive outliner mode

enhancement

question

Status: Open.

#143 In septract/starling-tool;

· MattWindsor91 opened on Feb 17, 2017

Conditionals in atomic sections

enhancement

has example

syntax

Status: Open.

#141 In septract/starling-tool;

· septract opened on Feb 9, 2017

New syntax for ghost variables and operations?

enhancement

has example

noncritical

question

syntax

Status: Open.

#140 In septract/starling-tool;

· MattWindsor91 opened on Feb 6, 2017