Lamport clocks and message event fixes, also exercises#19

Merged

AndersMariegaard merged 17 commits into

mainfrom

Dec 2, 2025

Commits on Nov 26, 2025

Merge remote-tracking branch 'origin/main' into testing
AndersMariegaard
committed
Added protocols for echo, mutex and moved leader election to the correct dir
AndersMariegaard
committed

Commits on Nov 27, 2025

Implement consensus protocol structures and enhance echo message types
AndersMariegaard
committed