Merge branch 'port_asgn3' into 'main'

__main__.py

tests/asgn3/availability/README.md

tests/asgn3/availability/availability_basic.py

tests/asgn3/availability/lamport-available-advanced-1.png

tests/asgn3/availability/lamport-available-basic-1.png

tests/asgn3/availability/lamport_availability_basic_2.jpg

tests/asgn3/availability/lamport_availability_basic_3.jpg

tests/asgn3/basic/README.md

tests/asgn3/causal_consistency/README.md

tests/asgn3/causal_consistency/bob_smells_read.jpg

tests/asgn3/causal_consistency/bob_smells_read_2.jpg

tests/asgn3/causal_consistency/causal_basic.py

...sgn3/causal_consistency/lamport_causal_basic_tiebreak.jpg

...n3/causal_consistency/lamport_causal_bob_doesnt_smell.jpg

...ausal_consistency/lamport_causal_bob_doesnt_smell_old.jpg

tests/asgn3/causal_consistency/lamport_causal_bob_smells.jpg

tests/asgn3/causal_consistency/lamport_causal_get_all_1.jpg

...gn3/causal_consistency/lamport_causal_heal_bob_smells.jpg

tests/asgn3/causal_consistency/no_overwrite_future.jpg

tests/asgn3/eventual_consistency/README.md