{"push_id":3480888814,"size":2,"distinct_size":0,"ref":"refs/heads/eca-bisect","head":"131373b256fc824a46ca9df4f24a99f2ec5e6324","before":"8ca4924b0f70b434ca7d00422dd7b80c0a803f15","commits":[{"sha":"93047331787d3943d67aa4b6d36cd98a6edb33fe","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Adding move constructors","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/93047331787d3943d67aa4b6d36cd98a6edb33fe"},{"sha":"131373b256fc824a46ca9df4f24a99f2ec5e6324","author":{"name":"johndumbell","email":"9ddd81dcd62f63c8a8070dc60352097efe9fe1bf@diffblue.com"},"message":"Add global name map to goto_symex_state\n\nThis global name map will be used to check what generation is currently\navailable for each level1 name, and shared across all states. This will\nonly be used when a particular state tries to find out what the next\nfree generation is.\n\nThe main draw of this is that all branches will now assign unique\ngenerations that won't clash with assignments done across other\nbranches. One minor downside is that in VCC's the generation number\nmight jump sporadically (say from #4 to #40).","distinct":false,"url":"https://api.github.com/repos/tautschnig/cbmc/commits/131373b256fc824a46ca9df4f24a99f2ec5e6324"}]}
{"actor":{"display_login":"tautschnig"}}