{"push_id":832588688,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f05edc439fda81db98ce77c42530032c4a341b2b","before":"a793a9a4183fdfbebc5aeee31bfbc7f99ff4bec1","commits":[{"sha":"f05edc439fda81db98ce77c42530032c4a341b2b","author":{"email":"15bb4e23225a8d688a7a7c7f34923e076d6ef916@utwente.nl","name":"Tom van Dijk"},"message":"sylvan: update to newest version\n\nChanges:\n- now supports MTBDDs (not used in LTSmin)\n- Improved C++ interface\n- Bugfixes in file load/store\n- Better performance for sylvan_relprev\n- Redesign of hash table to use bitmaps and support custom hash/equals functions\n- Skip cache_put when hashes are identical again","distinct":true,"url":"https://api.github.com/repos/trolando/ltsmin/commits/f05edc439fda81db98ce77c42530032c4a341b2b"}]}