-
Notifications
You must be signed in to change notification settings - Fork 21
Pull requests: informalsystems/malachite
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(spec/quint): Move consensus timeout firing into state machine
#981
opened Apr 14, 2025 by
josef-widder
•
Draft
5 tasks
chore(code): Handle multiple proposals for same height and round
#977
opened Apr 11, 2025 by
ancazamfir
•
Draft
3 tasks
chore(code): Move mode check for effect handling in engine
#942
opened Mar 25, 2025 by
ancazamfir
•
Draft
3 tasks
feat(code/starknet): Starknet interoperability
#868
opened Feb 19, 2025 by
ancazamfir
•
Draft
3 tasks
chore(test): Add blocks proto
code
Code/implementation related
#812
opened Jan 28, 2025 by
greg-szabo
Loading…
3 tasks
feat(code/test): Add artificial latency and packet loss to integration tests
code
Code/implementation related
work in progress
Work in progress
feat(spec): Document consensus support for crash-recovery
spec
Related to specifications
work in progress
Work in progress
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.