{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":76549478,"defaultBranch":"master","name":"speculate","ownerLogin":"rudymatela","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-15T10:21:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3999598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707816912.0","currentOid":""},"activityList":{"items":[{"before":"6c2630d85b322cc5662755961f7fcca9cfde71af","after":"5ef82d34778f9ccd908bda98224d278bf401882e","ref":"refs/heads/master","pushedAt":"2024-02-13T12:37:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"run \"make bench\" on lapmatrud","shortMessageHtmlLink":"run \"make bench\" on lapmatrud"}},{"before":"33aeb91cef9e42912ba895750d3f1011b566c5e6","after":"6c2630d85b322cc5662755961f7fcca9cfde71af","ref":"refs/heads/master","pushedAt":"2024-02-13T10:41:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update TODO list","shortMessageHtmlLink":"update TODO list"}},{"before":"0d9664cdb96097d117be3e5d78c7cb728e0094e2","after":"33aeb91cef9e42912ba895750d3f1011b566c5e6","ref":"refs/heads/master","pushedAt":"2024-02-13T09:35:08.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"dev version bump","shortMessageHtmlLink":"dev version bump"}},{"before":"8857f5f333405379ead1c3601a263b5acafd9d6d","after":"0d9664cdb96097d117be3e5d78c7cb728e0094e2","ref":"refs/heads/master","pushedAt":"2024-02-13T09:17:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"consider & uni: partly revert to v0.4.16 behaviour\n\nIn consider we only use the normalization if it reduces the number of\nvariables, otherwise the equivalencesBetween are from the standard term.\n(Part reversal: sometimes till _will_ use the normalization)\n\nIn criticalPairs / overlaps, we use the regular syntactic unification\nand not syntactic unification modulo commutativity.\n(Full reversal)","shortMessageHtmlLink":"consider & uni: partly revert to v0.4.16 behaviour"}},{"before":"9f15d7cbc7b3cd0f1a16c5b0707745393efe7b34","after":"8857f5f333405379ead1c3601a263b5acafd9d6d","ref":"refs/heads/master","pushedAt":"2024-02-12T16:45:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"reductions1: use where clause","shortMessageHtmlLink":"reductions1: use where clause"}},{"before":"d6c83a90ede52f8705493229139555b682822ca7","after":"9f15d7cbc7b3cd0f1a16c5b0707745393efe7b34","ref":"refs/heads/master","pushedAt":"2024-02-12T15:37:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: add targets to facilitate testing","shortMessageHtmlLink":"Makefile: add targets to facilitate testing"}},{"before":"6517462634fd9eaaea65b593696f8cdc022d263a","after":"d6c83a90ede52f8705493229139555b682822ca7","ref":"refs/heads/master","pushedAt":"2024-02-12T14:13:10.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"dev version bump","shortMessageHtmlLink":"dev version bump"}},{"before":"f85013467606cd541de70fffff90b85b1c594ef6","after":"6517462634fd9eaaea65b593696f8cdc022d263a","ref":"refs/heads/master","pushedAt":"2024-02-12T13:57:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"changelog: add upcoming section","shortMessageHtmlLink":"changelog: add upcoming section"}},{"before":"9a7ea0860d28cb91347214ca345bfa7c3a25a056","after":"f85013467606cd541de70fffff90b85b1c594ef6","ref":"refs/heads/master","pushedAt":"2024-02-12T11:43:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"bump copyright notices to 2024","shortMessageHtmlLink":"bump copyright notices to 2024"}},{"before":"ba63642638dd69b19a8d26c05b66df01f6b9d780","after":"9a7ea0860d28cb91347214ca345bfa7c3a25a056","ref":"refs/heads/master","pushedAt":"2024-02-12T10:48:48.000Z","pushType":"push","commitsCount":14,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"ignore a lint","shortMessageHtmlLink":"ignore a lint"}},{"before":"f679940aaf7b5ad14472de9422bfe54611973e0d","after":"ba63642638dd69b19a8d26c05b66df01f6b9d780","ref":"refs/heads/master","pushedAt":"2024-02-10T12:32:01.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Makefile: add and use BENCH variable\n\n... and make so that slow benchmarks are run first","shortMessageHtmlLink":"Makefile: add and use BENCH variable"}},{"before":"d9541b7f427c0e0acdc1f12339891de1746d2c28","after":"f679940aaf7b5ad14472de9422bfe54611973e0d","ref":"refs/heads/master","pushedAt":"2024-02-10T11:39:26.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update TODO list","shortMessageHtmlLink":"update TODO list"}},{"before":"ae4b36a4546201fa095644eb5a45745cf083a12f","after":"d9541b7f427c0e0acdc1f12339891de1746d2c28","ref":"refs/heads/master","pushedAt":"2024-02-09T17:09:06.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update TODO list","shortMessageHtmlLink":"update TODO list"}},{"before":"507d95397ef5387243bf372809f3da414c796c64","after":"ae4b36a4546201fa095644eb5a45745cf083a12f","ref":"refs/heads/master","pushedAt":"2024-02-09T11:05:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"add bench/versions","shortMessageHtmlLink":"add bench/versions"}},{"before":"507d95397ef5387243bf372809f3da414c796c64","after":null,"ref":"refs/heads/ci/new","pushedAt":"2024-02-08T21:04:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"60c11f9c110e9175bb94a5917c48132815af3cb3","after":"507d95397ef5387243bf372809f3da414c796c64","ref":"refs/heads/master","pushedAt":"2024-02-08T21:03:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"remove trailing whitespace\n\n... and trigger build","shortMessageHtmlLink":"remove trailing whitespace"}},{"before":"1361b516239e097c8182badc243df64f319fd4c7","after":"507d95397ef5387243bf372809f3da414c796c64","ref":"refs/heads/ci/new","pushedAt":"2024-02-08T20:52:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"remove trailing whitespace\n\n... and trigger build","shortMessageHtmlLink":"remove trailing whitespace"}},{"before":null,"after":"1361b516239e097c8182badc243df64f319fd4c7","ref":"refs/heads/ci/new","pushedAt":"2024-02-08T19:16:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update CI scripts","shortMessageHtmlLink":"update CI scripts"}},{"before":"0ac053dae4d0893cd885342e1e1e9469991e9a00","after":"60c11f9c110e9175bb94a5917c48132815af3cb3","ref":"refs/heads/master","pushedAt":"2024-02-08T18:32:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Reason: fix comment so haddock does not fail","shortMessageHtmlLink":"Reason: fix comment so haddock does not fail"}},{"before":"f9f551def0bb3d2ad116acd0d553cce363087286","after":"0ac053dae4d0893cd885342e1e1e9469991e9a00","ref":"refs/heads/master","pushedAt":"2024-02-08T18:17:41.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"add fast constifications","shortMessageHtmlLink":"add fast constifications"}},{"before":"3f30b8b60813bc28db23317e38c99af4c861615e","after":"f9f551def0bb3d2ad116acd0d553cce363087286","ref":"refs/heads/master","pushedAt":"2024-02-07T17:06:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"newstyle runtimes (zero)","shortMessageHtmlLink":"newstyle runtimes (zero)"}},{"before":"8816b8d7bcbdcf7f80435bacf1dba056db33e6ae","after":"3f30b8b60813bc28db23317e38c99af4c861615e","ref":"refs/heads/master","pushedAt":"2024-02-07T16:04:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update ListableExpr from Express","shortMessageHtmlLink":"update ListableExpr from Express"}},{"before":"19dd43b7027769761d0299bbc1dd45869e569b65","after":"8816b8d7bcbdcf7f80435bacf1dba056db33e6ae","ref":"refs/heads/master","pushedAt":"2024-02-07T15:52:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"quickfix to previous commit","shortMessageHtmlLink":"quickfix to previous commit"}},{"before":"7881644f126cdd018c746ac754c75a4e3c99c0c3","after":"19dd43b7027769761d0299bbc1dd45869e569b65","ref":"refs/heads/master","pushedAt":"2024-02-07T15:51:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"move test/stats to bench/stats and add .txt","shortMessageHtmlLink":"move test/stats to bench/stats and add .txt"}},{"before":"05dfecd9c6b994acc0a29f7abba4c0e22d71d03e","after":"7881644f126cdd018c746ac754c75a4e3c99c0c3","ref":"refs/heads/master","pushedAt":"2024-02-07T15:39:54.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"update TODO list","shortMessageHtmlLink":"update TODO list"}},{"before":"323ebbd121faa3d81129cc8e95c6acada904550b","after":"05dfecd9c6b994acc0a29f7abba4c0e22d71d03e","ref":"refs/heads/master","pushedAt":"2024-02-04T17:27:26.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"dev version bump","shortMessageHtmlLink":"dev version bump"}},{"before":"4cd3fe8ac2d62e9976eab5e5de290820bc116e24","after":null,"ref":"refs/heads/fix/test/expr","pushedAt":"2024-02-04T17:10:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"}},{"before":"3a3c7528880fdd0851df40129a3e03408c0d22e6","after":"323ebbd121faa3d81129cc8e95c6acada904550b","ref":"refs/heads/master","pushedAt":"2024-02-04T17:10:22.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"changelog.md: add upcoming section","shortMessageHtmlLink":"changelog.md: add upcoming section"}},{"before":"be0efe56c0b521efb25641d0de762ba0b26735e3","after":"4cd3fe8ac2d62e9976eab5e5de290820bc116e24","ref":"refs/heads/fix/test/expr","pushedAt":"2024-02-04T17:03:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"Add -v0 to GHCFLAGS","shortMessageHtmlLink":"Add -v0 to GHCFLAGS"}},{"before":"0e7b9b3efb4c29cc7d1a853d37587e1eb851fc28","after":"be0efe56c0b521efb25641d0de762ba0b26735e3","ref":"refs/heads/fix/test/expr","pushedAt":"2024-02-04T16:56:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"rudymatela","name":"Rudy Matela","path":"/rudymatela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3999598?s=80&v=4"},"commit":{"message":"move eg/pretty to EXTRAEG\n\n... to not impose the pretty dependency","shortMessageHtmlLink":"move eg/pretty to EXTRAEG"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xM1QxMjozNzo1NS4wMDAwMDBazwAAAAP5d0nA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xM1QxMjozNzo1NS4wMDAwMDBazwAAAAP5d0nA","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0wNFQxNjo1Njo0Mi4wMDAwMDBazwAAAAPxmk1M"}},"title":"Activity · rudymatela/speculate"}