{"push_id":1273495044,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"c8b07ded57222d2960d7bd070975df0abae580cd","before":"01df1f129859290ac90ac684744c98598d5c4e56","commits":[{"sha":"4f02cca1835cf740393c3574f2e12eebc19d0edb","author":{"name":"Tom van Dijk","email":"55bc7b18e460d0d077310393ffbc002e6fe4eaec@tvandijk.nl"},"message":"mtbdd: add enum_all variation for all minterms instead of all paths","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/sylvan/commits/4f02cca1835cf740393c3574f2e12eebc19d0edb"},{"sha":"c8b07ded57222d2960d7bd070975df0abae580cd","author":{"name":"Tom van Dijk","email":"55bc7b18e460d0d077310393ffbc002e6fe4eaec@tvandijk.nl"},"message":"mtbdd: custom leaves framework now implements proper to_str functionality to write a string representing the leaf","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/sylvan/commits/c8b07ded57222d2960d7bd070975df0abae580cd"}]}
{"actor":{"display_login":"trolando"}}