{"head":"9140d4b15cc7bbe55e3272e96f792c3e2e406a21","size":2,"push_id":44292430,"shas":[["bfe55f157afde831c27e0d9e3fb3aeca5145e2d8","e5365b891744fc8106edd4894512cd79c38f4f5b@gmail.com","added an interactive solver that works like a command line debugger","Kalmer Apinis"],["9140d4b15cc7bbe55e3272e96f792c3e2e406a21","e5365b891744fc8106edd4894512cd79c38f4f5b@gmail.com","Merge branch 'master' of https://github.com/goblint/analyzer","Kalmer Apinis"]],"ref":"refs/heads/master"}