This repository has been archived on 2024-01-29. You can view files and clone it, but cannot push or open issues or pull requests.

Andre Henriques 1756972e8c Made game interactive		2024-01-18 19:40:04 +00:00
..
mix/tasks	Paxos version 1	2023-11-28 21:42:16 +00:00
distributed_system_coursework.ex	Paxos version 1	2023-11-28 21:42:16 +00:00
paxos_test_aditional.ex	improved code	2024-01-16 15:05:14 +00:00
paxos_test.ex	fixed a lot for the tests and added extra tetts	2024-01-07 11:06:26 +00:00
paxos.ex	Made game interactive	2024-01-18 19:40:04 +00:00
server.ex	Made game interactive	2024-01-18 19:40:04 +00:00
test_harness.ex	Finished the paxos	2024-01-02 21:39:00 +00:00
test_script.exs	improved code	2024-01-16 15:05:14 +00:00
test_util.ex	Finished the paxos	2024-01-02 21:39:00 +00:00
test.ex	more work on the server	2024-01-16 23:46:30 +00:00
uuid.ex	Finished the paxos	2024-01-02 21:39:00 +00:00