Implement chrs-election: Stateful weighted leader election following original CHORUS specs

This commit is contained in:
anthonyrawlins
2026-03-04 04:49:03 +11:00
parent 83ef40d3e2
commit 6bc78f4854
908 changed files with 739 additions and 32 deletions

View File

@@ -0,0 +1,11 @@
/home/tony/rust/projects/reset/CHORUS/target/debug/deps/liblibp2p_mdns-f1317d20d3871e17.rmeta: /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/lib.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/dns.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/query.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/socket.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/timer.rs
/home/tony/rust/projects/reset/CHORUS/target/debug/deps/libp2p_mdns-f1317d20d3871e17.d: /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/lib.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/dns.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/query.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/socket.rs /home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/timer.rs
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/lib.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/dns.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/iface/query.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/socket.rs:
/home/tony/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libp2p-mdns-0.44.0/src/behaviour/timer.rs: