{"push_id":614091751,"size":177,"distinct_size":2,"ref":"refs/heads/guarded-recursion","head":"37390bd2cf52e7bc8587615e4ecf482ccbfb149e","before":"a53805525b0ebbb96c0a3901d139b60af6ae2f56","commits":[{"sha":"95e42228f41b919425f130611955db79990149fc","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added static analysis to C RTS","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/95e42228f41b919425f130611955db79990149fc"},{"sha":"42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20","author":{"email":"17a3c6b449600b29b116c46196a4a7a295bcf2cd@itu.dk","name":"Ahmad Salim Al-Sibahi"},"message":"Added `then` to bash if","distinct":false,"url":"https://api.github.com/repos/tdidriksen/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":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/a54ea34af8d032cc33a1c4b4f9b83a29699e405f"},{"sha":"d6d07ff197b082bf4e25e6daaede73aa193a977e","author":{"email":"c00a3057e1daef83aec2643d3987f592fd7bb1de@ualberta.ca","name":"Calvin Beck"},"message":"GC check allocation of new heap.","distinct":false,"url":"https://api.github.com/repos/tdidriksen/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":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/8f9ac37a02af2d45c2ca52c6a37076eafecd4166"},{"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":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/5ea6aa0520ae9927d2467a4553e8c64a4a4ca17c"},{"sha":"ec617e8f06c89af5d1afbaa15458a801681261f5","author":{"email":"a4eaabc11dc4833f27bedf2b299f4f614ec4575f@st-andrews.ac.uk","name":"Jan de Muijnck-Hughes"},"message":"Updated changelog","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/ec617e8f06c89af5d1afbaa15458a801681261f5"},{"sha":"45ef64928fa2f8be1dc5b203144cb3d78357a887","author":{"email":"5c5d862a8a9900841f26497f90cdb67ab2b6fdc0@uwaterloo.ca","name":"Mark Farrell"},"message":"Data.Graph & Data.Polyhedra\n\nSigned-off-by: Mark Farrell <m4farrel@uwaterloo.ca>","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/45ef64928fa2f8be1dc5b203144cb3d78357a887"},{"sha":"b0c03c1fb984907b3fcf998dd20f5034f9515586","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysis","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/b0c03c1fb984907b3fcf998dd20f5034f9515586"},{"sha":"e4358f0966f02242944f61b5197699d71b853d8b","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Fix cppcheck error and make more robust\n\ncppcheck now excludes imported library code from other projects and (for\nnow) the Windows RTS. Everything also passes, so #1907 is superseded and\nfulfilled.","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/e4358f0966f02242944f61b5197699d71b853d8b"},{"sha":"15ab5d59e22a5017e82a1c870e5416d9c95c6887","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Better error message for qed in expressions\n\nThe \"qed\" tactic is really more of a prover command than a tactic per\nse. This patch makes it so that the user is informed of this, rather\nthan having the system throw an internal error.\n\nFixes #1790.","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/15ab5d59e22a5017e82a1c870e5416d9c95c6887"},{"sha":"db5b385e13075c3678f86bba9285a4be529d7ce3","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Initial reorganization into contrib","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/db5b385e13075c3678f86bba9285a4be529d7ce3"},{"sha":"30fe3d7c0328e00aa36a94a3140a5c870412dbcc","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Update cabal file for reorganization","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/30fe3d7c0328e00aa36a94a3140a5c870412dbcc"},{"sha":"cfbb866f0c9edd77f2bd6ad0891f72b1e02a9f71","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2006 from david-christiansen/issue/1790\n\nBetter error message for qed in expressions","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/cfbb866f0c9edd77f2bd6ad0891f72b1e02a9f71"},{"sha":"a39fef32c155648ad53bdf473bbe25355d353e8c","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'fix/print-semantics' of https://github.com/jfdm/Idris-dev into jfdm-fix/print-semantics\n\nConflicts:\n\tCHANGELOG","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/a39fef32c155648ad53bdf473bbe25355d353e8c"},{"sha":"bf8dbc91dcac04a77952b95096e37065c5d4be68","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge branch 'jfdm-fix/print-semantics'","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/bf8dbc91dcac04a77952b95096e37065c5d4be68"},{"sha":"147352c99f39825febaa2434007200b52afb9666","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/147352c99f39825febaa2434007200b52afb9666"},{"sha":"e6d1cfdf9b682d975123a4981c41e2029d147b1f","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"(.) should reduce with only two arguments","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/e6d1cfdf9b682d975123a4981c41e2029d147b1f"},{"sha":"88623c71ead55edd99a4970bcaa2d9b0ab01949f","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Give Travis's cppcheck an explicit file list","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/88623c71ead55edd99a4970bcaa2d9b0ab01949f"},{"sha":"b4938580b25be56b22246d51acb5f53aeb2c3257","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Add -f execonly to omit library/rts builds\n\nThis reduces the compile/test cycle time in development when there's no\neffect on the libraries.","distinct":false,"url":"https://api.github.com/repos/tdidriksen/Idris-dev/commits/b4938580b25be56b22246d51acb5f53aeb2c3257"}]}