SDX-Lab Spring Quarter (2014 - 2015) Lab content 1. Chatty (Completed) Final report 2. Mutty (Completed) Final report 3. Ordy (Completed) Basic Order Causal Order (causal.erl) Total order (total.erl) Final report 4. Groupy (Completed) Gms1 (No failures handling) Gms2 (Failures handling) Final report 5. Namy (Completed) Final report 6. Chordy (Completed) Final report