{"push_id":785693054,"size":10,"distinct_size":9,"ref":"refs/heads/wip/tactical","head":"70d197efd4b61e96749a092d2b07235b4e673763","before":"6d426003aec237da034c1cb0c2d93be70b510ae0","commits":[{"sha":"85642503343807c8be63ab6c5fd2d7741d7db390","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Allow pattern matching on BitX constants","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/85642503343807c8be63ab6c5fd2d7741d7db390"},{"sha":"73c6bb4e9623a0e42b35d44d5d9a6d4cb1909aee","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2592 from melted/bit-pattern\n\nAllow pattern matching on BitX constants","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/73c6bb4e9623a0e42b35d44d5d9a6d4cb1909aee"},{"sha":"98eb1af0b61bcaae72b60fbd6d24fa206d761b2b","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Add exe to windows executables without extension when cleaning.\n\nSo if it already has .exe, .js or something else it will not\nbe added.\n\nFixes #2568","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/98eb1af0b61bcaae72b60fbd6d24fa206d761b2b"},{"sha":"c6acf7fe31387c661436e2ae7698d17203fa2092","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2593 from melted/issue-2568\n\nAdd exe to windows executables without extension when cleaning.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/c6acf7fe31387c661436e2ae7698d17203fa2092"},{"sha":"1cdc9ddfdcab69c7adf598af438361b012846188","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Reduce space leak through ugly DeepSeq hack\n\nThe space leak documented in issue #2386 is helped by forcing the state\nin a few places. Now, with the empty module, no space leak occurs, while\nit grows by about 1 MB per 200 reloads with a large module. While\ndeepseqing the state is a hack, and should be better, I've not yet\nimproved on this and it does make Idris usable for repeated reloads of\nlarge modules when using the interactive editing features.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/1cdc9ddfdcab69c7adf598af438361b012846188"},{"sha":"d846ce79de2957e7b33b6477a408c3c6d983b078","author":{"email":"1f3ac396a798c6fbfbd72d369e7f4ba81ec48431@googlemail.com","name":"Melvar Chen"},"message":"Make test totality010 work when ncurses is enabled","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/d846ce79de2957e7b33b6477a408c3c6d983b078"},{"sha":"52dd3090ed7806cf65741f73b0852bb3190802cb","author":{"email":"1f3ac396a798c6fbfbd72d369e7f4ba81ec48431@googlemail.com","name":"Melvar Chen"},"message":"Make chr check for the correct range","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/52dd3090ed7806cf65741f73b0852bb3190802cb"},{"sha":"1f8944f6da207da96a1acd75087a4af401c61b78","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2594 from david-christiansen/various-updates\n\nUpdates and fixes","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/1f8944f6da207da96a1acd75087a4af401c61b78"},{"sha":"0600e99ee9f7be1052a2d641af1bfedf60dec94b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2596 from Melvar/fix-chr\n\nMake chr check for the correct range","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/0600e99ee9f7be1052a2d641af1bfedf60dec94b"},{"sha":"70d197efd4b61e96749a092d2b07235b4e673763","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2595 from Melvar/fix-tests\n\nMake test totality010 work when ncurses is enabled","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/70d197efd4b61e96749a092d2b07235b4e673763"}]}