Skip to content

Issues: informalsystems/malachite

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

spec: VoteSync protocol (getting out of deadlocks) spec Related to specifications sync Synchronization protocols
#576 opened Nov 19, 2024 by josef-widder
spec: Fix folds in Quint spec spec Related to specifications tech-debt Not high priority, to eventually be addressed.
#387 opened Sep 12, 2024 by josef-widder
2 tasks
spec: Human analysis of the reset protocol spec Related to specifications
#244 opened Jun 19, 2024 by josef-widder Phase 5
spec: Refactor driver spec to have a single call to consensus spec Related to specifications tech-debt Not high priority, to eventually be addressed.
#153 opened Jan 12, 2024 by josef-widder
spec: Validation of specifications spec Related to specifications tech-debt Not high priority, to eventually be addressed.
#143 opened Jan 11, 2024 by josef-widder
ProTip! Mix and match filters to narrow down what you’re looking for.