{"push_id":1283929772,"size":15,"distinct_size":15,"ref":"refs/heads/master","head":"e9688907d92e95a0f8209ac3997f3771165285be","before":"2cca0226f52d7fd570f70d8241b2492c50bda16a","commits":[{"sha":"fcbe84da444bc434eed8756b6b7a7064fffe02aa","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Trying to fix AppVeyor","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/fcbe84da444bc434eed8756b6b7a7064fffe02aa"},{"sha":"b7ef9b3315beb7b3cf3442a8eac0037386ae5e8f","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Cleaning up SCC","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/b7ef9b3315beb7b3cf3442a8eac0037386ae5e8f"},{"sha":"00cc0e7e41ae67258aa7adb829f43900b39e5b2d","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Further cleanup of SCC code","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/00cc0e7e41ae67258aa7adb829f43900b39e5b2d"},{"sha":"c68df953fe122d96644f51f7c76af5e3174b5e2f","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Potentially faster code this way","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/c68df953fe122d96644f51f7c76af5e3174b5e2f"},{"sha":"72a30c98dea1b9216cc8b075964287bffbc6e0b1","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Trying to fix Visual C++ compilation","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/72a30c98dea1b9216cc8b075964287bffbc6e0b1"},{"sha":"e728647a01ca2e0ba3f3a432da7a178567e0dbd4","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Adding test for depth of SCC and bailing out if too deep\n\nCloses #338","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/e728647a01ca2e0ba3f3a432da7a178567e0dbd4"},{"sha":"d39f37349c7a359ca566db54e14730627e6d667d","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Adding glucose 2015 competition entry","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/d39f37349c7a359ca566db54e14730627e6d667d"},{"sha":"cbde188b8353301a5cfc0820c209b04583826614","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Update README badges","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/cbde188b8353301a5cfc0820c209b04583826614"},{"sha":"abcf33b31ce357c1f4ef8d48684be188a7588ec6","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Better README badges","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/abcf33b31ce357c1f4ef8d48684be188a7588ec6"},{"sha":"804363da839979cf4636ad8ec9fdb5bfdb226e63","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Adding independent vars support to main.cpp","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/804363da839979cf4636ad8ec9fdb5bfdb226e63"},{"sha":"899d9ce35de701801b14353bf7955027583c2fa5","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing issue with no trailing 0 in warning","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/899d9ce35de701801b14353bf7955027583c2fa5"},{"sha":"1c77b743bca38b88b50a6cb6d27c1e93c6494477","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing glucose name to glucose 2016\n\nThanks to Chris Drake for this!","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/1c77b743bca38b88b50a6cb6d27c1e93c6494477"},{"sha":"1a23901b651271c76776e56d75006e21883c8c60","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing comment in code","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/1a23901b651271c76776e56d75006e21883c8c60"},{"sha":"dccca29de64913d3f3ef08a8f7b9387035c0a40d","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"Fixing printed memory usage\n\nThanks to Martin Maurer for this\n\nCloses #365","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/dccca29de64913d3f3ef08a8f7b9387035c0a40d"},{"sha":"e9688907d92e95a0f8209ac3997f3771165285be","author":{"name":"Mate Soos","email":"5ab9de364ee900132915cf692209175f0548c7a9@gmail.com"},"message":"OOps, this multiplication can overflow. Fixing.\n\nThanks to Martin Maurer for finding this one\n\nCloses #366","distinct":true,"url":"https://api.github.com/repos/dfremont/cryptominisat/commits/e9688907d92e95a0f8209ac3997f3771165285be"}]}
{"actor":{"display_login":"dfremont"}}