wilcoxjay/mypyvy

Issues

• How to detect deadlock in mypyvy?

  #29 opened 5 months ago by gipsyh
  1

• Look for other places where we potentially have nonexhaustive case analysis

  #27 opened a year ago by wilcoxjay
  0

• Name clash leads to typechecker crashing instead of reporting an error

  #25 opened a year ago by odedp
  0

• Make some checks warnings and add flag to ignore warnings

  #17 opened 3 years ago by wilcoxjay
  0

• UPDR thinks a definition is a transition?

  #20 opened 3 years ago by dranov
  6

• Printing models with relations including bools throws exception

  #19 opened 3 years ago by dranov
  0

• Add support for enumerated sorts

  #22 opened 3 years ago by dranov
  0

• Allow traces to be named and specified as arguments to mypyvy trace

  #21 opened 3 years ago by dranov
  0

• TypeError: cannot inherit frozen dataclass from a non-frozen one

  #16 opened 3 years ago by Calvin-L
  3

• Missing source folder folseparators

  #12 opened 5 years ago by aman-goel
  2

• bmc trace lists states and transitions in reverse order

  #7 opened 5 years ago by nano-o
  1

• Exception thrown when nesting old calls using definitions

  #4 opened 5 years ago by aatxe
  1