Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / wilcoxjay/mypyvy issues and pull requests

#29 - How to detect deadlock in mypyvy?

Issue - State: open - Opened by gipsyh 3 months ago - 1 comment

#29 - How to detect deadlock in mypyvy?

Issue - State: open - Opened by gipsyh 3 months ago - 1 comment

#28 - Fix crash when constant = bool in diagram

Pull Request - State: open - Opened by dranov 11 months ago - 4 comments

#28 - Fix crash when constant = bool in diagram

Pull Request - State: open - Opened by dranov 11 months ago - 4 comments

#25 - Name clash leads to typechecker crashing instead of reporting an error

Issue - State: closed - Opened by odedp 12 months ago
Labels: bug

#24 - Add always to axioms in fly output

Pull Request - State: closed - Opened by tchajed over 1 year ago - 1 comment

#23 - Change to GitHub actions

Pull Request - State: closed - Opened by wilcoxjay almost 2 years ago

#22 - Add support for enumerated sorts

Issue - State: open - Opened by dranov about 3 years ago
Labels: enhancement, good first issue

#21 - Allow traces to be named and specified as arguments to mypyvy trace

Issue - State: open - Opened by dranov about 3 years ago
Labels: enhancement, good first issue

#20 - UPDR thinks a definition is a transition?

Issue - State: open - Opened by dranov about 3 years ago - 6 comments
Labels: bug

#19 - Printing models with relations including bools throws exception

Issue - State: open - Opened by dranov about 3 years ago
Labels: bug

#18 - Allow referring to the new state via primed symbols

Pull Request - State: closed - Opened by wilcoxjay about 3 years ago

#17 - Make some checks warnings and add flag to ignore warnings

Issue - State: closed - Opened by wilcoxjay over 3 years ago

#16 - TypeError: cannot inherit frozen dataclass from a non-frozen one

Issue - State: closed - Opened by Calvin-L over 3 years ago - 3 comments

#15 - Add Peterson's algorithm example with inductive invariant

Pull Request - State: closed - Opened by will62794 over 3 years ago - 2 comments

#14 - taking a stab at chain replication

Pull Request - State: closed - Opened by lkuper about 4 years ago - 7 comments

#13 - Update logic.py

Pull Request - State: closed - Opened by lkuper over 4 years ago - 1 comment

#12 - Missing source folder folseparators

Issue - State: closed - Opened by aman-goel over 4 years ago - 2 comments

#11 - add two-phase commit example

Pull Request - State: open - Opened by nano-o over 4 years ago - 3 comments

#10 - update required python version to 3.8

Pull Request - State: closed - Opened by wilcoxjay over 4 years ago

#9 - Cleanup old files across the repo

Pull Request - State: closed - Opened by wilcoxjay over 4 years ago

#8 - Disable old() syntax by default

Pull Request - State: closed - Opened by wilcoxjay over 4 years ago

#7 - bmc trace lists states and transitions in reverse order

Issue - State: closed - Opened by nano-o almost 5 years ago - 1 comment

#6 - Refactor examples to use new() syntax

Pull Request - State: closed - Opened by wilcoxjay almost 5 years ago

#5 - WIP: replace old() operator with new() operator

Pull Request - State: closed - Opened by wilcoxjay almost 5 years ago - 1 comment

#4 - Exception thrown when nesting old calls using definitions

Issue - State: closed - Opened by aatxe almost 5 years ago - 1 comment

#3 - specify mypyvy comment syntax in mypyvy-mode

Pull Request - State: closed - Opened by aatxe about 5 years ago - 1 comment

#2 - Implement hash and eq on declarations

Pull Request - State: closed - Opened by wilcoxjay about 5 years ago - 1 comment

#1 - Allow selecting different logics and bump max depth

Pull Request - State: closed - Opened by jrkoenig about 5 years ago