{"push_id":779667497,"size":38,"distinct_size":38,"ref":"refs/heads/master","head":"8e4e45617078a6e0c8a68e25dad49e42c24ca5f4","before":"dd96fa87280ff8d5cc8e8924448eb1d22d196425","commits":[{"sha":"a9b402bd08ee1ac09d3e7a2a269fe18006c737c6","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Not using this option, removing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/a9b402bd08ee1ac09d3e7a2a269fe18006c737c6"},{"sha":"1c8ab3d81f4d38dcf23e46d92462a83fad38091d","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Fixing grammar","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/1c8ab3d81f4d38dcf23e46d92462a83fad38091d"},{"sha":"8b0f0b982963fe67bda32788ee66b6bd677f9f49","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Don't run conflicts when preprocessing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/8b0f0b982963fe67bda32788ee66b6bd677f9f49"},{"sha":"9a12c86c30cf180eb1a6d89bb38848730437479a","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Don't print statistics while preprocessing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/9a12c86c30cf180eb1a6d89bb38848730437479a"},{"sha":"2a00bb4a1fcb835dfddc14d6c4da195a71003964","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Component finding (not handling) is useless. Removing.","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/2a00bb4a1fcb835dfddc14d6c4da195a71003964"},{"sha":"771e7c82c87223cc501e6af1d6cbf3f782cdade3","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Don't accept debugLib when pre/post processing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/771e7c82c87223cc501e6af1d6cbf3f782cdade3"},{"sha":"4c855c835d95a2ce1f8dec2d253a40b943b2d425","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Removing unused and untested function","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/4c855c835d95a2ce1f8dec2d253a40b943b2d425"},{"sha":"5e62e34fa7dbc236dd1d0f31ee3100fbf57aa854","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Don't solve at all on preprocess. No need to limit conflicts.","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/5e62e34fa7dbc236dd1d0f31ee3100fbf57aa854"},{"sha":"0d87c195c9f98f78f503cbfc1a8e318a41861a7b","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Taking normal simp/occsimp schedule  when simplifiying\n\nAlso, renaming schedule name, renaming schedule variable","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/0d87c195c9f98f78f503cbfc1a8e318a41861a7b"},{"sha":"296d2c3a95be8a2259ad1a7437d8995c914da307","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Don't give normal schedules when preprocess-fuzzing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/296d2c3a95be8a2259ad1a7437d8995c914da307"},{"sha":"25f2c932983f4800e2d483b86820a7f8ee330d46","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Removing debug code","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/25f2c932983f4800e2d483b86820a7f8ee330d46"},{"sha":"0a1483082aeed165eb2ed00dc59ddb052e17d21d","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"The model should really be resized here I think\n\nOtherwise we might not be able to accomodate for the solution?","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/0a1483082aeed165eb2ed00dc59ddb052e17d21d"},{"sha":"659b38d71df04aa4625cef79f57f02b7371ee2d9","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Use positional arguments for solution and simplified CNF","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/659b38d71df04aa4625cef79f57f02b7371ee2d9"},{"sha":"10da0258486068969479ea7417641c6cc37fe54a","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Fixing up the fuzzer","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/10da0258486068969479ea7417641c6cc37fe54a"},{"sha":"595e25887ea0d0ac2af2546ea00deb4304a48e4e","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Two levels of help, 3 levels of stats, less help+stat by default","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/595e25887ea0d0ac2af2546ea00deb4304a48e4e"},{"sha":"5f592cdc8f132c32fe7295f659b94b7a552cb6b6","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Removing existing file checks","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/5f592cdc8f132c32fe7295f659b94b7a552cb6b6"},{"sha":"9ece93138a36f1ca985c5a94b55c72eeae141242","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Moving --reconf to hidden options. Not needed for average user","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/9ece93138a36f1ca985c5a94b55c72eeae141242"},{"sha":"fc4c17da04b6c71ac06d999a7e0889e214c20faf","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Using elim ratio 1.0 on preprocessing","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/fc4c17da04b6c71ac06d999a7e0889e214c20faf"},{"sha":"9f9868a7e1ae245f4a083fe069c81a80ac7a227a","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Adding global timeout multiplier option","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/9f9868a7e1ae245f4a083fe069c81a80ac7a227a"},{"sha":"20d38abb20e21bbdbb544619b497395b83b101ae","author":{"email":"8641df67a9b89e37afece0ff9369bb68ee7428ba@gmail.com","name":"Mate Soos"},"message":"Renaming preprocessing option","distinct":true,"url":"https://api.github.com/repos/msoos/cryptominisat/commits/20d38abb20e21bbdbb544619b497395b83b101ae"}]}