{"push_id":1154254501,"size":5,"distinct_size":5,"ref":"refs/heads/stable-2.5","head":"405ae1abbc0e9bb67e40a4a0a1522ee336c7042d","before":"12d207527883ddb35512dc6423983e1c7c913d75","commits":[{"sha":"00743123e2b87ff10c56663364f2841f4510422b","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ refactor ] function to put some constraints to sleep","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/00743123e2b87ff10c56663364f2841f4510422b"},{"sha":"e82212f60550919f6253ce01581b076faecc5289","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ new ] added a function to temporarily suspend some constraints\n\nUse case: making sure instance constraints are not needlessly reexamined.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/e82212f60550919f6253ce01581b076faecc5289"},{"sha":"83780723b13f6d5f2708ddf5b4e81d436a7439a7","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ new ] added debug function to print current constraints","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/83780723b13f6d5f2708ddf5b4e81d436a7439a7"},{"sha":"6c494513272063f5787af2054791447657ebd85c","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ instance ] don't retry preexisting instance constraints when checking candidate instance solutions\n\nfixes #1955\nfixes #1952\nfixes #1998","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/6c494513272063f5787af2054791447657ebd85c"},{"sha":"405ae1abbc0e9bb67e40a4a0a1522ee336c7042d","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ fixed #2025 ] distinguish between instance solutions with and without leftover constraints\n\nIt's only safe to compare multiple possible solutions for equality if they all\nhave no leftover constraints.","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/405ae1abbc0e9bb67e40a4a0a1522ee336c7042d"}]}
{"actor":{"display_login":"UlfNorell"}}