{"push_id":687813114,"size":783,"distinct_size":783,"ref":"refs/heads/master","head":"89c19be300d89a98f5ed62a9121f11f213f2723a","before":"e9c96d40c4a271d46f9fd602ec3fa31df058308c","commits":[{"sha":"663b6709761ad8d41b53ed63ea854a152be56042","author":{"email":"12e9293ec6b30c7fa8a0926af42807e929c1684f@octarineparrot.com","name":"Robert Clipsham"},"message":"Add `until` function to prelude.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/663b6709761ad8d41b53ed63ea854a152be56042"},{"sha":"95e42228f41b919425f130611955db79990149fc","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added static analysis to C RTS","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/95e42228f41b919425f130611955db79990149fc"},{"sha":"42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added `then` to bash if","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20"},{"sha":"a54ea34af8d032cc33a1c4b4f9b83a29699e405f","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added more options to cppcheck\n\nAdded multithreads (since Travis supports 1.5) and enabled all reporting.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/a54ea34af8d032cc33a1c4b4f9b83a29699e405f"},{"sha":"173703d2b7468f27da988b5576cf844c0b0f5d88","author":{"email":"38c09e6d17f103ddc71e256f1e270ff8753213c3@itu.dk","name":"Sune Alkærsig"},"message":"Added new (co)record syntax.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/173703d2b7468f27da988b5576cf844c0b0f5d88"},{"sha":"6f0aff3e22274d4418c4c34b25bfabc276a5cbe9","author":{"email":"38c09e6d17f103ddc71e256f1e270ff8753213c3@itu.dk","name":"Sune Alkærsig"},"message":"Updated standard library to new record syntax.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/6f0aff3e22274d4418c4c34b25bfabc276a5cbe9"},{"sha":"d6d07ff197b082bf4e25e6daaede73aa193a977e","author":{"email":"c00a3057e1daef83aec2643d3987f592fd7bb1de@ualberta.ca","name":"Calvin Beck"},"message":"GC check allocation of new heap.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/d6d07ff197b082bf4e25e6daaede73aa193a977e"},{"sha":"8f9ac37a02af2d45c2ca52c6a37076eafecd4166","author":{"email":"c00a3057e1daef83aec2643d3987f592fd7bb1de@ualberta.ca","name":"Calvin Beck"},"message":"Generalized alloc_heap so it could be reused for garbage collection.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/8f9ac37a02af2d45c2ca52c6a37076eafecd4166"},{"sha":"681d876dfdd0b3360a1e6e1df5037da80c2e3ed8","author":{"email":"38c09e6d17f103ddc71e256f1e270ff8753213c3@itu.dk","name":"Sune Alkærsig"},"message":"Merge branch 'master' into agda-style-records","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/681d876dfdd0b3360a1e6e1df5037da80c2e3ed8"},{"sha":"b5372b52e15971c750950a5c5e2fbe8e39f715c9","author":{"email":"38c09e6d17f103ddc71e256f1e270ff8753213c3@itu.dk","name":"Sune Alkærsig"},"message":"Removed argument customization for now.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/b5372b52e15971c750950a5c5e2fbe8e39f715c9"},{"sha":"05bc59477f9efe62973a9ff26ad80ac4ff9f3727","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Add Quotable changes to CHANGELOG","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/05bc59477f9efe62973a9ff26ad80ac4ff9f3727"},{"sha":"5ea6aa0520ae9927d2467a4553e8c64a4a4ca17c","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Address semantic differences in putting things to STDOUT.\n\nThe changes are as follows:\n\n+ `print` is for putting showable things to STDOUT.\n+ `printLn` is for putting showable things to STDOUT with a new line\n+ `putCharLn` for putting a single character to STDOUT, with a new line.\n\nEffects has been updated accordingly.","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/5ea6aa0520ae9927d2467a4553e8c64a4a4ca17c"},{"sha":"ec617e8f06c89af5d1afbaa15458a801681261f5","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Updated changelog","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/ec617e8f06c89af5d1afbaa15458a801681261f5"},{"sha":"e39a9a2bc9c104cd97e614f46609fe967491ff7e","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/origin/wip/tactical' into wip/tactical\n\nConflicts:\n\tCHANGELOG","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/e39a9a2bc9c104cd97e614f46609fe967491ff7e"},{"sha":"2d205a610d5c439262c48715b219d5a3a218d2cc","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: basic plumbing of types and parsing","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/2d205a610d5c439262c48715b219d5a3a218d2cc"},{"sha":"17743d44ac28b4b50bda2bb98b0617e6e83c8959","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: let elabInstance add docstrings to context","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/17743d44ac28b4b50bda2bb98b0617e6e83c8959"},{"sha":"3d7aba56c85420a5e10ffa44152c2678a3cdf574","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: show in :doc output","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/3d7aba56c85420a5e10ffa44152c2678a3cdf574"},{"sha":"5ca59ef1106cd012371494e0b280d0a998bfb02b","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: haddocks grammar","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/5ca59ef1106cd012371494e0b280d0a998bfb02b"},{"sha":"642efb3386dda59c9d96d5b644ef32391f1201d8","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: Update CHANGELOG and CONTRIBUTORS","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/642efb3386dda59c9d96d5b644ef32391f1201d8"},{"sha":"df1a933aaccac9e5c93a62de7a47cd8e7a1bab05","author":{"email":"0e18f44c1fec03ec4083422cb58ba6a09ac4fb2a@sandbergericsson.se","name":"Adam Sandberg Eriksson"},"message":"Instance docs: factor away unnecessary try:s","distinct":true,"url":"https://api.github.com/repos/joneshf/Idris-dev/commits/df1a933aaccac9e5c93a62de7a47cd8e7a1bab05"}]}