{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":608282295,"defaultBranch":"master","name":"asn1scc","ownerLogin":"ateleris","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-03-01T17:39:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/20426898?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711106901.0","currentOid":""},"activityList":{"items":[{"before":"4158bccc211f63bbf5350de7009ec3ee7698a48c","after":"5ccc56f8dfc0399f022b53038c25e586d5116dba","ref":"refs/heads/master","pushedAt":"2024-09-09T15:46:15.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Merge pull request #28 from epfl-lara/catchup\n\nMerge with the latest changes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2513938700\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/28\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/28/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/28\">#28</a> from epfl-lara/catchup"}},{"before":"63dd39625b5c96bd033d69c3747e588bea39d281","after":"4158bccc211f63bbf5350de7009ec3ee7698a48c","ref":"refs/heads/master","pushedAt":"2024-09-09T12:28:33.000Z","pushType":"pr_merge","commitsCount":38,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Merge pull request #27 from epfl-lara/sequence-invertibility\n\nSequence invertibility","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512289119\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/27\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/27/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/27\">#27</a> from epfl-lara/sequence-invertibility"}},{"before":"c639ca63d427ff0e7dd52cd35ec183541bc13195","after":"63dd39625b5c96bd033d69c3747e588bea39d281","ref":"refs/heads/master","pushedAt":"2024-08-28T08:27:23.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Merge pull request #24 from epfl-lara/sam/naming\n\nRenaming and new annotations for proof to go through","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2488595237\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/24\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/24/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/24\">#24</a> from epfl-lara/sam/naming"}},{"before":"6819ca70bd8e7fb00ea900348a76cd16e6599b10","after":"c639ca63d427ff0e7dd52cd35ec183541bc13195","ref":"refs/heads/master","pushedAt":"2024-08-06T11:34:07.000Z","pushType":"pr_merge","commitsCount":57,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge pull request #23 from mario-bucev/precise-bitindex\n\nPrecise bitindex","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2422176073\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/23\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/23/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/23\">#23</a> from mario-bucev/precise-bitindex"}},{"before":"8f608f3fa7cf3007dbeb2ff21f8a449d7f711d31","after":"6819ca70bd8e7fb00ea900348a76cd16e6599b10","ref":"refs/heads/master","pushedAt":"2024-07-22T07:35:19.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"ICD improvements","shortMessageHtmlLink":"ICD improvements"}},{"before":"8f608f3fa7cf3007dbeb2ff21f8a449d7f711d31","after":"aa98394f902c509294bdb48d63d3bbe565b0e977","ref":"refs/heads/scala-backend","pushedAt":"2024-06-10T13:45:50.000Z","pushType":"pr_merge","commitsCount":23,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge pull request #21 from mario-bucev/precise-bitindex\n\nCode generation changes for verification","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2338172903\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/21\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/21/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/21\">#21</a> from mario-bucev/precise-bitindex"}},{"before":"e1f6ca17cc39fff9fa4c1f3c92db680a69a7f851","after":"8f608f3fa7cf3007dbeb2ff21f8a449d7f711d31","ref":"refs/heads/master","pushedAt":"2024-06-10T11:50:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"#299\n\nIntroduction of error handling mechanisms in the ACN encoding and decoding logic, specifically for external fields and octet strings containing external field functions.\nAdditionally, there's a minor update in the `CheckAsn1.fs` file related to the handling of the `MarkPresent` case for choice types.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2191699769\" data-permission-text=\"Title is private\" data-url=\"https://github.com/maxime-esa/asn1scc/issues/299\" data-hovercard-type=\"issue\" data-hovercard-url=\"/maxime-esa/asn1scc/issues/299/hovercard\" href=\"https://github.com/maxime-esa/asn1scc/issues/299\">maxime-esa#299</a>"}},{"before":"e1f6ca17cc39fff9fa4c1f3c92db680a69a7f851","after":"8f608f3fa7cf3007dbeb2ff21f8a449d7f711d31","ref":"refs/heads/scala-backend","pushedAt":"2024-06-10T11:50:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"#299\n\nIntroduction of error handling mechanisms in the ACN encoding and decoding logic, specifically for external fields and octet strings containing external field functions.\nAdditionally, there's a minor update in the `CheckAsn1.fs` file related to the handling of the `MarkPresent` case for choice types.","shortMessageHtmlLink":"<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2191699769\" data-permission-text=\"Title is private\" data-url=\"https://github.com/maxime-esa/asn1scc/issues/299\" data-hovercard-type=\"issue\" data-hovercard-url=\"/maxime-esa/asn1scc/issues/299/hovercard\" href=\"https://github.com/maxime-esa/asn1scc/issues/299\">maxime-esa#299</a>"}},{"before":"0947749a6bf97e6a2e85933fee6379cce6a7d938","after":"e1f6ca17cc39fff9fa4c1f3c92db680a69a7f851","ref":"refs/heads/scala-backend","pushedAt":"2024-04-23T09:08:24.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Merge pull request #303 from maxime-esa/EfficientEnumEncodings\n\nEfficient enum encodings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2254654814\" data-permission-text=\"Title is private\" data-url=\"https://github.com/maxime-esa/asn1scc/issues/303\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/maxime-esa/asn1scc/pull/303/hovercard\" href=\"https://github.com/maxime-esa/asn1scc/pull/303\">maxime-esa#303</a> from maxime-esa/EfficientEnumEncodings"}},{"before":"1e7cd579f6258a96284d9d7d4d223059e0238963","after":"e1f6ca17cc39fff9fa4c1f3c92db680a69a7f851","ref":"refs/heads/master","pushedAt":"2024-04-23T09:08:11.000Z","pushType":"push","commitsCount":55,"pusher":{"login":"mario-bucev","name":null,"path":"/mario-bucev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9380279?s=80&v=4"},"commit":{"message":"Merge pull request #303 from maxime-esa/EfficientEnumEncodings\n\nEfficient enum encodings","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2254654814\" data-permission-text=\"Title is private\" data-url=\"https://github.com/maxime-esa/asn1scc/issues/303\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/maxime-esa/asn1scc/pull/303/hovercard\" href=\"https://github.com/maxime-esa/asn1scc/pull/303\">maxime-esa#303</a> from maxime-esa/EfficientEnumEncodings"}},{"before":"77d9698cfd4dffd3d3d7a6a2ef2bd5f6e955e0c2","after":"0947749a6bf97e6a2e85933fee6379cce6a7d938","ref":"refs/heads/scala-backend","pushedAt":"2024-04-19T16:50:27.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge pull request #20 from mario-bucev/runtime-safety\n\nStrengthen loop invariant","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253176327\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/20/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/20\">#20</a> from mario-bucev/runtime-safety"}},{"before":"c9becef09d1bf8d57e364d0e47ffcff2a4406ded","after":"77d9698cfd4dffd3d3d7a6a2ef2bd5f6e955e0c2","ref":"refs/heads/scala-backend","pushedAt":"2024-04-15T13:05:56.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'Original_Repo/master' into scala-backend","shortMessageHtmlLink":"Merge remote-tracking branch 'Original_Repo/master' into scala-backend"}},{"before":"1e7cd579f6258a96284d9d7d4d223059e0238963","after":"c9becef09d1bf8d57e364d0e47ffcff2a4406ded","ref":"refs/heads/scala-backend","pushedAt":"2024-04-15T12:12:21.000Z","pushType":"pr_merge","commitsCount":41,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge pull request #19 from mario-bucev/runtime-safety\n\nRuntime safety","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2243089304\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/19/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/19\">#19</a> from mario-bucev/runtime-safety"}},{"before":"fa6f846f3cd627f17f0c73b878b6004905aefc95","after":"1e7cd579f6258a96284d9d7d4d223059e0238963","ref":"refs/heads/scala-backend","pushedAt":"2024-04-12T08:41:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Update circleci-build.sh","shortMessageHtmlLink":"Update circleci-build.sh"}},{"before":"fa6f846f3cd627f17f0c73b878b6004905aefc95","after":"1e7cd579f6258a96284d9d7d4d223059e0238963","ref":"refs/heads/master","pushedAt":"2024-04-12T08:41:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Update circleci-build.sh","shortMessageHtmlLink":"Update circleci-build.sh"}},{"before":"0b6aae8381510a0847398cd6736dd5869ea9e01f","after":null,"ref":"refs/heads/FS-Docker","pushedAt":"2024-03-22T11:28:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"}},{"before":"34315afd3e886d8023ba2f496da4bf8e17f5a581","after":"fa6f846f3cd627f17f0c73b878b6004905aefc95","ref":"refs/heads/master","pushedAt":"2024-03-22T11:28:00.000Z","pushType":"push","commitsCount":255,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"BitStream_GetLength added to the always present RTL generated functions","shortMessageHtmlLink":"BitStream_GetLength added to the always present RTL generated functions"}},{"before":"ca13abc25afb30664405e953974d9cfc876431e3","after":"fa6f846f3cd627f17f0c73b878b6004905aefc95","ref":"refs/heads/scala-backend","pushedAt":"2024-03-22T11:25:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"BitStream_GetLength added to the always present RTL generated functions","shortMessageHtmlLink":"BitStream_GetLength added to the always present RTL generated functions"}},{"before":"01aa6ca349e5c22694cd8e029f86a60a433aa26c","after":"ca13abc25afb30664405e953974d9cfc876431e3","ref":"refs/heads/scala-backend","pushedAt":"2024-03-22T11:25:10.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"added sourcing of java, scala and sbt","shortMessageHtmlLink":"added sourcing of java, scala and sbt"}},{"before":"68966e927fbb84f63946b3e552eca278d946e57e","after":"ca13abc25afb30664405e953974d9cfc876431e3","ref":"refs/heads/better-scala-backend","pushedAt":"2024-03-12T19:19:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"added sourcing of java, scala and sbt","shortMessageHtmlLink":"added sourcing of java, scala and sbt"}},{"before":null,"after":"68966e927fbb84f63946b3e552eca278d946e57e","ref":"refs/heads/better-scala-backend","pushedAt":"2024-03-12T19:01:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"fix legacy spelling","shortMessageHtmlLink":"fix legacy spelling"}},{"before":"096e4483162556d7ea6e513ae2e79222c4e3281b","after":"01aa6ca349e5c22694cd8e029f86a60a433aa26c","ref":"refs/heads/scala-backend","pushedAt":"2024-03-08T17:59:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Merge pull request #18 from mario-bucev/fix-278\n\nFix missing implementation from #278","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2175567926\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ateleris/asn1scc/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ateleris/asn1scc/pull/18/hovercard\" href=\"https://github.com/ateleris/asn1scc/pull/18\">#18</a> from mario-bucev/fix-278"}},{"before":"db76f11c86a11179cd7b972f5d5f73aaac09b624","after":null,"ref":"refs/heads/AlignmentIssues","pushedAt":"2024-02-16T16:23:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"}},{"before":null,"after":"db76f11c86a11179cd7b972f5d5f73aaac09b624","ref":"refs/heads/AlignmentIssues","pushedAt":"2024-02-16T16:21:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"Fixing Alignment","shortMessageHtmlLink":"Fixing Alignment"}},{"before":"0b6aae8381510a0847398cd6736dd5869ea9e01f","after":"096e4483162556d7ea6e513ae2e79222c4e3281b","ref":"refs/heads/scala-backend","pushedAt":"2024-02-16T15:05:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"exit 1 added","shortMessageHtmlLink":"exit 1 added"}},{"before":"bade67e7327953c239198615371bc8c403462530","after":"0b6aae8381510a0847398cd6736dd5869ea9e01f","ref":"refs/heads/scala-backend","pushedAt":"2024-02-16T14:58:28.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"single line string","shortMessageHtmlLink":"single line string"}},{"before":"edb3e254a75d6c7e6abf1315c7fa64f4e2ef2c28","after":"0b6aae8381510a0847398cd6736dd5869ea9e01f","ref":"refs/heads/FS-Docker","pushedAt":"2024-02-16T14:57:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"single line string","shortMessageHtmlLink":"single line string"}},{"before":"6a388a66891da8b2141412db6f6b6f280abdc8d6","after":null,"ref":"refs/heads/FS_converge_originMaster","pushedAt":"2024-02-16T14:56:37.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"}},{"before":"bade67e7327953c239198615371bc8c403462530","after":"6a388a66891da8b2141412db6f6b6f280abdc8d6","ref":"refs/heads/FS_converge_originMaster","pushedAt":"2024-02-16T14:55:43.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"single line string else tests fail","shortMessageHtmlLink":"single line string else tests fail"}},{"before":"56d7ddc65753ee0063dc79e3a24e1e5f5583bd75","after":"edb3e254a75d6c7e6abf1315c7fa64f4e2ef2c28","ref":"refs/heads/FS-Docker","pushedAt":"2024-02-16T14:23:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fschramka","name":"FSchramka","path":"/fschramka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9535293?s=80&v=4"},"commit":{"message":"no message","shortMessageHtmlLink":"no message"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxNTo0NjoxNS4wMDAwMDBazwAAAASxFrVV","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wOVQxNTo0NjoxNS4wMDAwMDBazwAAAASxFrVV","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0xNlQxNDoyMzo1Ni4wMDAwMDBazwAAAAP8ppAJ"}},"title":"Activity · ateleris/asn1scc"}