Skip to content

Commit

Permalink
formal-models: extend dBFT with additional post-commit phase
Browse files Browse the repository at this point in the history 
Close #111.

Signed-off-by: Anna Shaleva <[email protected]>
  • Loading branch information
@AnnaShaleva
AnnaShaleva committed Apr 25, 2024
1 parent 6abc124 commit 7125076
Show file tree
Hide file tree
Showing 2 changed files with 476 additions and 0 deletions.
Loading

0 comments on commit 7125076

Please sign in to comment.