Skip to content

Commit

Permalink
avoid collision between names in Voting.v and Paxos.v by using paxos_…
Browse files Browse the repository at this point in the history 
… prefix, uniformize some Paxos-related VLSM names
  • Loading branch information
@palmskog
palmskog committed Dec 8, 2023
1 parent 90fa9a6 commit 5aaa4d6
Show file tree
Hide file tree
Showing 2 changed files with 155 additions and 144 deletions.
Loading

0 comments on commit 5aaa4d6

Please # to comment.