{"push_id":714220171,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1af9699425825a340b8bda207fa6eb9a9b9d5e18","before":"b22045d9bafb029bf7d74ce5880be2e924531f1c","commits":[{"sha":"bbb6c528fc09e26317732ae383489b3be2b36e4d","author":{"email":"15bb4e23225a8d688a7a7c7f34923e076d6ef916@utwente.nl","name":"Tom van Dijk"},"message":"bdd: rewritten internal BDD node structure (probably affects performance)","distinct":true,"url":"https://api.github.com/repos/trolando/sylvan/commits/bbb6c528fc09e26317732ae383489b3be2b36e4d"},{"sha":"1af9699425825a340b8bda207fa6eb9a9b9d5e18","author":{"email":"96835dd8bfa718bd6447ccc87af89ae1675daeca@tvandijk.nl","name":"Tom van Dijk"},"message":"llmsset/sylvan: now optionally calls a callback for selected dying nodes during garbage collection\n\nDying nodes can be revived (so they stay in the hash table) or additional cleanup can be performed, for example for custom node types.","distinct":true,"url":"https://api.github.com/repos/trolando/sylvan/commits/1af9699425825a340b8bda207fa6eb9a9b9d5e18"}]}