Search results

Warn when <code>run</code> is missing when calling a bonsai process

error-reporting

Status: Open.

#8 In ptal/bonsai;

· ptal opened on Feb 28, 2019

Resolution of Java object attributes panics

error-reporting

Status: Open.

#7 In ptal/bonsai;

· ptal opened on Feb 27, 2019

Forbid two bonsai classes with the same name

static-analysis

Status: Open.

#6 In ptal/bonsai;

· ptal opened on Jul 23, 2018

Avoid analyzing more than one time a process

causality

static-analysis

Status: Open.

#5 In ptal/bonsai;

· ptal opened on Jul 23, 2018

Explaining causality errors by incremental solving

causality

error-reporting

static-analysis

Status: Open.

#4 In ptal/bonsai;

· ptal opened on Jul 19, 2018

Method call on <code>this</code> in the context of causality analysis

lang-design

Status: Open.

#3 In ptal/bonsai;

· ptal opened on Jul 15, 2018

Forbid non-static method in spacetime module

static-analysis

Status: Open.

#2 In ptal/bonsai;

· ptal opened on Jul 15, 2018

Forbid write and readwrite on pre variable

lang-design

static-analysis

Status: Open.

#1 In ptal/bonsai;

· ptal opened on Jul 15, 2018