{"push_id":2900993470,"size":18,"distinct_size":8,"ref":"refs/heads/wip/dd/ctrans","head":"814cafbf14c2bcfa20149943087b5ee7fd1859ed","before":"b3736b2f8b13b873ff71db87821f062c0cecf1ae","commits":[{"sha":"b7aef536ec356213dfefc9f629b50fcd32dac261","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"use IPredicateUnifier instead of PredicateUnifier and add option to Automizer that enables the new predicate unifier (default: false)","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b7aef536ec356213dfefc9f629b50fcd32dac261"},{"sha":"9ee4f4fb32b6ea179680ba9861282b8e698b9ad9","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"use IPredicateUnifier instead of PredicateUnifier and add option to CodeCheck that enables the new predicate unifier (default: false)","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/9ee4f4fb32b6ea179680ba9861282b8e698b9ad9"},{"sha":"43ea6d23a2f277d5e5d77de6c3845ddfc0463a12","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"add predicate unifier benchmark definitions and settings","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/43ea6d23a2f277d5e5d77de6c3845ddfc0463a12"},{"sha":"4eac5666696e73ed37202a04a26da51829e5a937","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"add some logging to new predicate unifier, actually use it in CodeCheck","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/4eac5666696e73ed37202a04a26da51829e5a937"},{"sha":"69887dbc4477ccb6fdfc45ad7ea26c780d4fb1d5","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"fix settings","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/69887dbc4477ccb6fdfc45ad7ea26c780d4fb1d5"},{"sha":"37011c68b3d88606161a865309fc1652f146f689","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"fix settings again","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/37011c68b3d88606161a865309fc1652f146f689"},{"sha":"bd4274054924bc0f70b9d2b7686b2ea134bcf525","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"more detail in crash","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/bd4274054924bc0f70b9d2b7686b2ea134bcf525"},{"sha":"f0a0b6e35b5dfb2c146584343f43b658a4516010","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"bugfix ctranslation","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/f0a0b6e35b5dfb2c146584343f43b658a4516010"},{"sha":"2ee7c6ac7a0a0896a6f343add8762438529124dc","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"make RCFGBuilderObserver more general","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2ee7c6ac7a0a0896a6f343add8762438529124dc"},{"sha":"3d27b4dd19e608fb3a1482a1a06951d2a667dbf3","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"start new class for copying single procedures in an ICFG","distinct":false,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/3d27b4dd19e608fb3a1482a1a06951d2a667dbf3"},{"sha":"cf811632ea7001b5a247096ca771423c4b84c8b7","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"major refactoring, first compiling version (still many runtime bugs)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/cf811632ea7001b5a247096ca771423c4b84c8b7"},{"sha":"b56ea8b8e9d3ae3d005a7004fc37759dc6a11c8e","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"bug fixes","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b56ea8b8e9d3ae3d005a7004fc37759dc6a11c8e"},{"sha":"b3b41c5c0210ced0f1a33e34b9728169c3dd5cee","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"sync","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/b3b41c5c0210ced0f1a33e34b9728169c3dd5cee"},{"sha":"522e490222f21b6fdef75d77ef56664e595abef7","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"manually add all recent changes to Ctranslation","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/522e490222f21b6fdef75d77ef56664e595abef7"},{"sha":"c84bf08f158ea21a458224e916d1293e07976a6c","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"add latest C translation fixes manually","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/c84bf08f158ea21a458224e916d1293e07976a6c"},{"sha":"c70796a002319bb89762e72a21f7ff1bba863349","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"add toString(9 to ExpressionResultBuilder","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/c70796a002319bb89762e72a21f7ff1bba863349"},{"sha":"47bf2056b3fce33bdcdf4da6bbafa7a43e9fe645","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"move convert function to ExpressionResultTransformer","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/47bf2056b3fce33bdcdf4da6bbafa7a43e9fe645"},{"sha":"814cafbf14c2bcfa20149943087b5ee7fd1859ed","author":{"name":"danieldietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"towards immutable ExpressionResults","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/814cafbf14c2bcfa20149943087b5ee7fd1859ed"}]}
{"actor":{"display_login":"danieldietsch"}}