{"push_id":836118888,"size":196,"distinct_size":1,"ref":"refs/heads/simplex2-explanation-spike","head":"7321be03722d025e5646d62df102cdfc45426232","before":"e85116ca4f6f2f82fe0f67768897fca220a06194","commits":[{"sha":"a17d39a478034f06f08e5a93907590bf46b6ddbc","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"fix performance issue of TestUtil","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/a17d39a478034f06f08e5a93907590bf46b6ddbc"},{"sha":"35c53c743a82ad45163fea3b73ddb0902ba79ddc","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add 'ite' (if-then-else) operation to Boolean type class","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/35c53c743a82ad45163fea3b73ddb0902ba79ddc"},{"sha":"c4530184ec463486e1868dbb6e01793c3ae35290","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"change callback mechanism for literal unassignments","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/c4530184ec463486e1868dbb6e01793c3ae35290"},{"sha":"f1113e444de960723a750a672c1e1dd80d7ddda8","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"clean up","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/f1113e444de960723a750a672c1e1dd80d7ddda8"},{"sha":"a5c69170a342556c25294d5fcaf1e4ef143fa1f7","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"use tasty instead of test-framework","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/a5c69170a342556c25294d5fcaf1e4ef143fa1f7"},{"sha":"2847d197078a36c6d09af695966937838074caef","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"define Eq-instance for IOURef","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/2847d197078a36c6d09af695966937838074caef"},{"sha":"040cfc892a700e6e297e197875ac516fc0521cce","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"change Vec/UVec to use UIORef to represent their sizes","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/040cfc892a700e6e297e197875ac516fc0521cce"},{"sha":"b2eeb134bc366b8bf5319c4201697334b980ac2f","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"allow failure on building with GHC-7.4.2 on Travis-CI","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/b2eeb134bc366b8bf5319c4201697334b980ac2f"},{"sha":"a361c32e826b479b78e97a87915de9812c7b147b","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"improve property testing of PB solving","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/a361c32e826b479b78e97a87915de9812c7b147b"},{"sha":"25d648740231e9d402d58076b7fd3062ea5d230a","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add ToySolver.SAT.PBNLC for handling non-linear pseudo-boolean constraints","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/25d648740231e9d402d58076b7fd3062ea5d230a"},{"sha":"aedac17dfecb2cd24c761a673a599d757b4a7446","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"fix to unpack IORef/IOURef fields in Vec","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/aedac17dfecb2cd24c761a673a599d757b4a7446"},{"sha":"eeb5f5c14f57f39e75b0dc5394e4bfe43ca02410","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"handle constant terms specially in ToySolver.SAT.PBNLC","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/eeb5f5c14f57f39e75b0dc5394e4bfe43ca02410"},{"sha":"7d7ecdffc7e6eb1c1205b875c2bafaaf9e9f8791","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"change ToySolver.SAT.Integer to use ToySolver.SAT.PBNLC","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/7d7ecdffc7e6eb1c1205b875c2bafaaf9e9f8791"},{"sha":"d3130d253ca25cad24d70099714670b5989343fe","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"improve test coverage of TestSAT","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/d3130d253ca25cad24d70099714670b5989343fe"},{"sha":"18f780ea35ceaacc4b07aa4f66c9531324275ce2","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"implement QuickXplain algorithm","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/18f780ea35ceaacc4b07aa4f66c9531324275ce2"},{"sha":"fe0f0bb06d0aa068b4fc276260c2080aade92353","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"change --all-mus-daa option of toysat to --all-mus-method","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/fe0f0bb06d0aa068b4fc276260c2080aade92353"},{"sha":"572c42b05cdc8b585b1c2b66ea44a5012e518ba0","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"add --mus-method option to toysat","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/572c42b05cdc8b585b1c2b66ea44a5012e518ba0"},{"sha":"6c48d38c919718e7f60f384685f17ca13b14be7b","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"fix bugs of QuickXplain implementation","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/6c48d38c919718e7f60f384685f17ca13b14be7b"},{"sha":"d95d0bb28b098def3602d247889394b1f7a38cdc","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"clean up QuickXplain implementation a little","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/d95d0bb28b098def3602d247889394b1f7a38cdc"},{"sha":"c8ae2ac187f45c4b198029691e2b271be0e03ad4","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"use the word \"selector\" instead of \"indicator\".","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/c8ae2ac187f45c4b198029691e2b271be0e03ad4"}]}