{"shas":[["0f0293005251fc1faddaf03acdd4412b23807e2b","02e0a999c50b1f88df7a8f5a04e1b76b35ea6a88@swclan.homelinux.org","mess around with decision procedure for register set equality.\n\nI've been mostly just poking around, but this is the stat of something\nwe really need -- to be able to decide equality of machine\nstates. THat means registers and memory. And we have to be clever\nabout the PC since that will change -- it will have to point to the\nsame instruction, but the same number. not sure how that works.","Andrew Sackville-West"]],"repo":"TomMD/CompCert-Peep-hole-Optimizer","actor":"andrewsw","ref":"refs/heads/master","size":1,"head":"0f0293005251fc1faddaf03acdd4412b23807e2b","actor_gravatar":"5ccf32de2a7a5be37ad1d035f9f13a4d","push_id":30296526}