{"push_id":975432851,"size":127,"distinct_size":127,"ref":"refs/heads/next","head":"4d6bc7e4ca12b5f3903979e36bd70921b69c7faf","before":"b296f97d6a35c7199818b6ba53f2f14ca8fc0603","commits":[{"sha":"8868cf95f1ef050392dd276647fd2ae494255b1a","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"hre_zip_io: fix libzip version","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/8868cf95f1ef050392dd276647fd2ae494255b1a"},{"sha":"b188dea4ee2b46325bc98f542b1628a1475b50fb","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"dm: add const to num_ones*","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/b188dea4ee2b46325bc98f542b1628a1475b50fb"},{"sha":"b4cd621ab1d943868473d53bbe3161b06215b412","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"hre: add extern C to some header files.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/b4cd621ab1d943868473d53bbe3161b06215b412"},{"sha":"2222ff5fe10b86734f5313d0f0bc68f8e3d860ef","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"change bignum interface to prepare for precise counting in vset interface","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/2222ff5fe10b86734f5313d0f0bc68f8e3d860ef"},{"sha":"c2b2b8c1c9c236d8c1228bda2cc16588b959693b","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"add horizontal flip and vertical flip operations to dependency matrices.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/c2b2b8c1c9c236d8c1228bda2cc16588b959693b"},{"sha":"8e6f15028f9c9f6d07b9a5f21f367f448cf8a027","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"Always use the may-write matrix for reordering rows and columns.\nA good ordering for the may-write matrix is much more important\nthan the combined or read matrix.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/8e6f15028f9c9f6d07b9a5f21f367f448cf8a027"},{"sha":"bd54a7861af11ccd14dc7b39e160036a2310a46b","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"support horizontal flip (hf) and vertical flip (vf) in regrouping layer.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/bd54a7861af11ccd14dc7b39e160036a2310a46b"},{"sha":"def3e241e9b78521f34dd4d585361348f807e240","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"Change order of linking the multi-core lib.\n\nThe mc-lib will be used in the vset-interface.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/def3e241e9b78521f34dd4d585361348f807e240"},{"sha":"d524ad4a6dedad7ec23b9e9f91144214ce1934cf","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"change vset interface:\n - don't use bignums when counting.\n - add functions for precise counting with bignums.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/d524ad4a6dedad7ec23b9e9f91144214ce1934cf"},{"sha":"942fda1f73f817c996bce0de0942842c1d207189","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"add precise couting for ldd32.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/942fda1f73f817c996bce0de0942842c1d207189"},{"sha":"700a08853ce4a183c8327a1ec4a5f100296c4fb4","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"add precise counting to vset_lddmc","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/700a08853ce4a183c8327a1ec4a5f100296c4fb4"},{"sha":"ecb039b0c4f6854432ec0dff391a6cb0b384d350","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"only use may-write matrix in dm optimizations.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/ecb039b0c4f6854432ec0dff391a6cb0b384d350"},{"sha":"fcec350a05faecfa4fd2659c4692e2686d27a88d","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"fix spg-lib to work with new vset doubles","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/fcec350a05faecfa4fd2659c4692e2686d27a88d"},{"sha":"421b8f563f96482a5bc4513537ab96e718565d65","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"fix pins2lts-sym to work with new vset doubles and vset_count_precise","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/421b8f563f96482a5bc4513537ab96e718565d65"},{"sha":"014e4367dee9f0dd52204011a7f2debb12bd72b1","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"fix memory leak in chain and chain-prev","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/014e4367dee9f0dd52204011a7f2debb12bd72b1"},{"sha":"bc5a0fbf9038e7fb7acdeeb2ebd5920d436c0f88","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"small refactor for mdd_next","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/bc5a0fbf9038e7fb7acdeeb2ebd5920d436c0f88"},{"sha":"5a31fd414b8594d65b8219362858934a5727b727","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"don't require state labels in the regrouping layer","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/5a31fd414b8594d65b8219362858934a5727b727"},{"sha":"52cc4b0c843f515455eb1b549f5a3302f9b6f8a9","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"extend vset interface with long doubles for counting","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/52cc4b0c843f515455eb1b549f5a3302f9b6f8a9"},{"sha":"1c7050624139e3edde8ece1db8f3925529e49869","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"add counting with long doubles in ldd32.","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/1c7050624139e3edde8ece1db8f3925529e49869"},{"sha":"1d3139c0c5fab22a4944aed9fcae8c91d37e0caf","author":{"email":"49d6d5eeb1ee9d4c0e1c36f7de3e68aa6c26ef11@gmail.com","name":"Jeroen Meijer"},"message":"add vset_ccount to lddmc","distinct":true,"url":"https://api.github.com/repos/utwente-fmt/ltsmin/commits/1d3139c0c5fab22a4944aed9fcae8c91d37e0caf"}]}