{"push_id":1289725763,"size":121,"distinct_size":121,"ref":"refs/heads/develop","head":"176590369428541fc687d48dcecafb0411fdd457","before":"beabcc31ef7284b4c4c774dbaa155466ece18fd4","commits":[{"sha":"6006aaf9a5f8c9beec4958864a22969c74324b1d","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Add Sequent structures necessary for propositional logic","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/6006aaf9a5f8c9beec4958864a22969c74324b1d"},{"sha":"b2a55d51719a4e956fc07c85968c59a2d9903d13","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Enrich UnitSequent and VarSeqSequent","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/b2a55d51719a4e956fc07c85968c59a2d9903d13"},{"sha":"b14c6e30d272d297296900d743bfcb8bc5816cee","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Add type aliases for algorithm.prover package","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/b14c6e30d272d297296900d743bfcb8bc5816cee"},{"sha":"2082584b2e0848923699dd245ef910e4848de874","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Add CNF structure with two-watched literal","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/2082584b2e0848923699dd245ef910e4848de874"},{"sha":"85f219c04e03ca5867d42274a2035f054a0290c3","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Add documentation for Cnf","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/85f219c04e03ca5867d42274a2035f054a0290c3"},{"sha":"55692729312c50c4f7c0d6a4f8f7997a8f201287","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Introduce DecisionLevel, ConflictAnalyser and LiteralChooser\n\nAlso added simple implementations for them","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/55692729312c50c4f7c0d6a4f8f7997a8f201287"},{"sha":"5c2a87523d44d5f7213ac4d6e2d176a18ca21672","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Refactor Cnf::assignLiteral\n\nIt's nearly beautiful now","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/5c2a87523d44d5f7213ac4d6e2d176a18ca21672"},{"sha":"48b0656de0c065726c75d7a6b80541957f9a09c5","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Implement CDCL algorithm\n\nAlso added some tests for it","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/48b0656de0c065726c75d7a6b80541957f9a09c5"},{"sha":"96b722e46e4aadd7f6f7cd8a86a01d2f6e50390b","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Introduce immutable Cnf as an input for CDCL","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/96b722e46e4aadd7f6f7cd8a86a01d2f6e50390b"},{"sha":"2ca6138c121a03d24039bd4c91ec454a29c4d12f","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Rename Cnf to CNF and assessment to assignment","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/2ca6138c121a03d24039bd4c91ec454a29c4d12f"},{"sha":"5af38a82f79ecf9af75cbf1b3817ef48ca80223f","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Replace redundant classes with some implicit conversions\n\nThey didn't provide any new functionality and just added some\ntype safety, though it will be pretty hard to use it. So I replaced\nit with some neat implicit conversions.","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/5af38a82f79ecf9af75cbf1b3817ef48ca80223f"},{"sha":"adcf1bae6d0aa6c94660b533299fcc08bc0aa867","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Merge branch 'develop' of https://github.com/Paradoxika/Skeptik into cr-implementation","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/adcf1bae6d0aa6c94660b533299fcc08bc0aa867"},{"sha":"6d06ac0c3c847ce7442756e2d214ad27d2072406","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Implement Unit-Propagation Resolution rule","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/6d06ac0c3c847ce7442756e2d214ad27d2072406"},{"sha":"6aea838cd2ae399d7de3cb9d1c849acc7dbc0d02","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Move some general implicits to prover package","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/6aea838cd2ae399d7de3cb9d1c849acc7dbc0d02"},{"sha":"9f72b2143ccd6a65659bbcd22491030a6ed2c0e9","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Implement Conflict rule","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/9f72b2143ccd6a65659bbcd22491030a6ed2c0e9"},{"sha":"fd7159cba048a0a5de8bfa89f0e7cc00b0aed8a5","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Remove redundant implicit variables","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/fd7159cba048a0a5de8bfa89f0e7cc00b0aed8a5"},{"sha":"be718425ec8b47615959c1e195c492a7ad893a35","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Implement resolution procedure for FOL with BFS strategy","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/be718425ec8b47615959c1e195c492a7ad893a35"},{"sha":"4a813d43ca9cfc47ea39604016d9b55672d284de","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Ensure that combinations generation is lazy","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/4a813d43ca9cfc47ea39604016d9b55672d284de"},{"sha":"a0e344c137690cb9ad71a33bf362f3917442be60","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"Prettify code: add comments and little refactor","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/a0e344c137690cb9ad71a33bf362f3917442be60"},{"sha":"d2c8aa1631994ba90ed97d469e8d9932d2054360","author":{"name":"itegulov","email":"9340f104453cf4c042d970aee84d46cf7f931c74@gmail.com"},"message":"New clauses shouldn't be contained in previous levels","distinct":true,"url":"https://api.github.com/repos/jgorzny/Skeptik/commits/d2c8aa1631994ba90ed97d469e8d9932d2054360"}]}
{"actor":{"display_login":"jgorzny"}}