{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":290621225,"defaultBranch":"main","name":"coreJSON","ownerLogin":"FreeRTOS","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-08-26T22:51:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/54647343?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718872142.0","currentOid":""},"activityList":{"items":[{"before":"6464fac019bca629b3d2fa46d568f33c74fde4cd","after":"4452f6e899c53748aa4265594022311b092f3a54","ref":"refs/heads/gh-pages","pushedAt":"2024-07-20T11:51:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 9ebaeb55cce39a6f79da9cceaa0cbc664a462c8b","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/9ebaeb55cce39a6f79da9cceaa0cbc664a462c8b/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/9ebaeb55cce39a6f79da9cceaa0cbc664a462c8b\"><tt>9ebaeb5</tt></a>"}},{"before":"2bb62946c1cf8cae01ce13ba3fa9cb527ab29b96","after":"9ebaeb55cce39a6f79da9cceaa0cbc664a462c8b","ref":"refs/heads/main","pushedAt":"2024-07-20T11:50:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"aggarg","name":"Gaurav-Aggarwal-AWS","path":"/aggarg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33462878?s=80&v=4"},"commit":{"message":"Treat empty JSON object in key-value pair as valid (#169)\n\nTreat empty JSON object in key-value pair as valid\r\n\r\nWithout this change, the following valid JSON document will be evaluated\r\nas invalid:\r\n```\r\n{\r\n    \"foo\": {}\r\n}\r\n```\r\n\r\nThis issue was reported here - https://github.com/FreeRTOS/coreJSON/issues/168\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>","shortMessageHtmlLink":"Treat empty JSON object in key-value pair as valid (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2416461381\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/169\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/169/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/169\">#169</a>)"}},{"before":"10c26b8c9eaa3b36ef061b5d0fecfb65be452b6d","after":"2bb62946c1cf8cae01ce13ba3fa9cb527ab29b96","ref":"refs/heads/main","pushedAt":"2024-07-02T01:49:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"chinglee-iot","name":null,"path":"/chinglee-iot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61685396?s=80&v=4"},"commit":{"message":"Update LTS 202406 information (#166)","shortMessageHtmlLink":"Update LTS 202406 information (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2383097598\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/166/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/166\">#166</a>)"}},{"before":"ecb0af5ff0f241cf2036a886daa0e56237ec203c","after":"6464fac019bca629b3d2fa46d568f33c74fde4cd","ref":"refs/heads/gh-pages","pushedAt":"2024-07-01T21:23:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 10c26b8c9eaa3b36ef061b5d0fecfb65be452b6d","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/10c26b8c9eaa3b36ef061b5d0fecfb65be452b6d/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/10c26b8c9eaa3b36ef061b5d0fecfb65be452b6d\"><tt>10c26b8</tt></a>"}},{"before":"fdfe306d2fda3c782fdecadd0a43c7d747767c4d","after":"10c26b8c9eaa3b36ef061b5d0fecfb65be452b6d","ref":"refs/heads/main","pushedAt":"2024-07-01T21:22:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"},"commit":{"message":"Correctly detect missing key in a key-value pair (#167)\n\n* Correctly detect missing key in a key-value pair\r\n\r\nThe following invalid JSON document would be classified as valid JSON\r\nwithout this change:\r\n```\r\n{\r\n    \"key1\":\"val1\",\r\n    {\r\n        \"key2\":\"val2\"\r\n    }\r\n}\r\n```\r\n\r\nThe issue was reported here - https://github.com/FreeRTOS/coreJSON/issues/165.\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>\r\n\r\n* Update complexity threshold to 12\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>\r\n\r\n* Fix memory estimates and formatting checks\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>\r\n\r\n* Fix CBMC proofs\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>\r\n\r\n---------\r\n\r\nSigned-off-by: Gaurav Aggarwal <aggarg@amazon.com>","shortMessageHtmlLink":"Correctly detect missing key in a key-value pair (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2384273217\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/167\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/167/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/167\">#167</a>)"}},{"before":"e3b7663f6392d8c10e8db57506ec37e4801b145a","after":null,"ref":"refs/heads/v3.3.0","pushedAt":"2024-06-20T08:29:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"chinglee-iot","name":null,"path":"/chinglee-iot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61685396?s=80&v=4"}},{"before":"da5ad64e9a990342a2da3570917aec9e4ee5ef8a","after":"fdfe306d2fda3c782fdecadd0a43c7d747767c4d","ref":"refs/heads/main","pushedAt":"2024-06-10T17:21:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Use CBMC version 5.95.1 (#164)\n\nThe upcoming CBMC version 6 release includes changes that may affect\r\nexisting proofs. This PR will make sure that coreJSON PRs are not\r\nnegatively impacted by this release. After releasing CBMC version 6 we\r\nwill issue a follow-up PR that will return coreJSON to using CBMC's\r\nlatest release, and will include any changes to proofs that may be\r\nnecessary to support the new version.","shortMessageHtmlLink":"Use CBMC version 5.95.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337761087\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/164\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/164/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/164\">#164</a>)"}},{"before":"a1d436d08f5546e923badeefab8d1c9c330d5706","after":"ecb0af5ff0f241cf2036a886daa0e56237ec203c","ref":"refs/heads/gh-pages","pushedAt":"2024-06-06T17:39:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Remove symlink and add latest folder (#163)","shortMessageHtmlLink":"Remove symlink and add latest folder (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2337739791\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/163\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/163/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/163\">#163</a>)"}},{"before":"6523914a4d2e1fde39c529ba98c45236dea56381","after":"a1d436d08f5546e923badeefab8d1c9c330d5706","ref":"refs/heads/gh-pages","pushedAt":"2024-05-15T22:00:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 1a6c13a0e7902027d715c50d882664fbd3886235","shortMessageHtmlLink":"Doxygen for 1a6c13a0e7902027d715c50d882664fbd3886235"}},{"before":null,"after":"e3b7663f6392d8c10e8db57506ec37e4801b145a","ref":"refs/heads/v3.3.0","pushedAt":"2024-05-15T21:59:49.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Update SBOM","shortMessageHtmlLink":"Update SBOM"}},{"before":"3f195f85c0d24397fb9615398038df929bc24371","after":"da5ad64e9a990342a2da3570917aec9e4ee5ef8a","ref":"refs/heads/main","pushedAt":"2024-05-15T21:57:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Update doxygen version in readMe file (#162)","shortMessageHtmlLink":"Update doxygen version in readMe file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2296943285\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/162\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/162/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/162\">#162</a>)"}},{"before":"e48c1b651af85d7cbc44a195cc9a8ef7ffdf13f0","after":"6523914a4d2e1fde39c529ba98c45236dea56381","ref":"refs/heads/gh-pages","pushedAt":"2024-05-15T13:34:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 3f195f85c0d24397fb9615398038df929bc24371","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/3f195f85c0d24397fb9615398038df929bc24371/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/3f195f85c0d24397fb9615398038df929bc24371\"><tt>3f195f8</tt></a>"}},{"before":"55a3b1c111e1cf47213793b9a11db6ec07471a65","after":"3f195f85c0d24397fb9615398038df929bc24371","ref":"refs/heads/main","pushedAt":"2024-05-15T13:34:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Updating version number and adding PR to the changelog.md file (#159)\n\n* Update version number to v3.3.0\r\n\r\n* Add ChangeLog\r\n\r\n* Fix spell check","shortMessageHtmlLink":"Updating version number and adding PR to the changelog.md file (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291953597\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/159\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/159/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/159\">#159</a>)"}},{"before":"ba08615f23716c1720e38e274bef6d0380b4face","after":"55a3b1c111e1cf47213793b9a11db6ec07471a65","ref":"refs/heads/main","pushedAt":"2024-05-15T13:10:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Update release.yml for latest version release (#160)","shortMessageHtmlLink":"Update release.yml for latest version release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291977591\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/160\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/160/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/160\">#160</a>)"}},{"before":"e8fd5bef8834e668347e5d4435af732977381731","after":"ba08615f23716c1720e38e274bef6d0380b4face","ref":"refs/heads/main","pushedAt":"2024-05-15T12:32:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kar-rahul-aws","name":"Rahul Kar","path":"/kar-rahul-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/118818625?s=80&v=4"},"commit":{"message":"Update submodule pointer (#158)","shortMessageHtmlLink":"Update submodule pointer (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291859071\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/158/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/158\">#158</a>)"}},{"before":"b62938c328327f013a42d24b73f93aaf99fba4fc","after":"e48c1b651af85d7cbc44a195cc9a8ef7ffdf13f0","ref":"refs/heads/gh-pages","pushedAt":"2024-03-14T04:08:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for e8fd5bef8834e668347e5d4435af732977381731","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/e8fd5bef8834e668347e5d4435af732977381731/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/e8fd5bef8834e668347e5d4435af732977381731\"><tt>e8fd5be</tt></a>"}},{"before":"8401d38bd1568908cef8d8aaa2fa110f0ce08d91","after":"e8fd5bef8834e668347e5d4435af732977381731","ref":"refs/heads/main","pushedAt":"2024-03-14T04:08:13.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"chinglee-iot","name":null,"path":"/chinglee-iot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61685396?s=80&v=4"},"commit":{"message":"Fix MISRA C 2012 20.12 deviations (#157)\n\n* Use a local variable here to prevent macro replacement is subjected to macro itself.","shortMessageHtmlLink":"Fix MISRA C 2012 20.12 deviations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2183468585\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/157\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/157/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/157\">#157</a>)"}},{"before":"d37dadfe2dc1ce14d6c9d6c0350837d457b12388","after":"b62938c328327f013a42d24b73f93aaf99fba4fc","ref":"refs/heads/gh-pages","pushedAt":"2024-03-13T20:33:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 8401d38bd1568908cef8d8aaa2fa110f0ce08d91","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/8401d38bd1568908cef8d8aaa2fa110f0ce08d91/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/8401d38bd1568908cef8d8aaa2fa110f0ce08d91\"><tt>8401d38</tt></a>"}},{"before":"dc1ab9130a1fb99b801a2a1fa8e9f42239f752be","after":"8401d38bd1568908cef8d8aaa2fa110f0ce08d91","ref":"refs/heads/main","pushedAt":"2024-03-13T20:33:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"},"commit":{"message":"MISRA fixes (#153)\n\n* MISRA fixes\r\n\r\n* Uncrustify: triggered by comment.\r\n\r\n* Update doxygen comments\r\n\r\n* Formatting fixes\r\n\r\n* Uncrustify: triggered by comment.\r\n\r\n* Run github actions.\r\n\r\n* set coreJSON_ASSERT_DEFINED to 0\r\n\r\n* Update loop_invariants.patch\r\n\r\n* Update assert definition\r\n\r\n* Uncrustify: triggered by comment.\r\n\r\n* Run Github Actions\r\n\r\n---------\r\n\r\nCo-authored-by: GitHub Action <action@github.com>\r\nCo-authored-by: Soren Ptak <ptaksoren@gmail.com>","shortMessageHtmlLink":"MISRA fixes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2033124833\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/153\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/153/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/153\">#153</a>)"}},{"before":"e0c8c41edc3b8d5870f117fa59569a1146416b20","after":"d37dadfe2dc1ce14d6c9d6c0350837d457b12388","ref":"refs/heads/gh-pages","pushedAt":"2024-02-20T22:23:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for dc1ab9130a1fb99b801a2a1fa8e9f42239f752be","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/dc1ab9130a1fb99b801a2a1fa8e9f42239f752be/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/dc1ab9130a1fb99b801a2a1fa8e9f42239f752be\"><tt>dc1ab91</tt></a>"}},{"before":"fdfe5194b4a024eb858f8fc6a9908ca9c5751159","after":null,"ref":"refs/heads/MISRA_Fix","pushedAt":"2024-02-20T22:23:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"}},{"before":"b92c8cd9cdba790e46eab05f7a620b0f15c5be69","after":"dc1ab9130a1fb99b801a2a1fa8e9f42239f752be","ref":"refs/heads/main","pushedAt":"2024-02-20T22:23:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"},"commit":{"message":"Fix 2 MISRA violations (#156)","shortMessageHtmlLink":"Fix 2 MISRA violations (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2143307798\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/156\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/156/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/156\">#156</a>)"}},{"before":null,"after":"fdfe5194b4a024eb858f8fc6a9908ca9c5751159","ref":"refs/heads/MISRA_Fix","pushedAt":"2024-02-20T00:02:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"},"commit":{"message":"Fix 2 MISRA violations","shortMessageHtmlLink":"Fix 2 MISRA violations"}},{"before":"04231442f3335b94b0689364d107e3156eb4621d","after":"b92c8cd9cdba790e46eab05f7a620b0f15c5be69","ref":"refs/heads/main","pushedAt":"2024-01-09T17:22:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Skptak","name":"Soren Ptak","path":"/Skptak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24749346?s=80&v=4"},"commit":{"message":"Update word list (#155)\n\n* Add new common words to the cSpellWordList.txt","shortMessageHtmlLink":"Update word list (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2067924031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/155/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/155\">#155</a>)"}},{"before":"8c7ba865150f18472d9d1f145098ff47cd327ea6","after":"04231442f3335b94b0689364d107e3156eb4621d","ref":"refs/heads/main","pushedAt":"2024-01-04T10:10:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ActoryOu","name":"ActoryOu","path":"/ActoryOu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13195926?s=80&v=4"},"commit":{"message":"Add ClusterFuzzLite set up (#154)\n\n* Add ClusterFuzzLite set up\r\n\r\nSigned-off-by: David Korczynski <david@adalogics.com>\r\n\r\n* Extend ClusterFuzzLite README\r\n\r\nSigned-off-by: David Korczynski <david@adalogics.com>\r\n\r\n* Add newlines to ClusterFuzzLite\r\n\r\nSigned-off-by: David Korczynski <david@adalogics.com>\r\n\r\n* ClusterFuzzLite: nit\r\n\r\nSigned-off-by: David Korczynski <david@adalogics.com>\r\n\r\n---------\r\n\r\nSigned-off-by: David Korczynski <david@adalogics.com>","shortMessageHtmlLink":"Add ClusterFuzzLite set up (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2053118910\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/154/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/154\">#154</a>)"}},{"before":"d4a50ce495d3cb1c855dc43e3c850fef4e8826b1","after":"e0c8c41edc3b8d5870f117fa59569a1146416b20","ref":"refs/heads/gh-pages","pushedAt":"2023-10-17T23:50:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 8c7ba865150f18472d9d1f145098ff47cd327ea6","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/8c7ba865150f18472d9d1f145098ff47cd327ea6/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/8c7ba865150f18472d9d1f145098ff47cd327ea6\"><tt>8c7ba86</tt></a>"}},{"before":"121d5fc48e6909672a0bca079c97ddd9fef18f62","after":"8c7ba865150f18472d9d1f145098ff47cd327ea6","ref":"refs/heads/main","pushedAt":"2023-10-17T23:49:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"AniruddhaKanhere","name":"Aniruddha Kanhere","path":"/AniruddhaKanhere","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/60444055?s=80&v=4"},"commit":{"message":"Unbounded proofs of memory safety (#146)\n\n* Add a CBMC proof harness for multiSearch function\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\n\r\n* Make all CBMC proofs unbounded\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\n\r\n* Make coreJSON more verification friendly\r\n\r\nIn order to turn all bounded CBMC proofs into unbounded proofs,\r\nwe must make some small changes to coreJSON. Basically, we want\r\nto avoid uninitialized variables (CBMC sees them as non-deterministic\r\nvalues) and make sure the code in loops is resilient enough when\r\nworking with inputs of arbitrary size. The latter is important\r\nbecause we must annotate all loops with loop invariants.\r\nThe implementation should work together with these annotations\r\nin order to prove memory safety for inputs of arbitrary size.\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\n\r\n* Include patch with loop invariants\r\n\r\nModify existing CBMC proofs to remove any assumptions over the size\r\nof the input (a.k.a. bound). Instrument all loops with Hoare-style\r\nloop invariants and assigns clauses (define the modified memory\r\nwithin a loop), which CBMC uses to prove correctness. Annotate all\r\nloops using decreases clauses, which CBMC uses to prove termination.\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\n\r\n* Add patch for loop invariants in CI\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>\r\n\r\n---------\r\n\r\nSigned-off-by: Felipe R. Monteiro <felisous@amazon.com>","shortMessageHtmlLink":"Unbounded proofs of memory safety (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1708084370\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/146\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/146/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/146\">#146</a>)"}},{"before":"357cdf1298110682c568d244f047e2d84773d07a","after":"121d5fc48e6909672a0bca079c97ddd9fef18f62","ref":"refs/heads/main","pushedAt":"2023-10-05T16:39:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Skptak","name":"Soren Ptak","path":"/Skptak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24749346?s=80&v=4"},"commit":{"message":"Apply formatting bot fix (#151)","shortMessageHtmlLink":"Apply formatting bot fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1909656194\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/151\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/151/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/151\">#151</a>)"}},{"before":"84f903f4fdacf670dac5e9cd8f011e928e5063f3","after":"357cdf1298110682c568d244f047e2d84773d07a","ref":"refs/heads/main","pushedAt":"2023-09-05T21:32:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Skptak","name":"Soren Ptak","path":"/Skptak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24749346?s=80&v=4"},"commit":{"message":"CI-CD Updates (#150)\n\n* Use new version of CI-CD Actions,  checkout@v3 instead of checkout@v2 on all jobs\r\n* Use cSpell spell check, and use ubuntu-20.04 for formatting check\r\n* Add in bot formatting action","shortMessageHtmlLink":"CI-CD Updates (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1874771508\" data-permission-text=\"Title is private\" data-url=\"https://github.com/FreeRTOS/coreJSON/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/FreeRTOS/coreJSON/pull/150/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/pull/150\">#150</a>)"}},{"before":"5a03a74ff94183d3de91ef583783f1874155ac70","after":"d4a50ce495d3cb1c855dc43e3c850fef4e8826b1","ref":"refs/heads/gh-pages","pushedAt":"2023-08-02T22:57:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Doxygen for 84f903f4fdacf670dac5e9cd8f011e928e5063f3","shortMessageHtmlLink":"Doxygen for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/FreeRTOS/coreJSON/commit/84f903f4fdacf670dac5e9cd8f011e928e5063f3/hovercard\" href=\"https://github.com/FreeRTOS/coreJSON/commit/84f903f4fdacf670dac5e9cd8f011e928e5063f3\"><tt>84f903f</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yMFQxMTo1MToxMC4wMDAwMDBazwAAAASEkZxk","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0yMFQxMTo1MToxMC4wMDAwMDBazwAAAASEkZxk","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0wMlQyMjo1NzoyMy4wMDAwMDBazwAAAANiv35-"}},"title":"Activity · FreeRTOS/coreJSON"}