{"shas":[["5803d70c3cbb50c94c9ab83d94031fa5857fc5b5","fa12a7c8b605ada6fa615b37604c55d05718dd4b@cs.mcgill.ca","Added parsing for block defs and world defs","Andrew Cave"],["4ee31348951bfebe0901df07fcfb0ec4e31498b6","fa12a7c8b605ada6fa615b37604c55d05718dd4b@cs.mcgill.ca","Type inference for block definitions","Andrew Cave"],["8bdfa117e0c841770b175ada90da1abe3b0ffdd5","fa12a7c8b605ada6fa615b37604c55d05718dd4b@cs.mcgill.ca","Generating mem relations, minus existential quantification and name predicates","Andrew Cave"]],"ref":"refs/heads/master","size":3,"head":"8bdfa117e0c841770b175ada90da1abe3b0ffdd5","push_id":34403944}