Search results

How to detect deadlock in mypyvy?

Status: Open.

#29 In wilcoxjay/mypyvy;

· gipsyh opened on Aug 17, 2024

Look for other places where we potentially have nonexhaustive case analysis

Status: Open.

#27 In wilcoxjay/mypyvy;

· wilcoxjay opened on Nov 22, 2023

Add support for enumerated sorts

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#22 In wilcoxjay/mypyvy;

· dranov opened on Aug 31, 2021

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

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#21 In wilcoxjay/mypyvy;

· dranov opened on Aug 31, 2021

UPDR thinks a definition is a transition?

bugSomething isn't workingSomething isn't working

Status: Open.

#20 In wilcoxjay/mypyvy;

· dranov opened on Aug 31, 2021

Printing models with relations including bools throws exception

bugSomething isn't workingSomething isn't working

Status: Open.

#19 In wilcoxjay/mypyvy;

· dranov opened on Aug 31, 2021