Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Minor code quality improvements & script fixes #22

Merged
merged 357 commits into from
Aug 27, 2024
Merged

Minor code quality improvements & script fixes #22

merged 357 commits into from
Aug 27, 2024

Conversation

josehu07
Copy link
Owner

  • bump Rust dependencies versions to the most recent
  • replace MessagePack serde with Bincode
  • remove unnecessary bind ports requirements

josehu07 and others added 30 commits October 13, 2023 15:13
@josehu07
kinda finish distribution model calculation
33d9664
@josehu07
make unnessary asserts debug_asserts
997835a
@josehu07
improving Raft's async performance
10f9763
@josehu07
add next_slot decrement bypassing
2aca29c
@josehu07
add next_slot decrement bypassing
b6531c5
@josehu07
Merge pull request #10 from josehu07/crossword
bfdb361 
nextIndex performance fix for async Raft
@josehu07
relocate workflow_test.py
d6edaae
@josehu07
update prob modeling script
95929d5
@josehu07
update constraint boundary figure script
4b14eee
@josehu07
add pin CPU cores feature to scripts
52f199a
@josehu07
staging progress on eval scripts
3507bea
@josehu07
staging progress on automating bench scripts
25dc5e2
@josehu07
staging progress on automating bench scripts
e7d32e3
@josehu07
fixed automated bench script issues
603ee81
@josehu07
minor updates to prob calculation script
10f3118
@josehu07
update modeling script
edea398
@josehu07
update modeling script
edc62e5
@josehu07
update modeling script
6f725d8
@josehu07
staging progress on modeling scripts
8d01a79
@josehu07
update modeling scripts
30aa677
@josehu07
update benchmarking scripts structure
be38acd
@josehu07
add mess client for evaluation purposes
34766d1
@josehu07
change prob calculation pareto usage
0590641
@josehu07
fixing issues during benchmarking
f3aceb2
@josehu07
fix gossip storm by introducing implicit Gossiped status
1bc77fb
@josehu07
fixing issues during benchmarking
078398e
@josehu07
fixing issues during benchmarking
68e7b11
@josehu07
fixing issues during benchmarking
fe6de0d
@josehu07
fixing issues during benchmarking
8a98ea4
@josehu07
fix Raft duplicate reply bug and benmarking issues
803ac42
josehu07 and others added 28 commits May 4, 2024 12:28
@josehu07
minor updates to bench script comments
c2231a8
@josehu07
Merge branch 'bodega'
5498620
@josehu07
use clone_from() according to clippy
368cdc6
@josehu07
Merge branch 'bodega'
6dd9397
@josehu07
update Bodega TLA+ model
fac8521
@josehu07
minor updates to cargo metadata
2e8410e
@josehu07
Merge branch 'bodega' of github.com:josehu07/summerset-private into b…
5be1994 
…odega
@josehu07
modifications for code quality improvement
f70397f
@josehu07
modifications for code quality improvement
e3bc1bf
@josehu07
Merge pull request #18 from josehu07/bodega
1609496 
Various code quality improvements
@josehu07
use static OnceLock for logging identifier
b6c7a47
@josehu07
let formatter reorder imports automatically
89f9b3e
@josehu07
minor updates to README
b5aa985
@josehu07
minor fix for logging & script ports
57ed785
@josehu07
minor updates to README
27ef9c9
@josehu07
minor updates to README
f7c04ea
@josehu07
adding public repo publish script
aea8c10
@josehu07
adding public repo publish script
ad3ef8e
@josehu07
adding public repo publish script
6bb22dd
@josehu07
adding public repo publish script
1086836
@josehu07
adding public repo publish script
e65c51a
@josehu07
adding public repo publish script
898f3e7
@josehu07
bump rust dependencies versions
0f37eeb
@josehu07
replace messagepack with bincode
7809538
@josehu07
remove unnecessary bind ports requirements
94bcd6a
@josehu07
Merge branch 'main' into minor-publish
a5df4d2
@josehu07
Merge branch 'main' of github.com:josehu07/summerset-private into min…
fd662f9 
…or-publish
@josehu07
trimming for public repo
c6b31d4
@josehu07 josehu07 merged commit 855dc5a into main Aug 27, 2024
5 checks passed
@josehu07 josehu07 deleted the minor-publish branch August 27, 2024 04:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@josehu07