{"push_id":1310751225,"size":98,"distinct_size":63,"ref":"refs/heads/master","head":"7302742fd4d18c9222323c1e8b2aabc5389ab80f","before":"52c65f5d533ac4a69a1cd159ac6497d98cd73d48","commits":[{"sha":"b6b83fdd2c546ba13038d7c684cf260da18277a9","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"lattice refinement","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/b6b83fdd2c546ba13038d7c684cf260da18277a9"},{"sha":"a1a9f26f83e75a1df2207d9513b36697f9ed4639","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"create classic package","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/a1a9f26f83e75a1df2207d9513b36697f9ed4639"},{"sha":"7b9d38bfda5ad7970f75e47b81acedb35935c1c8","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"add backend solver","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/7b9d38bfda5ad7970f75e47b81acedb35935c1c8"},{"sha":"c94ae1d892ab57c4b77eccc67979ff3cdb4025ed","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"add options for using graph","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/c94ae1d892ab57c4b77eccc67979ff3cdb4025ed"},{"sha":"2375be2cf9d52693130dfe48032d309d44660f74","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"refinement for printing","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/2375be2cf9d52693130dfe48032d309d44660f74"},{"sha":"83937338585532e142be4f94ef12afd0f8dcdb07","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"finish dataflow sat backend","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/83937338585532e142be4f94ef12afd0f8dcdb07"},{"sha":"4012654092ac3a5de090e4c7c6f7bd7a3bf54ca3","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"solve in parallel if graph used","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/4012654092ac3a5de090e4c7c6f7bd7a3bf54ca3"},{"sha":"27df1f449228cdb8e62b63ca68ed8c053a0c7000","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"two qualifier lattice","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/27df1f449228cdb8e62b63ca68ed8c053a0c7000"},{"sha":"094928c1fd4f1056e348d9de0c705e5b60b8de2b","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"add print line","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/094928c1fd4f1056e348d9de0c705e5b60b8de2b"},{"sha":"335d02a03562e4f1adc67152280dfa016ec8abb0","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"change package path","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/335d02a03562e4f1adc67152280dfa016ec8abb0"},{"sha":"2b7dfb24b9cdf22a7b731c2c3e03d94cbb45d7bc","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"use lattice for 2","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/2b7dfb24b9cdf22a7b731c2c3e03d94cbb45d7bc"},{"sha":"e84bae7f1fe7ea9789985d82bbd3b754a6a478e5","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"merge dataflow solver into backend","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/e84bae7f1fe7ea9789985d82bbd3b754a6a478e5"},{"sha":"f9d7f88ccc589e310c455776f9d7c54954352d14","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"remove ontology","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/f9d7f88ccc589e310c455776f9d7c54954352d14"},{"sha":"393a211275d6254978c78eb6a6f23759913a9c54","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"Merge remote-tracking branch 'upstream/lattice' into newfeature","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/393a211275d6254978c78eb6a6f23759913a9c54"},{"sha":"f8ab78f79863a0e8b434abcb8ecc18121240be50","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"update readme","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/f8ab78f79863a0e8b434abcb8ecc18121240be50"},{"sha":"9a73020357ea7cb784659d6524ae604201e7eece","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"updates README","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/9a73020357ea7cb784659d6524ae604201e7eece"},{"sha":"acd524d215e1d17e8167bf1749924d477148571f","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"updates","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/acd524d215e1d17e8167bf1749924d477148571f"},{"sha":"d06f4a54037d83256db95574f8dc95cca63e3e99","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"updates READme","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/d06f4a54037d83256db95574f8dc95cca63e3e99"},{"sha":"12d5d9d0353a4a2a8a29e127c891405a654b886f","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"update readme","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/12d5d9d0353a4a2a8a29e127c891405a654b886f"},{"sha":"d7474bf9147d48fed9ef46a0c86ae63dfdc25e17","author":{"name":"Jianchu","email":"2f0530874b57267216a27028785ad1a45418d5ac@gmail.com"},"message":"update","distinct":false,"url":"https://api.github.com/repos/opprop/generic-type-inference-solver/commits/d7474bf9147d48fed9ef46a0c86ae63dfdc25e17"}]}
{"actor":{"display_login":"CharlesZ-Chen"}}