{"push_id":2349242330,"size":5,"distinct_size":1,"ref":"refs/heads/UnitsInferenceHack","head":"286117234df60882a38591e4b232b6a7a1ecc432","before":"2865c643545163c354d8d8b4ddfe250274e3a4d0","commits":[{"sha":"c5aa1c9e81b60352b88ebdfa078bc6fb25bf0099","author":{"name":"CharlesZ-Chen","email":"b9f1c45611b41dde2b76580eda0df5b789dbe07c@gmail.com"},"message":"Decoupling constraint kinds with SlotSlotCombo.","distinct":false,"url":"https://api.github.com/repos/jyluo/checker-framework-inference/commits/c5aa1c9e81b60352b88ebdfa078bc6fb25bf0099"},{"sha":"73372312a120081417476dce3ebf432a64956ebd","author":{"name":"Charles Chen","email":"94a766eeee4075a6664ba54a631a3a899c56f74b@gmail.com"},"message":"Merge pull request #158 from opprop/opprop-removeSlotSlot\n\nDecoupling constraint kinds with SlotSlotCombo.","distinct":false,"url":"https://api.github.com/repos/jyluo/checker-framework-inference/commits/73372312a120081417476dce3ebf432a64956ebd"},{"sha":"11dd2ed03d5ea5939aff3245625709e750386f15","author":{"name":"Jeff Luo","email":"cf312f39c7f8920a7c82d95ff92a22bae96ef97b@uwaterloo.ca"},"message":"Merge remote-tracking branch 'opprop/master' into AddArithmeticConstraint\n\n# Conflicts:\n#\tsrc/checkers/inference/solver/backend/encoder/SlotSlotCombo.java","distinct":false,"url":"https://api.github.com/repos/jyluo/checker-framework-inference/commits/11dd2ed03d5ea5939aff3245625709e750386f15"},{"sha":"6a9a5607f10f9067ef97355f7520c3f29f6407ef","author":{"name":"Jeff Luo","email":"cf312f39c7f8920a7c82d95ff92a22bae96ef97b@uwaterloo.ca"},"message":"fix slot slot combo call","distinct":false,"url":"https://api.github.com/repos/jyluo/checker-framework-inference/commits/6a9a5607f10f9067ef97355f7520c3f29f6407ef"},{"sha":"286117234df60882a38591e4b232b6a7a1ecc432","author":{"name":"Jeff Luo","email":"cf312f39c7f8920a7c82d95ff92a22bae96ef97b@uwaterloo.ca"},"message":"Merge branch 'AddArithmeticConstraint' into UnitsInferenceHack","distinct":true,"url":"https://api.github.com/repos/jyluo/checker-framework-inference/commits/286117234df60882a38591e4b232b6a7a1ecc432"}]}
{"actor":{"display_login":"jyluo"}}