{"push_id":1350326927,"size":791,"distinct_size":256,"ref":"refs/heads/master","head":"6ef1b6295d396c874c8cd7d1fd750b9334d85e98","before":"7602c2b75c142193aa2dd26e797aacf89ab2c7fa","commits":[{"sha":"0e9277dbbfccf14845c02d2e629620731328f6fa","author":{"name":"Liam O'Connor","email":"5eb540aa97c969f613629705673cfb900b798cc2@cse.unsw.edu.au"},"message":"Add unicode syntax for idiom brackets.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/0e9277dbbfccf14845c02d2e629620731328f6fa"},{"sha":"fdaeff73aa38700e41e60d73233c1ba7c5b2a245","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"[ pfp ] #1963 post-fix projections (no interactive splitting yet)","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/fdaeff73aa38700e41e60d73233c1ba7c5b2a245"},{"sha":"60ef16e0fc54d7e517273d803874a4722b2d327c","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 added ProjOrigin field to Proj and ProjP\n\nResult splitting now produces post-fix projections.\nExisting pre-fix projections are preserved.\n\nIf splitting introduced an operator, operator syntax is unfortunately\nnot used; instead just post-fix notation of the projection with holes.\n\nDate:      Fri Jun 10 15:32:44 2016 +0200","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/60ef16e0fc54d7e517273d803874a4722b2d327c"},{"sha":"0dab208e55dfb4e89de3b732e6f008216854f01b","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 use *fix projections *fix on lhss after splitting\n\nbla f      instead of  f ._bla\n< f >safe  instead of  f .<_>safe","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/0dab208e55dfb4e89de3b732e6f008216854f01b"},{"sha":"a3921cf2d0ff4fe265e3027d6fbb2a28d0bd2812","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 with clauses should follow parent clauses in copattern style\n\nEither both prefix, or both postfix.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/a3921cf2d0ff4fe265e3027d6fbb2a28d0bd2812"},{"sha":"513e7a6be0b3d8d033b3e150d4f38282e6d8b46b","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 test for display forms with postfix copatterns","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/513e7a6be0b3d8d033b3e150d4f38282e6d8b46b"},{"sha":"ca8648db1f47573c64aff97e6989fcd3ff8c7c59","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 printing postfix projections postfix\n\nWe add a new option\n\n  --postfix-projections\n\nto set the default printing of system-generated projections (ProjSystem,\ne.g. in eta-expansions) to postfix.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/ca8648db1f47573c64aff97e6989fcd3ff8c7c59"},{"sha":"f58ff13f41d0d7ae40bd5b671bfbfc5c736d7746","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Fixed #1963 finally!  Successful tests","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/f58ff13f41d0d7ae40bd5b671bfbfc5c736d7746"},{"sha":"73c6cda0074bcbe992e7d62b550346337adf4033","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 case splitting now produces prefix-projections unless --postfix-projections\n\nFor backwards compatibility.  We do not want to force users to the new style.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/73c6cda0074bcbe992e7d62b550346337adf4033"},{"sha":"e43d2ba219a8c1b4f1b897dc999f5828cf4c8836","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Re #1963 release notes for postfix projections","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/e43d2ba219a8c1b4f1b897dc999f5828cf4c8836"},{"sha":"321551f25fa90ed527891411551fe00266e89851","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Revert \"Fix build issue (sphinx v1.4.5) in user-manual\"\n\nThis reverts commit cc2feb9064895245fa2b5024fee4e143de046b11.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/321551f25fa90ed527891411551fe00266e89851"},{"sha":"6311c111d57e25afdfa890e633a9a0066207a7de","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"[ doc ] Raised `docutils` requirement to 0.12.\n\nTesting if it fix the problem rendering the following table (from\nuser-manual/tools/emacs-mode.rst) in\nhttp://agda.readthedocs.io/en/latest/tools/emacs-mode.html:\n\n+----------+-----------+-------------------+-------------+\n| Hex code | Character | Short key-binding | TeX command |\n+==========+===========+===================+=============+\n| 2081     | ``₁``     | ``\\_1``           |             |\n+----------+-----------+-------------------+-------------+\n| 2082     | ``₂``     | ``\\_2``           |             |\n+----------+-----------+-------------------+-------------+\n| 2083     | ``₃``     | ``\\_3``           |             |\n+----------+-----------+-------------------+-------------+\n| 2084     | ``₄``     | ``\\_4``           |             |\n+----------+-----------+-------------------+-------------+\n| 2096     | ``ₖ``    | ``\\_k``           |             |\n+----------+-----------+-------------------+-------------+\n| 2098     | ``ₘ``    | ``\\_m``           |             |\n+----------+-----------+-------------------+-------------+\n| 2099     | ``ₙ``    | ``\\_n``           |             |\n+----------+-----------+-------------------+-------------+","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/6311c111d57e25afdfa890e633a9a0066207a7de"},{"sha":"7a33ab707ec52c9c81fe1e07d2b66c0b7a20ac2c","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Revert \"[ doc ] Raised `docutils` requirement to 0.12.\"\n\nThis reverts commit 6311c111d57e25afdfa890e633a9a0066207a7de.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/7a33ab707ec52c9c81fe1e07d2b66c0b7a20ac2c"},{"sha":"ccd951ee8dc6558938ff843d2efc53a3b52c301a","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Revert \"Revert \"Fix build issue (sphinx v1.4.5) in user-manual\"\"\n\nThis reverts commit 321551f25fa90ed527891411551fe00266e89851.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/ccd951ee8dc6558938ff843d2efc53a3b52c301a"},{"sha":"8753b41c7699ca7d6005e971ddc08c6f2c921d4e","author":{"name":"Andrés Sicard-Ramírez","email":"4fd2a2bbee0492b8019f3f1d5524058ed3997723@eafit.edu.co"},"message":"Merge remote-tracking branch 'origin/stable-2.5'","distinct":true,"url":"https://api.github.com/repos/carlostome/agda/commits/8753b41c7699ca7d6005e971ddc08c6f2c921d4e"},{"sha":"4334a12be5f0403acdff9acc9587dfef81ea2e24","author":{"name":"Víctor López Juan","email":"62d658e79284206e227acf976630b146e3692bf0@lopezjuan.com"},"message":"Bump Python version for doc CI test to 3.5. Fixes build.","distinct":false,"url":"https://api.github.com/repos/carlostome/agda/commits/4334a12be5f0403acdff9acc9587dfef81ea2e24"},{"sha":"ad74942d9f565621d1143533a90ec99347a30f8d","author":{"name":"Víctor López Juan","email":"62d658e79284206e227acf976630b146e3692bf0@lopezjuan.com"},"message":"Merge branch 'origin-agda-stable-2.5' into origin-agda-master","distinct":true,"url":"https://api.github.com/repos/carlostome/agda/commits/ad74942d9f565621d1143533a90ec99347a30f8d"},{"sha":"e40883607d60434df40f5d0e6945d834d10f949d","author":{"name":"Miikka Koskinen","email":"68e6c406775d4ae05cbf33a5c9099fb79494cdaa@iki.fi"},"message":"Run compiler tests against JS backend with Node.js\n\n* JS backend now generates Node-compatible modules (Common.js) instead\n  of AMD modules. This is a backwards-incompatible change, but at the\n  moment the JS backend does not seem to work very well anyway. If you\n  want to use the generated modules in the browser, you need to process\n  them with a tool like Browserify <http://browserify.org>.\n\n* I've provided COMPILED_JS annotations for String and List primitives\n  to make at least one test work. Primitives for something like Int\n  probably need a bit more thought, so I've ignored them for now.\n\n* The JS tests are whitelisted for now, because most of them are broken\n  due to the lack of JS primitives and JS backend bugs. Ideally the\n  broken ones should be blacklisted.\n\nThe code uses very basic features of Node, so I believe it should work\nwith even ancient versions of Node.","distinct":true,"url":"https://api.github.com/repos/carlostome/agda/commits/e40883607d60434df40f5d0e6945d834d10f949d"},{"sha":"2e2b1e3c3bf511a237a4315e3d94ac50a0957d34","author":{"name":"Philipp Hausmann","email":"1bddda1e84acacf92e8066834359330345d0352e@314.ch"},"message":"Add nodejs to Nix build file","distinct":true,"url":"https://api.github.com/repos/carlostome/agda/commits/2e2b1e3c3bf511a237a4315e3d94ac50a0957d34"},{"sha":"41f70dbee182ff449cf147f76e08a49fe0db0489","author":{"name":"Philipp Hausmann","email":"1bddda1e84acacf92e8066834359330345d0352e@314.ch"},"message":"Install nodejs on Travis.","distinct":true,"url":"https://api.github.com/repos/carlostome/agda/commits/41f70dbee182ff449cf147f76e08a49fe0db0489"}]}
{"actor":{"display_login":"carlostome"}}