{"push_id":1385934088,"size":46,"distinct_size":46,"ref":"refs/heads/econstr","head":"b21d606b8c4b226a8735ff71ed55ad880595e15f","before":"b55ca04eaeaba3b01e6b9f1b98424a4cebae31dc","commits":[{"sha":"0d06d69ffc0436ed326bf3e4c684dc17a4d85dde","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Fix spurious OCaml Warning 56 in TACTIC EXTEND macros.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/0d06d69ffc0436ed326bf3e4c684dc17a4d85dde"},{"sha":"5358515f23d1cd47d4914c55dcf049df858b9dc7","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Better Arguments compatibility.\n\nWith multiple arguments list, repeating the \"/\" modifier used to be\nmandatory. So instead of forbidding it, we issue a deprecation warning.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/5358515f23d1cd47d4914c55dcf049df858b9dc7"},{"sha":"9c52d25ac0badc5ec6eb0eb897219e607c362e83","author":{"name":"Matej Kosik","email":"a1cf9d69e018d6297637b95d4ef747c13bdde5bd@inria.fr"},"message":"updating \".merlin\" file","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/9c52d25ac0badc5ec6eb0eb897219e607c362e83"},{"sha":"df1720bff67889818f8b4856f29ac02540d7f756","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge remote-tracking branch 'github/pr/341' into v8.6\n\nWas PR#341: Better Arguments compatibility.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/df1720bff67889818f8b4856f29ac02540d7f756"},{"sha":"c40331793c6397e6a4185d98a67543c4c1e2cb23","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge branch 'v8.6' into trunk","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/c40331793c6397e6a4185d98a67543c4c1e2cb23"},{"sha":"6b99de706e37c75407373e756e24f2256b848815","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Revert \"Better Arguments compatibility.\"\n\nThis reverts commit 5358515f23d1cd47d4914c55dcf049df858b9dc7.\n\nThe syntax is deprecated in 8.6, so we now remove it from trunk.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/6b99de706e37c75407373e756e24f2256b848815"},{"sha":"ac9dc3f6c7904adefa048f5e62f1409d7553c23c","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Introducing a new EConstr.t type to perform the nf_evar operation on demand.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/ac9dc3f6c7904adefa048f5e62f1409d7553c23c"},{"sha":"12c06ae63229869a9c67e912e047744e10881d61","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: occur_meta.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/12c06ae63229869a9c67e912e047744e10881d61"},{"sha":"373f98d5a052d76c512dce9c6217e528a9a51f4d","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: occur_existential.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/373f98d5a052d76c512dce9c6217e528a9a51f4d"},{"sha":"1e79300a0aa7c0c37112fb20ae89f0370f8b7d0c","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: occur_meta_or_existential.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/1e79300a0aa7c0c37112fb20ae89f0370f8b7d0c"},{"sha":"963ec54c60208531e04447a5ce7575067625e286","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: occur_evar.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/963ec54c60208531e04447a5ce7575067625e286"},{"sha":"2e341615bba5148cb381950c37df882eaba2ac03","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: occur_var.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/2e341615bba5148cb381950c37df882eaba2ac03"},{"sha":"992860f0eeb688009456962b4b6f5016aa59c946","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: local_occur_var.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/992860f0eeb688009456962b4b6f5016aa59c946"},{"sha":"2321e0a0afc9c9e8178b5da580c343881f57518e","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: fold_constr_with_binders.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/2321e0a0afc9c9e8178b5da580c343881f57518e"},{"sha":"f57a5c19077b0178e9287058d0d045a6a3cbcbba","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: collect_metas.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/f57a5c19077b0178e9287058d0d045a6a3cbcbba"},{"sha":"b792836b0c3eabafc06e234235bfa6bf67cea971","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: collect_vars.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/b792836b0c3eabafc06e234235bfa6bf67cea971"},{"sha":"ec26b17e040e4c2713f31f7b0f7e6ab1ce85adf5","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: isGlobalRef.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/ec26b17e040e4c2713f31f7b0f7e6ab1ce85adf5"},{"sha":"74e2521848ac4e8a5e8c2d1d922a5fb9a5dc1140","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: is_template_polymorphic.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/74e2521848ac4e8a5e8c2d1d922a5fb9a5dc1140"},{"sha":"c83828411e1e5a5930cd28a9aab5047213a247eb","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: global_vars","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/c83828411e1e5a5930cd28a9aab5047213a247eb"},{"sha":"39e7e27f0a934f53d7d4a8b2a93bf4d6d01d6358","author":{"name":"Pierre-Marie Pédrot","email":"fbe7eee845793c0822ea4e97f0cbb69fd50e1a51@inria.fr"},"message":"Termops API using EConstr: strip_head_cast.","distinct":true,"url":"https://api.github.com/repos/ppedrot/coq/commits/39e7e27f0a934f53d7d4a8b2a93bf4d6d01d6358"}]}
{"actor":{"display_login":"ppedrot"}}