{"push_id":1426202352,"size":374,"distinct_size":196,"ref":"refs/heads/next","head":"b228864e2371dc0a8e271bd89f51e4cfda4d55b4","before":"cbc3c7a19b080e22eef46a884a2f5c30ab9d3053","commits":[{"sha":"b6f412cff7481b63c077d02e8efd9976c611961d","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"move NEWS to Changelog.md","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/b6f412cff7481b63c077d02e8efd9976c611961d"},{"sha":"a11f3bffa1627f966b08f113be8172d91f096087","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Update Changelog.md","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/a11f3bffa1627f966b08f113be8172d91f096087"},{"sha":"430f8a42aec638648ef146abf847c7c85535cb34","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Bump LTSmin version to 3.0.","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/430f8a42aec638648ef146abf847c7c85535cb34"},{"sha":"c4a39039263778c170a3633ca3bb6d5247872f40","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Update .travis.yml to deploy only on utwente-fmt.","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/c4a39039263778c170a3633ca3bb6d5247872f40"},{"sha":"5462e6db09f869e710d796ad6949037ddee2a7a7","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Travis: update ZMQ URL.","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/5462e6db09f869e710d796ad6949037ddee2a7a7"},{"sha":"2aa0a68aee94fbece796db752f96b8d757fc9996","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Fix build issue on OSX.","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/2aa0a68aee94fbece796db752f96b8d757fc9996"},{"sha":"6e5dd7debf1d15a54d9994f80852f09293188e98","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Travis: enable make check","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/6e5dd7debf1d15a54d9994f80852f09293188e98"},{"sha":"1e02f28f26eb157d294548eda15b4c76be3d902f","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Install dejagnu","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/1e02f28f26eb157d294548eda15b4c76be3d902f"},{"sha":"6e4f6f9bf9206599f8006ad8264e423131bef331","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"fix makeflags","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/6e4f6f9bf9206599f8006ad8264e423131bef331"},{"sha":"264fcb3d2599de9fc880baafd8977f0e67971fb4","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"Fix number of threads for Travis","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/264fcb3d2599de9fc880baafd8977f0e67971fb4"},{"sha":"9488fd9dce589d857c69c2f4c7701541fe58af22","author":{"name":"Jeroen Meijer","email":"1a56db626813432a576af8608be94e3cdf342645@gmail.com"},"message":"move env vars for deps to before install","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/9488fd9dce589d857c69c2f4c7701541fe58af22"},{"sha":"edc446cc559a4d9e60581bac12aebecd99bca258","author":{"name":"Vincent Bloemen","email":"3d7da0752b7be33e09ee43e19d4327a46b338aac@utwente.nl"},"message":"Re-add worker set updat in UFSCC union with extra check","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/edc446cc559a4d9e60581bac12aebecd99bca258"},{"sha":"db3dda977c7bb43cfd0619dbb10bcd314f91e00b","author":{"name":"Vincent Bloemen","email":"3d7da0752b7be33e09ee43e19d4327a46b338aac@utwente.nl"},"message":"Show extra statistics for UFSCC","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/db3dda977c7bb43cfd0619dbb10bcd314f91e00b"},{"sha":"ada54e5c07e5f7cf92b2dea9f3fb06b1aa961bc0","author":{"name":"Vincent Bloemen","email":"3d7da0752b7be33e09ee43e19d4327a46b338aac@utwente.nl"},"message":"Fix bug in Renault SCC mark dead","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/ada54e5c07e5f7cf92b2dea9f3fb06b1aa961bc0"},{"sha":"f7aada797843bd10e6bcf547ca3ac969432ab222","author":{"name":"Vincent Bloemen","email":"3d7da0752b7be33e09ee43e19d4327a46b338aac@utwente.nl"},"message":"Add LTL check + optional no-lazy-removal","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/f7aada797843bd10e6bcf547ca3ac969432ab222"},{"sha":"e47426b82c77c98f8a18ddb7cfef48612f7783e5","author":{"name":"Vincent Bloemen","email":"3d7da0752b7be33e09ee43e19d4327a46b338aac@utwente.nl"},"message":"Add option for log info + iterative version of uf_find","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/e47426b82c77c98f8a18ddb7cfef48612f7783e5"},{"sha":"701874db184c2807b74835427da1091e88cf1439","author":{"name":"Alfons Laarman","email":"5af3995872c450e1c3a7ba184fcfceefa8a580be@ewi.utwente.nl"},"message":"Fixed warnings and OSX compilation errors","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/701874db184c2807b74835427da1091e88cf1439"},{"sha":"bb7f7da6717cc384115a0d0a42c0f92c19363ad5","author":{"name":"Alfons Laarman","email":"5af3995872c450e1c3a7ba184fcfceefa8a580be@ewi.utwente.nl"},"message":"Add weaker never-coenabled definition\n\n* prefer never coenabled over its inverse\n  in the future we need to deprecate the\n  (stronger) guard-guard coenabled relation","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/bb7f7da6717cc384115a0d0a42c0f92c19363ad5"},{"sha":"e9c51a58ffeec5ecc4d61ace2bd2b2bf1166b2eb","author":{"name":"Alfons Laarman","email":"5af3995872c450e1c3a7ba184fcfceefa8a580be@ewi.utwente.nl"},"message":"Separated POR implementations\n\n- removed inferior SCC algorithm","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/e9c51a58ffeec5ecc4d61ace2bd2b2bf1166b2eb"},{"sha":"23594255ce7bf61600d98938d85d981201af0337","author":{"name":"Alfons Laarman","email":"5af3995872c450e1c3a7ba184fcfceefa8a580be@ewi.utwente.nl"},"message":"Small refactor in POR layer","distinct":false,"url":"https://api.github.com/repos/Meijuh/ltsmin/commits/23594255ce7bf61600d98938d85d981201af0337"}]}
{"actor":{"display_login":"Meijuh"}}