{"push_id":1529512971,"size":1,"distinct_size":1,"ref":"refs/heads/remove_instanceof","head":"d49aab074bbf0635af9a14056a401dff7f618686","before":"4d251b78dec5217ee2d9abc9f8f4f885db831f16","commits":[{"sha":"d49aab074bbf0635af9a14056a401dff7f618686","author":{"name":"Matthias Güdemann","email":"e32b87c8849886287ddcae9d7e4ba8b9ee5bd801@gmail.com"},"message":"insert instanceof instruction at correct location\n\nThe instanceof instruction that reads the type of an object instance must be\ninserted in front of the `java_instanceof` instruction. There is a problematic\ncase, when `java_instanceof` is on a jump label. This patch fixes it, by first\ninserting the instruction after and then swapping both.","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/d49aab074bbf0635af9a14056a401dff7f618686"}]}
{"actor":{"display_login":"smowton"}}