{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":342393010,"defaultBranch":"master","name":"cerberus","ownerLogin":"rems-project","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-25T22:11:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35805581?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726088083.0","currentOid":""},"activityList":{"items":[{"before":"b19faece0691a106c1a70ea72db15b5ec469a99a","after":"8fb942ed8d310a5ef687a16c3e8f22163a2b6053","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T14:16:47.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 68b0b092f263ec9acebd0b330766c5cede384aea","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/68b0b092f263ec9acebd0b330766c5cede384aea/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/68b0b092f263ec9acebd0b330766c5cede384aea\"><tt>68b0b09</tt></a>"}},{"before":"e85a7398dca9fa61f131b0cd855a78eab0cf49da","after":"68b0b092f263ec9acebd0b330766c5cede384aea","ref":"refs/heads/master","pushedAt":"2024-09-26T14:10:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Constrain global allocations","shortMessageHtmlLink":"CN VIP: Constrain global allocations"}},{"before":"f77736f56ca6ab95eb9cc2251e749ba854acd7a5","after":"b19faece0691a106c1a70ea72db15b5ec469a99a","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T07: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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for e85a7398dca9fa61f131b0cd855a78eab0cf49da","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/e85a7398dca9fa61f131b0cd855a78eab0cf49da/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/e85a7398dca9fa61f131b0cd855a78eab0cf49da\"><tt>e85a739</tt></a>"}},{"before":"98434f0d70f04c54ca60c0fd9372c6933a4c0742","after":"e85a7398dca9fa61f131b0cd855a78eab0cf49da","ref":"refs/heads/master","pushedAt":"2024-09-26T07:51:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"Fix edge case in benchmarking","shortMessageHtmlLink":"Fix edge case in benchmarking"}},{"before":"363ac3803c97d9cfad4ba442aec2db7910a20b71","after":"f77736f56ca6ab95eb9cc2251e749ba854acd7a5","ref":"refs/heads/gh-pages","pushedAt":"2024-09-26T07:48:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"Reset benchmarking charts for multiple solvers","shortMessageHtmlLink":"Reset benchmarking charts for multiple solvers"}},{"before":"105ed023894a922ed72704e67e2653664a74c542","after":"363ac3803c97d9cfad4ba442aec2db7910a20b71","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T17:58:35.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 98434f0d70f04c54ca60c0fd9372c6933a4c0742","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/98434f0d70f04c54ca60c0fd9372c6933a4c0742/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/98434f0d70f04c54ca60c0fd9372c6933a4c0742\"><tt>98434f0</tt></a>"}},{"before":"7bf378a5d56736e017461cec967768a26348e659","after":"98434f0d70f04c54ca60c0fd9372c6933a4c0742","ref":"refs/heads/master","pushedAt":"2024-09-25T17:54:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rbanerjee20","name":"Rini Banerjee","path":"/rbanerjee20","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26858592?s=80&v=4"},"commit":{"message":"[CN-exec] Fix anonymous records (#585)","shortMessageHtmlLink":"[CN-exec] Fix anonymous records (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539268347\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/cerberus/issues/585\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/cerberus/pull/585/hovercard\" href=\"https://github.com/rems-project/cerberus/pull/585\">#585</a>)"}},{"before":"da1ae6c5962ac1fb639fe809f3bb0f6d1cfdfcde","after":"105ed023894a922ed72704e67e2653664a74c542","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T15:54:33.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 7bf378a5d56736e017461cec967768a26348e659","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/7bf378a5d56736e017461cec967768a26348e659/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/7bf378a5d56736e017461cec967768a26348e659\"><tt>7bf378a</tt></a>"}},{"before":"8db0cb67883716acb0182777e71441ee9ab791c2","after":"7bf378a5d56736e017461cec967768a26348e659","ref":"refs/heads/master","pushedAt":"2024-09-25T15:50:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"disable that ci-pr-bench workflow","shortMessageHtmlLink":"disable that ci-pr-bench workflow"}},{"before":"66f9bb5b741144b8ddc57429824af12aaa7d9fd8","after":"da1ae6c5962ac1fb639fe809f3bb0f6d1cfdfcde","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T15:01:48.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 8db0cb67883716acb0182777e71441ee9ab791c2","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/8db0cb67883716acb0182777e71441ee9ab791c2/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/8db0cb67883716acb0182777e71441ee9ab791c2\"><tt>8db0cb6</tt></a>"}},{"before":"3bac7c653af570889c9214047b1bb7186e9b8eb8","after":"8db0cb67883716acb0182777e71441ee9ab791c2","ref":"refs/heads/master","pushedAt":"2024-09-25T14:57:26.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"Try adding token permissions","shortMessageHtmlLink":"Try adding token permissions"}},{"before":"3945d42ee903df568aa32037a972e63305389299","after":"66f9bb5b741144b8ddc57429824af12aaa7d9fd8","ref":"refs/heads/gh-pages","pushedAt":"2024-09-25T12:26:52.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 3bac7c653af570889c9214047b1bb7186e9b8eb8","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/3bac7c653af570889c9214047b1bb7186e9b8eb8/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/3bac7c653af570889c9214047b1bb7186e9b8eb8\"><tt>3bac7c6</tt></a>"}},{"before":"6cc779a902ec791dc78662fda796b5ac3617ba89","after":"3bac7c653af570889c9214047b1bb7186e9b8eb8","ref":"refs/heads/master","pushedAt":"2024-09-25T12:22:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Clarify pointer to int","shortMessageHtmlLink":"CN VIP: Clarify pointer to int"}},{"before":"a87e72eca33ea1f9c41b84db62f9b967a37aee14","after":"3945d42ee903df568aa32037a972e63305389299","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T20:32:49.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 6cc779a902ec791dc78662fda796b5ac3617ba89","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/6cc779a902ec791dc78662fda796b5ac3617ba89/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/6cc779a902ec791dc78662fda796b5ac3617ba89\"><tt>6cc779a</tt></a>"}},{"before":"95575f07714c4262b2175a5d4c90c894c950553d","after":"6cc779a902ec791dc78662fda796b5ac3617ba89","ref":"refs/heads/master","pushedAt":"2024-09-24T20:28:49.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Add int to pointer rules\n\n0 addresses are mapped to NULL, otherwise mapped to a pointer with an\nunconstrained provenance.","shortMessageHtmlLink":"CN VIP: Add int to pointer rules"}},{"before":"75710721d9d0de533747d40969beb015037641fa","after":"a87e72eca33ea1f9c41b84db62f9b967a37aee14","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T12:31:57.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 95575f07714c4262b2175a5d4c90c894c950553d","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/95575f07714c4262b2175a5d4c90c894c950553d/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/95575f07714c4262b2175a5d4c90c894c950553d\"><tt>95575f0</tt></a>"}},{"before":"2c4e2558555621a34693ffa902f0bb9bd8578ba6","after":"95575f07714c4262b2175a5d4c90c894c950553d","ref":"refs/heads/master","pushedAt":"2024-09-24T12:27:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Add live and bounds check to copy_alloc_id","shortMessageHtmlLink":"CN VIP: Add live and bounds check to copy_alloc_id"}},{"before":"06f23e3a06e660d65b5b5832656509672164572b","after":"75710721d9d0de533747d40969beb015037641fa","ref":"refs/heads/gh-pages","pushedAt":"2024-09-24T04:28: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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 2c4e2558555621a34693ffa902f0bb9bd8578ba6","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/2c4e2558555621a34693ffa902f0bb9bd8578ba6/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/2c4e2558555621a34693ffa902f0bb9bd8578ba6\"><tt>2c4e255</tt></a>"}},{"before":"c665b482c7bc580c0202edf73730dc9da7e6770f","after":"2c4e2558555621a34693ffa902f0bb9bd8578ba6","ref":"refs/heads/master","pushedAt":"2024-09-24T04:24:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ZippeyKeys12","name":"Zain K Aamer","path":"/ZippeyKeys12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9499189?s=80&v=4"},"commit":{"message":"[CN-Exec] Add `convert_from_cn_map` (#581)\n\nAnd special-case logic in `cn_internal_to_ail.ml`","shortMessageHtmlLink":"[CN-Exec] Add <code>convert_from_cn_map</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2534346489\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/cerberus/issues/581\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/cerberus/pull/581/hovercard\" href=\"https://github.com/rems-project/cerberus/pull/581\">#581</a>)"}},{"before":"bdf24ffccfb2f4f224f7ccd31af261b262c9b280","after":"06f23e3a06e660d65b5b5832656509672164572b","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T16:14:04.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for c665b482c7bc580c0202edf73730dc9da7e6770f","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/c665b482c7bc580c0202edf73730dc9da7e6770f/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/c665b482c7bc580c0202edf73730dc9da7e6770f\"><tt>c665b48</tt></a>"}},{"before":"69cc19476ed3428d514f77aed4d5af29ee72fd85","after":"c665b482c7bc580c0202edf73730dc9da7e6770f","ref":"refs/heads/master","pushedAt":"2024-09-23T16:09:46.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Add bounds checks for ptr relops\n\nThis commit implements the VIP typing rules for pointer relational (<,\n>, >=, <=) operators, for which both operands must be of the same live\nallocation.","shortMessageHtmlLink":"CN VIP: Add bounds checks for ptr relops"}},{"before":"e51f402b7811723b1414d89b5b60ce8d4acbe8dd","after":"bdf24ffccfb2f4f224f7ccd31af261b262c9b280","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T12:58:00.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 69cc19476ed3428d514f77aed4d5af29ee72fd85","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/69cc19476ed3428d514f77aed4d5af29ee72fd85/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/69cc19476ed3428d514f77aed4d5af29ee72fd85\"><tt>69cc194</tt></a>"}},{"before":"b9d2a5e5f33b9363acc323f47d1bf980915eebdf","after":"69cc19476ed3428d514f77aed4d5af29ee72fd85","ref":"refs/heads/master","pushedAt":"2024-09-23T12:53:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"dc-mak","name":"Dhruv Makwana","path":"/dc-mak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7052028?s=80&v=4"},"commit":{"message":"CN VIP: Add bounds checks for shifting\n\nThis commit implements the VIP typing rules for member and array\nshifting. In particular, pure shifts do not require the allocation to be live,\nbut the ISO version (PtrArrayShift) does. However, that AST construct is\nonly produced if the appropriate switch is passed to Cerberus, and so\nconditioning on that is not required within the CN/checker code.","shortMessageHtmlLink":"CN VIP: Add bounds checks for shifting"}},{"before":"006d3aa9d83487962e25d12acf1a7aeda14d136d","after":"e51f402b7811723b1414d89b5b60ce8d4acbe8dd","ref":"refs/heads/gh-pages","pushedAt":"2024-09-23T10:04:06.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for b9d2a5e5f33b9363acc323f47d1bf980915eebdf","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/b9d2a5e5f33b9363acc323f47d1bf980915eebdf/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/b9d2a5e5f33b9363acc323f47d1bf980915eebdf\"><tt>b9d2a5e</tt></a>"}},{"before":"a09536a1160f7d2ee3ba549824e15a46e0e7d583","after":"b9d2a5e5f33b9363acc323f47d1bf980915eebdf","ref":"refs/heads/master","pushedAt":"2024-09-23T09:59:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cp526","name":"Christopher Pulte","path":"/cp526","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6631650?s=80&v=4"},"commit":{"message":"Track total benchmark time in CI","shortMessageHtmlLink":"Track total benchmark time in CI"}},{"before":"ef6aead16e880a593d912cfe78d0663945789335","after":"006d3aa9d83487962e25d12acf1a7aeda14d136d","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T18:22:49.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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for a09536a1160f7d2ee3ba549824e15a46e0e7d583","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/a09536a1160f7d2ee3ba549824e15a46e0e7d583/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/a09536a1160f7d2ee3ba549824e15a46e0e7d583\"><tt>a09536a</tt></a>"}},{"before":"0b1d3796f88d1733c6a744ee628b07d70f00344e","after":"a09536a1160f7d2ee3ba549824e15a46e0e7d583","ref":"refs/heads/master","pushedAt":"2024-09-17T17:44:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"kmemarian","name":"Kayvan Memarian","path":"/kmemarian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1258819?s=80&v=4"},"commit":{"message":"CHERI: fixing last Admit with new lemmas from `coq-cheri-capabilies` (#580)\n\n* adjustements to new coq-cheri-capabilities API.\r\n\r\n* adjusted encode_decode lemma\r\n\r\n* CHERI: fixing last Admit with new lemmas from `coq-cheri-capabilies`","shortMessageHtmlLink":"CHERI: fixing last Admit with new lemmas from <code>coq-cheri-capabilies</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2531622313\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/cerberus/issues/580\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/cerberus/pull/580/hovercard\" href=\"https://github.com/rems-project/cerberus/pull/580\">#…</a>"}},{"before":"8fdb1e97bdba4a345c7f7816d1f61e2f7a8d3726","after":"ef6aead16e880a593d912cfe78d0663945789335","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T10:21: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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 0b1d3796f88d1733c6a744ee628b07d70f00344e","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/0b1d3796f88d1733c6a744ee628b07d70f00344e/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/0b1d3796f88d1733c6a744ee628b07d70f00344e\"><tt>0b1d379</tt></a>"}},{"before":"2d01aed05d10524e1db00126ff026d2b7ac96661","after":"0b1d3796f88d1733c6a744ee628b07d70f00344e","ref":"refs/heads/master","pushedAt":"2024-09-17T10:17:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"rbanerjee20","name":"Rini Banerjee","path":"/rbanerjee20","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26858592?s=80&v=4"},"commit":{"message":"[CN-exec] Fix CN map set (#579)\n\nChange runtime translation of CN map set to always deep-copy the map passed in and then to update the copy of the map. Previously was an in-place update of the map, which was causing problems in swap_array.c in the CN tutorial.","shortMessageHtmlLink":"[CN-exec] Fix CN map set (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2529596307\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rems-project/cerberus/issues/579\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rems-project/cerberus/pull/579/hovercard\" href=\"https://github.com/rems-project/cerberus/pull/579\">#579</a>)"}},{"before":"f504859b093e6ca5ca15d9e0803ad0c53a63153c","after":"8fdb1e97bdba4a345c7f7816d1f61e2f7a8d3726","ref":"refs/heads/gh-pages","pushedAt":"2024-09-17T10:12: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":"add CN Benchmarks (customSmallerIsBetter) benchmark result for 2d01aed05d10524e1db00126ff026d2b7ac96661","shortMessageHtmlLink":"add CN Benchmarks (customSmallerIsBetter) benchmark result for <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/rems-project/cerberus/commit/2d01aed05d10524e1db00126ff026d2b7ac96661/hovercard\" href=\"https://github.com/rems-project/cerberus/commit/2d01aed05d10524e1db00126ff026d2b7ac96661\"><tt>2d01aed</tt></a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNlQxNDoxNjo0Ny4wMDAwMDBazwAAAATBllKH","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxMDoxMjozMC4wMDAwMDBazwAAAAS4Xyxi"}},"title":"Activity · rems-project/cerberus"}