{"shas":[["f0b9ebb31973ae3104e218a597d3a856a3c02582","30ee5a801bb34c5b32e08b3f487cd4ce240c317f@gmail.com","Fix up the opt_window function... but I still need to try it moved to transl_code.","Thomas M. DuBuisson"],["6c701a127698d8fd0033e385b2ebb8e1df364734","30ee5a801bb34c5b32e08b3f487cd4ce240c317f@gmail.com","Merge branch 'master' of github.com:TomMD/CompCert-Peep-hole-Optimizer","Thomas M. DuBuisson"]],"repo":"TomMD/CompCert-Peep-hole-Optimizer","actor":"TomMD","ref":"refs/heads/master","size":2,"head":"6c701a127698d8fd0033e385b2ebb8e1df364734","actor_gravatar":"786f224adbe0784cdf7d0f15476061fe","push_id":31042524}