Issues

• Warn when run is missing when calling a bonsai process

  error-reporting
  ptal/bonsai#8 · Filter by author ptal opened on Feb 28, 2019

• Resolution of Java object attributes panics

  error-reporting
  ptal/bonsai#7 · Filter by author ptal opened on Feb 27, 2019

• Forbid two bonsai classes with the same name

  static-analysis
  ptal/bonsai#6 · Filter by author ptal opened on Jul 23, 2018

• Avoid analyzing more than one time a process

  causalitystatic-analysis
  ptal/bonsai#5 · Filter by author ptal opened on Jul 23, 2018

• Explaining causality errors by incremental solving

  causalityerror-reportingstatic-analysis
  ptal/bonsai#4 · Filter by author ptal opened on Jul 19, 2018
  2

• Method call on this in the context of causality analysis

  lang-design
  ptal/bonsai#3 · Filter by author ptal opened on Jul 15, 2018

• Forbid non-static method in spacetime module

  static-analysis
  ptal/bonsai#2 · Filter by author ptal opened on Jul 15, 2018

• Forbid write and readwrite on pre variable

  lang-designstatic-analysis
  ptal/bonsai#1 · Filter by author ptal opened on Jul 15, 2018
  1