{"shas":[["6a32799a1fc818cfb9634c69edaff57160571fd2","f5001138afee248ea03525de377da512938d174e@vostro.(none)","Update tests.\n\n- Illustrates the difference in the order of the transofrmers.\n- Illustrates what happens when we \"jump\".","Iavor Diatchki"],["6d75dbaacd0fe9fa0908644a6786a678a7cc336e","f5001138afee248ea03525de377da512938d174e@galois.com","Improve the implementation of Labels and jump.\n\nThanks to Gabriel Corona for suggesting this!","Iavor S. Diatchki"]],"ref":"refs/heads/master","size":2,"head":"6d75dbaacd0fe9fa0908644a6786a678a7cc336e","push_id":36732225}