{"push_id":1165004440,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"f99431f55e41e9f94be71ea5caacece5fb3ae17d","before":"d826d89c861786a5d5bf645a1fe0c193b8a2346f","commits":[{"sha":"4330da8227d616fa1d32f37bb94601e9f4d37b8b","author":{"name":"Ondra Lengal","email":"9f011f9a27fa41882e9c7016ec2c3991eed91df3@gmail.com"},"message":"fairness: add Automaton.removeEpsilon()","distinct":true,"url":"https://api.github.com/repos/uuverifiers/autosat/commits/4330da8227d616fa1d32f37bb94601e9f4d37b8b"},{"sha":"7263638606e9cc71b5630811ac272b84e637d0f0","author":{"name":"Ondra Lengal","email":"9f011f9a27fa41882e9c7016ec2c3991eed91df3@gmail.com"},"message":"fairness: remove epsilon transitions when encoding enabledness","distinct":true,"url":"https://api.github.com/repos/uuverifiers/autosat/commits/7263638606e9cc71b5630811ac272b84e637d0f0"},{"sha":"f99431f55e41e9f94be71ea5caacece5fb3ae17d","author":{"name":"Ondra Lengal","email":"9f011f9a27fa41882e9c7016ec2c3991eed91df3@gmail.com"},"message":"benchmarks: add courteous_philosophers stub [WIP]","distinct":true,"url":"https://api.github.com/repos/uuverifiers/autosat/commits/f99431f55e41e9f94be71ea5caacece5fb3ae17d"}]}
{"actor":{"display_login":"ondrik"}}