{"push_id":1330590417,"size":6,"distinct_size":6,"ref":"refs/heads/tgm_plus_strings","head":"dacdf4654bca25bf37bfcaeebe572c434d279ea0","before":"15a550f2eb8db8be96371c9284bb2a59f552fd88","commits":[{"sha":"f38685f4f24df2f908d75d43d0c702f0bd71fb94","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Implement hackish get-value implementation for the string solver.","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/f38685f4f24df2f908d75d43d0c702f0bd71fb94"},{"sha":"f009a6b1bafe74f5eccb31ac3736c230e3b9a3a0","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Elaborate the java.lang.String type when string refinement is in play","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/f009a6b1bafe74f5eccb31ac3736c230e3b9a3a0"},{"sha":"0e35a565ac891e04c80fc63648829f50d968617c","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Cleanup","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/0e35a565ac891e04c80fc63648829f50d968617c"},{"sha":"90a70a3d963a09346340a39276e798950fd59717","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Handle strings that occur on the LHS of more than one VCC\n\n(In the usual path the literal map handles this)","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/90a70a3d963a09346340a39276e798950fd59717"},{"sha":"99adc69918a289711c89df5b95e9e536829fc27c","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Fix java.lang.String struct tag","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/99adc69918a289711c89df5b95e9e536829fc27c"},{"sha":"dacdf4654bca25bf37bfcaeebe572c434d279ea0","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Unfinished work to make string_exprt a thin wrapper atop java.lang.String","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/dacdf4654bca25bf37bfcaeebe572c434d279ea0"}]}
{"actor":{"display_login":"smowton"}}