{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":59868307,"defaultBranch":"master","name":"karamel","ownerLogin":"FStarLang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-05-27T23:29:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7689927?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716764970.0","currentOid":""},"activityList":{"items":[{"before":"5666a5de9c14ca0cd3098befd3070ed34ed2cfcf","after":"96d121982033511e6285e22daaaec8e4e10af2b4","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-06-03T03:21:45.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"Merge branch 'master' into protz_trait_methods","shortMessageHtmlLink":"Merge branch 'master' into protz_trait_methods"}},{"before":"38d348cec82f191f282eb74dc4c5be1ee957045f","after":"5666a5de9c14ca0cd3098befd3070ed34ed2cfcf","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-31T00:32:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"Comment out debug, lift one restriction","shortMessageHtmlLink":"Comment out debug, lift one restriction"}},{"before":"04cb86b94f57c495b715d6e9f98e29352d72d5f3","after":"38d348cec82f191f282eb74dc4c5be1ee957045f","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-30T17:13:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"unroll size_t loops too","shortMessageHtmlLink":"unroll size_t loops too"}},{"before":"1c127c90a8085b378b80f9d61b167e5679dbacbe","after":"04cb86b94f57c495b715d6e9f98e29352d72d5f3","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-29T18:58:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"The previous cherry-picked commit was not handling top-level arrays consistently","shortMessageHtmlLink":"The previous cherry-picked commit was not handling top-level arrays c…"}},{"before":"e8e461ce71a5261671264d567ca34101202efb3a","after":"1c127c90a8085b378b80f9d61b167e5679dbacbe","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-29T18:34:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Restore CI","shortMessageHtmlLink":"Restore CI"}},{"before":"020de30f056ddf65bc3b45bffb3433152cfdfa84","after":"e8e461ce71a5261671264d567ca34101202efb3a","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-29T04:09:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Resurrect a commit from branch protz_misc and add support for multidimensional arrays on the stack, and as top-level constants. + a fix for hoisting","shortMessageHtmlLink":"Resurrect a commit from branch protz_misc and add support for multidi…"}},{"before":"362b389c51e99ee93eada7b5720e1ab9f669c888","after":"020de30f056ddf65bc3b45bffb3433152cfdfa84","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-28T06:21:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Expose an internal table","shortMessageHtmlLink":"Expose an internal table"}},{"before":"3568f41791374c3494d86d5f7ac8c32063d43e32","after":"362b389c51e99ee93eada7b5720e1ab9f669c888","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-27T18:53:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Relax some restrictions for eurydice","shortMessageHtmlLink":"Relax some restrictions for eurydice"}},{"before":"051a947b7d7e912faf5c8f484471d6200aa5d754","after":null,"ref":"refs/heads/_taramana_pytz","pushedAt":"2024-05-26T23:09:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"}},{"before":"a2720860dca6085debab0cb95ff1d87b3f7155fa","after":"1b809c2917853d1117034c78d978ac19642aa84a","ref":"refs/heads/master","pushedAt":"2024-05-26T23:09:29.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"Merge pull request #433 from FStarLang/_taramana_pytz\n\nCI for user manual: install pytz","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316061504\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FStarLang/karamel/issues/433\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FStarLang/karamel/pull/433/hovercard\" href=\"https://github.com/FStarLang/karamel/pull/433\">#433</a> from FStarLang/_taramana_pytz"}},{"before":"a70e4f1e424858b688d64c047328e98df0c40fb4","after":"3568f41791374c3494d86d5f7ac8c32063d43e32","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T23:57:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Ugh need upgrade CI's ocaml version","shortMessageHtmlLink":"Ugh need upgrade CI's ocaml version"}},{"before":"af7a594c2acb3b21aabda1bfd0d794182e452fba","after":"a70e4f1e424858b688d64c047328e98df0c40fb4","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T22:00:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Remove debug","shortMessageHtmlLink":"Remove debug"}},{"before":"8c23f7dc25cf270300a565df2670866576fdc41b","after":"af7a594c2acb3b21aabda1bfd0d794182e452fba","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T22:00:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Forgot to resolve subtituted type application to monomorphized instance","shortMessageHtmlLink":"Forgot to resolve subtituted type application to monomorphized instance"}},{"before":"efbceb55fb0a5cfe2c4eb715f1274da35aa2c7e5","after":"8c23f7dc25cf270300a565df2670866576fdc41b","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T20:22:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Disable an optimization that's incorrect in the presence of array types within structs (Eurydice novelty)","shortMessageHtmlLink":"Disable an optimization that's incorrect in the presence of array typ…"}},{"before":"5788ba6ded5a95aff98d7caf9f85afe94dd6a658","after":"051a947b7d7e912faf5c8f484471d6200aa5d754","ref":"refs/heads/_taramana_pytz","pushedAt":"2024-05-24T18:52:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"CI for user manual: install pytz\n\nfollowing https://stackoverflow.com/a/73949524","shortMessageHtmlLink":"CI for user manual: install pytz"}},{"before":null,"after":"5788ba6ded5a95aff98d7caf9f85afe94dd6a658","ref":"refs/heads/_taramana_pytz","pushedAt":"2024-05-24T18:50:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tahina-pro","name":"Tahina Ramananandro (professional account)","path":"/tahina-pro","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15695239?s=80&v=4"},"commit":{"message":"CI for user manual: install pytz\n\nfollowing https://stackoverflow.com/a/71591945","shortMessageHtmlLink":"CI for user manual: install pytz"}},{"before":"837153c0b90b120c19a61bed3ae18abb88acda15","after":null,"ref":"refs/heads/lucas-make-visitors-only-opaque","pushedAt":"2024-05-24T17:00:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"}},{"before":"5dac5b6ef91c63c61d1ebe08071b32fae7e01d06","after":"a2720860dca6085debab0cb95ff1d87b3f7155fa","ref":"refs/heads/master","pushedAt":"2024-05-24T17:00:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"Merge pull request #432 from FStarLang/lucas-make-visitors-only-opaque\n\nMake only `visitors` opaque, not `show`","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2314487584\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FStarLang/karamel/issues/432\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FStarLang/karamel/pull/432/hovercard\" href=\"https://github.com/FStarLang/karamel/pull/432\">#432</a> from FStarLang/lucas-make-visitors-only-opaque"}},{"before":"5dac5b6ef91c63c61d1ebe08071b32fae7e01d06","after":"837153c0b90b120c19a61bed3ae18abb88acda15","ref":"refs/heads/lucas-make-visitors-only-opaque","pushedAt":"2024-05-24T06:09:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"W95Psp","name":"Lucas Franceschino","path":"/W95Psp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/593204?s=80&v=4"},"commit":{"message":"Make only `visitors` opaque, not `show`","shortMessageHtmlLink":"Make only <code>visitors</code> opaque, not <code>show</code>"}},{"before":null,"after":"5dac5b6ef91c63c61d1ebe08071b32fae7e01d06","ref":"refs/heads/lucas-make-visitors-only-opaque","pushedAt":"2024-05-24T06:08:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"W95Psp","name":"Lucas Franceschino","path":"/W95Psp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/593204?s=80&v=4"},"commit":{"message":"Merge pull request #430 from FStarLang/protz_lazy_cg_subst\n\nLazy substitutions for const generics","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300599919\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FStarLang/karamel/issues/430\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FStarLang/karamel/pull/430/hovercard\" href=\"https://github.com/FStarLang/karamel/pull/430\">#430</a> from FStarLang/protz_lazy_cg_subst"}},{"before":"ddc7e0a02f1a6edf7562bbb0d1d921fd7a530a13","after":"efbceb55fb0a5cfe2c4eb715f1274da35aa2c7e5","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T04:10:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Comment out debugging, generalize one phase","shortMessageHtmlLink":"Comment out debugging, generalize one phase"}},{"before":"564d85ee0e534200d08fe3837679369b16c65fcc","after":"ddc7e0a02f1a6edf7562bbb0d1d921fd7a530a13","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-24T03:13:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Start introducing type schemes all over the place, with backwards-compat relaxations in the checker","shortMessageHtmlLink":"Start introducing type schemes all over the place, with backwards-com…"}},{"before":"b4d12dd32581cae6a3174f2930b7da57a5f10f29","after":"564d85ee0e534200d08fe3837679369b16c65fcc","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-23T22:13:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Remove superfluous recursion","shortMessageHtmlLink":"Remove superfluous recursion"}},{"before":"f58ef41a3bea11fd7de3ea36a827cc4f6f82024e","after":"b4d12dd32581cae6a3174f2930b7da57a5f10f29","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-23T20:49:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Fix a few issues with monomorphization and partial cg applications","shortMessageHtmlLink":"Fix a few issues with monomorphization and partial cg applications"}},{"before":"ea140fec9189c1f657d0c43f078b6b7938771cdd","after":"f58ef41a3bea11fd7de3ea36a827cc4f6f82024e","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-23T16:09:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Fix an error in a substitution function -- unclear why this never cropped up. Now Eurydice still compiles old-old kyber properly. Yay.","shortMessageHtmlLink":"Fix an error in a substitution function -- unclear why this never cro…"}},{"before":null,"after":"ea140fec9189c1f657d0c43f078b6b7938771cdd","ref":"refs/heads/protz_trait_methods","pushedAt":"2024-05-23T00:19:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Support for monomorphization over regular values like trait methods","shortMessageHtmlLink":"Support for monomorphization over regular values like trait methods"}},{"before":"2d3dba0bf3b59b03a69460b97114e641902209b3","after":null,"ref":"refs/heads/protz_lazy_cg_subst","pushedAt":"2024-05-16T14:46:51.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"}},{"before":"9e3c8dfb0e4925be49270e690ad839a7451bdb1a","after":"5dac5b6ef91c63c61d1ebe08071b32fae7e01d06","ref":"refs/heads/master","pushedAt":"2024-05-16T14:46:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"},"commit":{"message":"Merge pull request #430 from FStarLang/protz_lazy_cg_subst\n\nLazy substitutions for const generics","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2300599919\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FStarLang/karamel/issues/430\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FStarLang/karamel/pull/430/hovercard\" href=\"https://github.com/FStarLang/karamel/pull/430\">#430</a> from FStarLang/protz_lazy_cg_subst"}},{"before":null,"after":"2d3dba0bf3b59b03a69460b97114e641902209b3","ref":"refs/heads/protz_lazy_cg_subst","pushedAt":"2024-05-16T13:30:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"protz","name":"Jonathan Protzenko","path":"/protz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/214707?s=80&v=4"},"commit":{"message":"Lazy substitutions for const generics","shortMessageHtmlLink":"Lazy substitutions for const generics"}},{"before":"320fd21776eac5ecd431b1c2a48608096b27e3da","after":null,"ref":"refs/heads/protz_ci","pushedAt":"2024-05-01T15:49:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"msprotz","name":"Jonathan Protzenko","path":"/msprotz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10673049?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWn5BlwA","startCursor":null,"endCursor":null}},"title":"Activity · FStarLang/karamel"}