{"push_id":885775588,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"986dd80be5c0d06d95c6e5eefefd039042092b3a","before":"77066b3958be6a12206621363ee3506d0e058720","commits":[{"sha":"3b09d64b530282df3f5efbfe9d6ab1349f758ffd","author":{"email":"9964fcf15cf03644571918538e83618148b6cc34@princeton.edu","name":"Andrew W. Appel"},"message":"Make the canonical-form LOCALs deeply embedded.\nThe eventual goal is to speed up the forward tactics significantly;\nbut this commit does not do that.\n\nChanges visible to users are:\n1. In the LOCALs, use \"tc_env Delta\" instead of \"tc_environ Delta\".\nThat is, tc_env is the deeply embedded form of tc_environ:\nlocald_denote (tc_env Delta) = tc_environ Delta.\n\n2. Use \"rewrite insert_tce\" instead of \"rewrite insert_local\"\nto move [tc_environ Delta] into the LOCALs phrase.","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/3b09d64b530282df3f5efbfe9d6ab1349f758ffd"},{"sha":"986dd80be5c0d06d95c6e5eefefd039042092b3a","author":{"email":"9964fcf15cf03644571918538e83618148b6cc34@princeton.edu","name":"Andrew W. Appel"},"message":"Merge branch 'master' of github.com:PrincetonUniversity/VST","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/986dd80be5c0d06d95c6e5eefefd039042092b3a"}]}