{"push_id":1816911184,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"ab3c59d032754b1c9df17a1cfd36dc70ccd9cdea","before":"d63311dfc14872430f378fd880923811fb8cd6d5","commits":[{"sha":"fb5f51113fe012f0a4e239fa90734597a0a110e2","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Adjusted narrowed graph to new example","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/fb5f51113fe012f0a4e239fa90734597a0a110e2"},{"sha":"6b220fc76758d744d6af43e7f2cccf0c42f71507","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Adjusted narrowing","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/6b220fc76758d744d6af43e7f2cccf0c42f71507"},{"sha":"33c81ac571dadc6a40c30a6a352a584404168a52","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Replaced tree graph for narrowing by sequence diagram","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/33c81ac571dadc6a40c30a6a352a584404168a52"},{"sha":"9ae57342f81343eb4bfff79bbf6f8d7ef12ed453","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Removed obsolete todo","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/9ae57342f81343eb4bfff79bbf6f8d7ef12ed453"},{"sha":"624137843245fcca7fbb7990a16a2426900ebac6","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Made the algorithm of CondSafe descriptive","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/624137843245fcca7fbb7990a16a2426900ebac6"},{"sha":"95d6a887c6b4af1681c6c303d4db775b59294b08","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Some things","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/95d6a887c6b4af1681c6c303d4db775b59294b08"},{"sha":"2dbb50917b35b0b0504e875b2b7a81b9d1eb7332","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Replaced explanation for the variables in Max-SMT","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/2dbb50917b35b0b0504e875b2b7a81b9d1eb7332"},{"sha":"ab3c59d032754b1c9df17a1cfd36dc70ccd9cdea","author":{"name":"Fabian Boeller","email":"a2eb0e21a08cd623307d2a0153a138b810a3ef21@googlemail.com"},"message":"Reorganized formulas in Max-SMT","distinct":true,"url":"https://api.github.com/repos/MisterFabulous/paper-compositional-safety-verification/commits/ab3c59d032754b1c9df17a1cfd36dc70ccd9cdea"}]}
{"actor":{"display_login":"MisterFabulous"}}