{"shas":[["875f472c0732f955016d832b53a4976f90122890","c9f533833e2a78dc6a9a8d83000ef461bf4b92fc@gmail.com","Generated the constraints to distinguish the write effects of foreach loops.\n\nThis commit belongs to issue #11.","Mohsen Vakilian"]],"repo":"dpj/DPJizer","actor":"reprogrammer","ref":"refs/heads/master","size":1,"head":"875f472c0732f955016d832b53a4976f90122890","actor_gravatar":"dde3b34749219173bbf3e07ca710eccc","push_id":31713041}