polystat/odin

Issues

• Dependency Dashboard

  #78 opened 2 years ago by renovate
  0

• StackOverflowError when analyzing code with certain inheritance patterns

  #26 opened 2 years ago by nikololiahim
  0

• Support arbitrary metas

  #61 opened 2 years ago by nikololiahim
  0

• Cross-compile to Scala 3

  #57 opened 2 years ago by nikololiahim
  0

• Mutual Recursion Analyzer should be able to resolve relative parent names

  #34 opened 2 years ago by nikololiahim
  1

• Errors fall into `message` but not in `exception`

  #38 opened 2 years ago by APotyomkin
  1

• (3rd type) An error in the long chain of call

  #35 opened 2 years ago by APotyomkin
  1

• (3rd type) An error in the chain of inheritance

  #36 opened 2 years ago by APotyomkin
  1

• Parser fails to recognize a kind of alias meta

  #15 opened 2 years ago by nikololiahim
  1

• @.if in .eo file not supported

  #52 opened 2 years ago by deemp
  2

• Path-sensitive analysis

  #46 opened 3 years ago by APotyomkin
  0

• Parser does not support named arguments

  #17 opened 3 years ago by nikololiahim
  1

• Document capabilities and limitations of current implementation

  #23 opened 3 years ago by fizruk
  4

• Multiline attribute access is not supported

  #18 opened 3 years ago by nikololiahim
  1

• Boolean literals fail parsing

  #31 opened 3 years ago by nikololiahim
  1

• Support SARIF reporting format

  #22 opened 3 years ago by fizruk
  1

• Single line abstractions are not supported

  #19 opened 3 years ago by nikololiahim
  1

• How can I differentiate a warning in the Polystat and a warning in a test case?

  #20 opened 3 years ago by APotyomkin
  4

• Parser Tests for "existing programs" failing on Windows because of CRLF

  #13 opened 3 years ago by Leosimetti
  3

• Sandbox fails to compile

  #14 opened 3 years ago by Leosimetti
  2

• Parser error messages are not printed

  #16 opened 3 years ago by nikololiahim
  2

• An error in an attempt to find mutual recursion in the chain of inheritance

  #12 opened 3 years ago by APotyomkin
  1