{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":38615623,"defaultBranch":"master","name":"cborg","ownerLogin":"well-typed","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-07-06T11:49:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7972992?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1699924882.0","currentOid":""},"activityList":{"items":[{"before":"c8013b3474d876f4da56c869d57e3f3ac7f42dc6","after":"64e2201485df2e6f62dfa5b26c96b289609f6153","ref":"refs/heads/master","pushedAt":"2023-11-14T00:33:14.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"bgamari","name":"Ben Gamari","path":"/bgamari","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1010174?s=80&v=4"},"commit":{"message":"Merge pull request #328 from erikd/master\n\nMake it build with ghc-9.8 and update dependencies","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1969568465\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/328\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/328/hovercard\" href=\"https://github.com/well-typed/cborg/pull/328\">#328</a> from erikd/master"}},{"before":"41498491994c709091b82b799a76a71295b3186e","after":"c8013b3474d876f4da56c869d57e3f3ac7f42dc6","ref":"refs/heads/master","pushedAt":"2023-09-08T11:53:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dcoutts","name":"Duncan Coutts","path":"/dcoutts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1339423?s=80&v=4"},"commit":{"message":"Make `tokenTypeOf` more precise (#325)\n\n* Make `tokenTypeOf` more precise\r\n\r\nNow `tokenTypeOf` distinguishes between:\r\n\r\n- Unsigned 64 bit integers `(0     <= n < 2^64)`: `TypeUInt64`\r\n- Negative 64 bit integers `(-2^64 < n  < 0   )`: `TypeNInt64`\r\n- Integers outside the ranges above             : `TypeInteger`\r\n\r\nFixes https://github.com/well-typed/cborg/issues/324","shortMessageHtmlLink":"Make <code>tokenTypeOf</code> more precise (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1875380166\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/325\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/325/hovercard\" href=\"https://github.com/well-typed/cborg/pull/325\">#325</a>)"}},{"before":null,"after":"b996afcd1f77c1ff902124ccb244b56b54899362","ref":"refs/heads/wip/dupIO-infrequently","pushedAt":"2023-08-22T07:53:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adamgundry","name":"Adam Gundry","path":"/adamgundry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1153317?s=80&v=4"},"commit":{"message":"WIP: experimentally use dupIO to fix #318\n\nThis calls dupIO on the token stream each time the buffer is full.","shortMessageHtmlLink":"WIP: experimentally use dupIO to <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #318.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707790176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/318\" data-hovercard-type=\"issue\" data-hovercard-url=\"/well-typed/cborg/issues/318/hovercard\" href=\"https://github.com/well-typed/cborg/issues/318\">#318</a>"}},{"before":"b996afcd1f77c1ff902124ccb244b56b54899362","after":"3141522ca8b5871b698b3b52136dac7e8022bbd9","ref":"refs/heads/wip/dupIO-take2","pushedAt":"2023-08-18T13:41:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"adamgundry","name":"Adam Gundry","path":"/adamgundry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1153317?s=80&v=4"},"commit":{"message":"WIP: experimentally use dupIO to fix #318\n\nThis calls dupIO before evaluating each token in the token stream.","shortMessageHtmlLink":"WIP: experimentally use dupIO to <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #318.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707790176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/318\" data-hovercard-type=\"issue\" data-hovercard-url=\"/well-typed/cborg/issues/318/hovercard\" href=\"https://github.com/well-typed/cborg/issues/318\">#318</a>"}},{"before":null,"after":"b996afcd1f77c1ff902124ccb244b56b54899362","ref":"refs/heads/wip/dupIO-take2","pushedAt":"2023-05-24T12:52:17.100Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adamgundry","name":"Adam Gundry","path":"/adamgundry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1153317?s=80&v=4"},"commit":{"message":"WIP: experimentally use dupIO to fix #318\n\nThis calls dupIO on the token stream each time the buffer is full.","shortMessageHtmlLink":"WIP: experimentally use dupIO to <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #318.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707790176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/318\" data-hovercard-type=\"issue\" data-hovercard-url=\"/well-typed/cborg/issues/318/hovercard\" href=\"https://github.com/well-typed/cborg/issues/318\">#318</a>"}},{"before":"3a0f1f447a63ae6b1511cca877c7c01c1a6ec5cd","after":"41498491994c709091b82b799a76a71295b3186e","ref":"refs/heads/master","pushedAt":"2023-05-18T20:12:51.691Z","pushType":"push","commitsCount":3,"pusher":{"login":"bgamari","name":"Ben Gamari","path":"/bgamari","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1010174?s=80&v=4"},"commit":{"message":"cborg: Bump version","shortMessageHtmlLink":"cborg: Bump version"}},{"before":"ec399a156402dc1c94d9ae64f12ca8087cd7ba8a","after":"3a0f1f447a63ae6b1511cca877c7c01c1a6ec5cd","ref":"refs/heads/master","pushedAt":"2023-05-18T19:32:03.562Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bgamari","name":"Ben Gamari","path":"/bgamari","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1010174?s=80&v=4"},"commit":{"message":"Merge pull request #307 from kubek2k/fixing-64bit-word\n\nMagic.hs: Fix for machines without MEM_UNALIGNED_OPS  and base >= 4.17","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1576764625\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/307\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/307/hovercard\" href=\"https://github.com/well-typed/cborg/pull/307\">#307</a> from kubek2k/fixing-64bit-word"}},{"before":null,"after":"c87ccfba6ade658ca3a21667d7836c00aef339e4","ref":"refs/heads/wip/dupIO","pushedAt":"2023-05-18T09:09:42.822Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"adamgundry","name":"Adam Gundry","path":"/adamgundry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1153317?s=80&v=4"},"commit":{"message":"WIP: experimentally use dupIO to fix #318\n\nThis adds a new token type TkDup for use when encoding, that duplicates\nthe contained closure. This means that encodings can explicitly duplicate\nthunks that may otherwise end up in the old generation.  It isn't obvious\nto me whether this is enough or whether calling dupIO every time would be\nbetter (and whether that might have an unreasonable performance cost).","shortMessageHtmlLink":"WIP: experimentally use dupIO to <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #318.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1707790176\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/318\" data-hovercard-type=\"issue\" data-hovercard-url=\"/well-typed/cborg/issues/318/hovercard\" href=\"https://github.com/well-typed/cborg/issues/318\">#318</a>"}},{"before":"4a9304c3670814c72621857d0c0b5542284735b6","after":null,"ref":"refs/heads/yaitskov-support-bytestring-in-json-as-hex","pushedAt":"2023-04-27T13:24:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"}},{"before":"fc810a5e977e2db8541ebd7688b3f7ea4dda3e88","after":"ec399a156402dc1c94d9ae64f12ca8087cd7ba8a","ref":"refs/heads/master","pushedAt":"2023-04-27T13:24:11.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"Merge pull request #315 from well-typed/yaitskov-support-bytestring-in-json-as-hex\n\nSupport bytestring in json as Base64Url","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1686772299\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/315\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/315/hovercard\" href=\"https://github.com/well-typed/cborg/pull/315\">#315</a> from well-typed/yaitskov-support-bytestring-i…"}},{"before":null,"after":"4a9304c3670814c72621857d0c0b5542284735b6","ref":"refs/heads/yaitskov-support-bytestring-in-json-as-hex","pushedAt":"2023-04-27T12:39:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"Use Base64url to convert bytes to JSON string","shortMessageHtmlLink":"Use Base64url to convert bytes to JSON string"}},{"before":"07d517fcbb6eb52407bec05b710d96137fda9be2","after":null,"ref":"refs/heads/sliced-byte-array-tests","pushedAt":"2023-04-26T13:15:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"}},{"before":"eace06c3464a47cfe96624b0ac4aef4c2f76cb3c","after":"fc810a5e977e2db8541ebd7688b3f7ea4dda3e88","ref":"refs/heads/master","pushedAt":"2023-04-26T13:15:40.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"Merge pull request #314 from well-typed/sliced-byte-array-tests\n\nAdd SlicedByteArray to roundtrip tests and merge Fix","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1684983556\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/314\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/314/hovercard\" href=\"https://github.com/well-typed/cborg/pull/314\">#314</a> from well-typed/sliced-byte-array-tests"}},{"before":null,"after":"07d517fcbb6eb52407bec05b710d96137fda9be2","ref":"refs/heads/sliced-byte-array-tests","pushedAt":"2023-04-26T12:58:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"Merge branch 'master' of github.com:lehins/cborg into sliced-byte-array-tests","shortMessageHtmlLink":"Merge branch 'master' of github.com:lehins/cborg into sliced-byte-arr…"}},{"before":"978fe539409efd6c8dde3de470c23cf0957baa5e","after":null,"ref":"refs/heads/base18","pushedAt":"2023-04-26T11:00:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"}},{"before":"e7479b11359cb677eb3d347f50ccac75dacb872b","after":"eace06c3464a47cfe96624b0ac4aef4c2f76cb3c","ref":"refs/heads/master","pushedAt":"2023-04-26T11:00:00.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"Merge pull request #313 from well-typed/base18\n\nFix #310 : support ghc-9.6","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1684734309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/well-typed/cborg/issues/313\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/well-typed/cborg/pull/313/hovercard\" href=\"https://github.com/well-typed/cborg/pull/313\">#313</a> from well-typed/base18"}},{"before":null,"after":"978fe539409efd6c8dde3de470c23cf0957baa5e","ref":"refs/heads/base18","pushedAt":"2023-04-26T10:18:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Saizan","name":"Andrea Vezzosi","path":"/Saizan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/130892?s=80&v=4"},"commit":{"message":"relaxed other version constraints for ghc-9.6.1","shortMessageHtmlLink":"relaxed other version constraints for ghc-9.6.1"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrlJ3rQA","startCursor":null,"endCursor":null}},"title":"Activity · well-typed/cborg"}