ptal/bonsai

Issues

• Warn when `run` is missing when calling a bonsai process

  #8 opened 6 years ago by ptal
  0

• Resolution of Java object attributes panics

  #7 opened 6 years ago by ptal
  0

• Explaining causality errors by incremental solving

  #4 opened 6 years ago by ptal
  2

• Forbid two bonsai classes with the same name

  #6 opened 6 years ago by ptal
  0

• Avoid analyzing more than one time a process

  #5 opened 6 years ago by ptal
  0

• Forbid write and readwrite on pre variable

  #1 opened 6 years ago by ptal
  1

• Forbid non-static method in spacetime module

  #2 opened 6 years ago by ptal
  0

• Method call on `this` in the context of causality analysis

  #3 opened 6 years ago by ptal
  0