{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":478697122,"defaultBranch":"main","name":"kani-verifier-blog","ownerLogin":"model-checking","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-04-06T19:20:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/78765001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724361574.0","currentOid":""},"activityList":{"items":[{"before":"34de03d1b80e79cc068eb34d0eb95303dec644cd","after":null,"ref":"refs/heads/dependabot/bundler/rexml-3.3.6","pushedAt":"2024-08-22T21:19:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"c2eb883d47bc1ace40969555c464d05b1277e9f6","after":"977916ac5fdd0062d9487f26955c3f06899bfaed","ref":"refs/heads/main","pushedAt":"2024-08-22T21:19:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump rexml from 3.3.3 to 3.3.6 (#48)\n\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump rexml from 3.3.3 to 3.3.6 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2481689721\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/48/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/48\">#48</a>)"}},{"before":null,"after":"34de03d1b80e79cc068eb34d0eb95303dec644cd","ref":"refs/heads/dependabot/bundler/rexml-3.3.6","pushedAt":"2024-08-22T20:46:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump rexml from 3.3.3 to 3.3.6\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.3.3 to 3.3.6.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.3.3...v3.3.6)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump rexml from 3.3.3 to 3.3.6"}},{"before":"804ecd8acc8da81971293e943eb611cf03963160","after":null,"ref":"refs/heads/dependabot/bundler/rexml-3.3.3","pushedAt":"2024-08-02T01:59:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"4abb1b69689c5a50b7677229dcbf8858bdbd113d","after":"c2eb883d47bc1ace40969555c464d05b1277e9f6","ref":"refs/heads/main","pushedAt":"2024-08-02T01:59:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump rexml from 3.2.8 to 3.3.3 (#47)\n\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump rexml from 3.2.8 to 3.3.3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2443816295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/47\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/47/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/47\">#47</a>)"}},{"before":null,"after":"804ecd8acc8da81971293e943eb611cf03963160","ref":"refs/heads/dependabot/bundler/rexml-3.3.3","pushedAt":"2024-08-02T01:57:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump rexml from 3.2.8 to 3.3.3\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.8 to 3.3.3.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.8...v3.3.3)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump rexml from 3.2.8 to 3.3.3"}},{"before":"e906c43eec3bc8add971e1c61f2d78395333ce4e","after":null,"ref":"refs/heads/dependabot/bundler/rexml-3.2.8","pushedAt":"2024-05-16T19:54:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"}},{"before":"45369de8600046c7cb209ff03f8eb069fa2cfc82","after":"4abb1b69689c5a50b7677229dcbf8858bdbd113d","ref":"refs/heads/main","pushedAt":"2024-05-16T19:54:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"Bump rexml from 3.2.5 to 3.2.8 (#46)\n\nSigned-off-by: dependabot[bot] <support@github.com>\r\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump rexml from 3.2.5 to 3.2.8 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2301222906\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/46/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/46\">#46</a>)"}},{"before":null,"after":"e906c43eec3bc8add971e1c61f2d78395333ce4e","ref":"refs/heads/dependabot/bundler/rexml-3.2.8","pushedAt":"2024-05-16T19:51:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump rexml from 3.2.5 to 3.2.8\n\nBumps [rexml](https://github.com/ruby/rexml) from 3.2.5 to 3.2.8.\n- [Release notes](https://github.com/ruby/rexml/releases)\n- [Changelog](https://github.com/ruby/rexml/blob/master/NEWS.md)\n- [Commits](https://github.com/ruby/rexml/compare/v3.2.5...v3.2.8)\n\n---\nupdated-dependencies:\n- dependency-name: rexml\n  dependency-type: indirect\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump rexml from 3.2.5 to 3.2.8"}},{"before":"fb096064f153efa342be5acffb9fa82a08b56de5","after":"45369de8600046c7cb209ff03f8eb069fa2cfc82","ref":"refs/heads/main","pushedAt":"2024-02-09T04:50:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Mentioning/adding harness input constraints (#45)","shortMessageHtmlLink":"Mentioning/adding harness input constraints (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2126002875\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/45\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/45/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/45\">#45</a>)"}},{"before":"83d98f3da1d36341541487b30aae7c06e4f070ae","after":"fb096064f153efa342be5acffb9fa82a08b56de5","ref":"refs/heads/main","pushedAt":"2024-01-29T17:40:02.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Function Contracts Blogpost (#44)\n\nAdds a new blog post about the function contracts feature including a walk-through of an example from Firecracker.\r\n\r\nIncludes description modular verification, inductive verification and sketches how contracts work internally.\r\n\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>\r\nCo-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>\r\nCo-authored-by: Patrick Roy <roypat@amazon.com>","shortMessageHtmlLink":"Function Contracts Blogpost (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2080830109\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/44\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/44/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/44\">#44</a>)"}},{"before":null,"after":"18695d9a0a47b69aefd0a6e910154963fae23850","ref":"refs/heads/function-contracts","pushedAt":"2024-01-09T11:13:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"JustusAdam","name":"Justus Adam","path":"/JustusAdam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5824532?s=80&v=4"},"commit":{"message":"Function contracts draft","shortMessageHtmlLink":"Function contracts draft"}},{"before":"59bc1c55291af78ba0bac45e5d6391b6177440cc","after":"83d98f3da1d36341541487b30aae7c06e4f070ae","ref":"refs/heads/main","pushedAt":"2023-09-01T04:23:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"feliperodri","name":"Felipe R. Monteiro","path":"/feliperodri","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4294522?s=80&v=4"},"commit":{"message":"Using Kani to Validate Security Boundaries in AWS Firecracker (#42)\n\nSigned-off-by: Patrick Roy <roypat@amazon.co.uk>\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\nCo-authored-by: Felipe R. Monteiro <felisous@amazon.com>\r\nCo-authored-by: jaisnan <jaisnan@amazon.com>","shortMessageHtmlLink":"Using Kani to Validate Security Boundaries in AWS Firecracker (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1867031931\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/42/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/42\">#42</a>)"}},{"before":"910255ca79a4be339ed5e44db19926e3e8239407","after":"59bc1c55291af78ba0bac45e5d6391b6177440cc","ref":"refs/heads/main","pushedAt":"2023-08-03T13:50:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"remi-delmas-3000","name":"Rémi Delmas","path":"/remi-delmas-3000","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2735543?s=80&v=4"},"commit":{"message":"Kani optimisation blog post (#41)\n\nCo-authored-by: Celina Val <delmasrd@amazon.com>\r\nCo-authored-by: Remi Delmas <delmasrd@amazon.com>\r\nCo-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>","shortMessageHtmlLink":"Kani optimisation blog post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1827115530\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/41/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/41\">#41</a>)"}},{"before":"ef448140a4fc7435264145ba137750af5388ffa3","after":"910255ca79a4be339ed5e44db19926e3e8239407","ref":"refs/heads/main","pushedAt":"2023-06-30T13:43:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add vs-code blog post (#40)\n\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>\r\nCo-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>\r\nCo-authored-by: Kareem Khazem <karkhaz@karkhaz.com>","shortMessageHtmlLink":"Add vs-code blog post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1771666522\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/40/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/40\">#40</a>)"}},{"before":null,"after":"10bb8bcc84e032ed945de2639c99c0d969bd5039","ref":"refs/heads/add-vscode-blog","pushedAt":"2023-06-23T18:34:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jaisnan","name":"Jaisurya Nanduri","path":"/jaisnan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/91620234?s=80&v=4"},"commit":{"message":"Add images that render in jekyll; address PR","shortMessageHtmlLink":"Add images that render in jekyll; address PR"}},{"before":"e3ba65386ddc30dfb79193901e4c8a73e608cfc4","after":"ef448140a4fc7435264145ba137750af5388ffa3","ref":"refs/heads/main","pushedAt":"2023-05-25T22:57:13.875Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zhassan-aws","name":"Zyad Hassan","path":"/zhassan-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/88045115?s=80&v=4"},"commit":{"message":"How s2n-quic uses Kani to inspire confidence (#38)","shortMessageHtmlLink":"How s2n-quic uses Kani to inspire confidence (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1722964015\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/38\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/38/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/38\">#38</a>)"}},{"before":"7c37c1520629f75f21bdd84975fcf8b539419891","after":"e3ba65386ddc30dfb79193901e4c8a73e608cfc4","ref":"refs/heads/main","pushedAt":"2023-04-29T14:21:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"adpaco-aws","name":"Adrian Palacios","path":"/adpaco-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/73246657?s=80&v=4"},"commit":{"message":"Change the publish date of the LLM post (#37)","shortMessageHtmlLink":"Change the publish date of the LLM post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1689559267\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/37\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/37/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/37\">#37</a>)"}},{"before":"0834d1131570280eb9c04f7d178d7b9310a57f4e","after":"7c37c1520629f75f21bdd84975fcf8b539419891","ref":"refs/heads/main","pushedAt":"2023-04-29T01:10:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"qinheping","name":"Qinheping Hu","path":"/qinheping","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16714939?s=80&v=4"},"commit":{"message":"Add blog post on LLM (#36)","shortMessageHtmlLink":"Add blog post on LLM (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1688942638\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/36/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/36\">#36</a>)"}},{"before":"c975ed9787e73149cdf7d8af6ec4b5c312ac7f37","after":"0834d1131570280eb9c04f7d178d7b9310a57f4e","ref":"refs/heads/main","pushedAt":"2023-04-04T14:07:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"qinheping","name":"Qinheping Hu","path":"/qinheping","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16714939?s=80&v=4"},"commit":{"message":"Add links to repository and tutorial (#35)","shortMessageHtmlLink":"Add links to repository and tutorial (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1653036854\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/35/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/35\">#35</a>)"}},{"before":"059648b2534f498369dd9711e7646309e04ec6a0","after":"c975ed9787e73149cdf7d8af6ec4b5c312ac7f37","ref":"refs/heads/main","pushedAt":"2023-03-31T17:40:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rahulku","name":null,"path":"/rahulku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8743193?s=80&v=4"},"commit":{"message":"Minor edits for hifitime post (#34)","shortMessageHtmlLink":"Minor edits for hifitime post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1649770475\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/34/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/34\">#34</a>)"}},{"before":"e5408d2806b2d4cca31f8a7c35aee709943a3ddf","after":"059648b2534f498369dd9711e7646309e04ec6a0","ref":"refs/heads/main","pushedAt":"2023-03-31T02:25:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rahulku","name":null,"path":"/rahulku","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8743193?s=80&v=4"},"commit":{"message":"Hifitime blog post (#30)\n\nSigned-off-by: Christopher Rabotin <christopher.rabotin@gmail.com>\r\nCo-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>\r\nCo-authored-by: rahulku <luhark@amazon.com>","shortMessageHtmlLink":"Hifitime blog post (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1565480435\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/kani-verifier-blog/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/kani-verifier-blog/pull/30/hovercard\" href=\"https://github.com/model-checking/kani-verifier-blog/pull/30\">#30</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMlQyMToxOTozNC4wMDAwMDBazwAAAAShvE89","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yMlQyMToxOTozNC4wMDAwMDBazwAAAAShvE89","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0zMVQwMjoyNTo1OS4wMDAwMDBazwAAAAMPIxUz"}},"title":"Activity · model-checking/kani-verifier-blog"}