{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":135329184,"defaultBranch":"master","name":"bedrock2","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-29T17:15:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713795015.0","currentOid":""},"activityList":{"items":[{"before":"910e7199850b71a3c4ae61808e03a34a64acc4bf","after":"a75bccab8ce95ff4c2e83064f785e841d3bc9619","ref":"refs/heads/master","pushedAt":"2024-05-13T05:25:07.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"automation to fill sepapps with predicates castable to bytes","shortMessageHtmlLink":"automation to fill sepapps with predicates castable to bytes"}},{"before":"1c60d201977b4a64bb529f3924965dcc20b2274b","after":"e329a1690f49ab5efaa2caf9f352b92c3273cf0a","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-11T00:00:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"sketch automation to show that a sepapps can be filled with any bytes","shortMessageHtmlLink":"sketch automation to show that a sepapps can be filled with any bytes"}},{"before":"91febd486979b7e7a69cf71c81998c3101ea47bf","after":"1c60d201977b4a64bb529f3924965dcc20b2274b","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-10T02:49:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"separate cancel_ex1_head step from eexists step\n\nso that eexists step for tuples and records can choose to\ncreate several evars","shortMessageHtmlLink":"separate cancel_ex1_head step from eexists step"}},{"before":"3fff90d57c38e9c4d0895f81479c433aca19356c","after":"91febd486979b7e7a69cf71c81998c3101ea47bf","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-08T02:46:12.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"make fillable a sigma instead of an exists\n\nso that it can be used to instantiate evars","shortMessageHtmlLink":"make fillable a sigma instead of an exists"}},{"before":"17b631a3a39f64a1bdb22d9ee200069b1b4a4aad","after":"3fff90d57c38e9c4d0895f81479c433aca19356c","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-06T19:24:13.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"allow semicolon after function signature","shortMessageHtmlLink":"allow semicolon after function signature"}},{"before":"cc84f6f46eb4e50f30fe84e21a34332966ba9ff3","after":"17b631a3a39f64a1bdb22d9ee200069b1b4a4aad","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-03T18:12:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"more thinking about spec of net_rx_eth","shortMessageHtmlLink":"more thinking about spec of net_rx_eth"}},{"before":"3103886dda11c8a948cdb9a66f3a4aa368701482","after":"cc84f6f46eb4e50f30fe84e21a34332966ba9ff3","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-02T21:43:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"packet definitions","shortMessageHtmlLink":"packet definitions"}},{"before":"2a82c03f5dda95d033903918c8d21ddd6536d4c0","after":"3103886dda11c8a948cdb9a66f3a4aa368701482","ref":"refs/heads/e1000_dev","pushedAt":"2024-05-02T04:19:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"packet header nesting/spec/big endian","shortMessageHtmlLink":"packet header nesting/spec/big endian"}},{"before":"2ad571af1e9fbd4f7b3fc01080fec360b367ef95","after":"2a82c03f5dda95d033903918c8d21ddd6536d4c0","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-27T06:21:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"byte list predicates, might replace sepapp?","shortMessageHtmlLink":"byte list predicates, might replace sepapp?"}},{"before":"c30b54025e7b86ffb4c834c73e277df3d6fe4143","after":"2ad571af1e9fbd4f7b3fc01080fec360b367ef95","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-26T01:18:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"start sketching network","shortMessageHtmlLink":"start sketching network"}},{"before":"9f907f57cdf452c3cd86655fdd626aeea4b80c8b","after":"c30b54025e7b86ffb4c834c73e277df3d6fe4143","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-24T22:18:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"relate DMA/MMIO trace to higher-level packet trace","shortMessageHtmlLink":"relate DMA/MMIO trace to higher-level packet trace"}},{"before":"b305b98db0ed8067c7f428cb71a4366467dd6b2e","after":"9f907f57cdf452c3cd86655fdd626aeea4b80c8b","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-23T22:32:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"circular_buffer_slice definition based on sepapps and array\n\ninstead of very list-of-addrs-based, LiveVerif-unrelated defs","shortMessageHtmlLink":"circular_buffer_slice definition based on sepapps and array"}},{"before":"d2a7b0e6f5e3ee82c6bc07b6ecb9d7e5bb388601","after":"b305b98db0ed8067c7f428cb71a4366467dd6b2e","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-23T01:29:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"wip e1000","shortMessageHtmlLink":"wip e1000"}},{"before":"3c9629b55693dd9a5b5db78a5850f9ef1aad20f1","after":"d2a7b0e6f5e3ee82c6bc07b6ecb9d7e5bb388601","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-19T23:22:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"wip e1000_rx","shortMessageHtmlLink":"wip e1000_rx"}},{"before":null,"after":"505ffc5b90d3e01899ebf81af60fe7379c6e694a","ref":"refs/heads/wp_interact_experiments","pushedAt":"2024-04-19T20:20:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"old, not so convincing wp_interact experiments","shortMessageHtmlLink":"old, not so convincing wp_interact experiments"}},{"before":"35dd73e48bec6c5c66a4508fc4f82c27d316ea0a","after":null,"ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-04-19T04:06:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"53e60da87ab1ca06bb44f2c5d48487e432a0e652","after":"910e7199850b71a3c4ae61808e03a34a64acc4bf","ref":"refs/heads/master","pushedAt":"2024-04-19T04:06:37.000Z","pushType":"pr_merge","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":"Bump actions/checkout from 3 to 4 (#375)\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1924339061\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/bedrock2/issues/375\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/bedrock2/pull/375/hovercard\" href=\"https://github.com/mit-plv/bedrock2/pull/375\">#375</a>)"}},{"before":"f281757877fe1da80af8d915813224615307fa78","after":"35dd73e48bec6c5c66a4508fc4f82c27d316ea0a","ref":"refs/heads/dependabot/github_actions/actions/checkout-4","pushedAt":"2024-04-19T02:49:36.000Z","pushType":"force_push","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 actions/checkout from 3 to 4\n\nBumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v3...v4)\n\n---\nupdated-dependencies:\n- dependency-name: actions/checkout\n  dependency-type: direct:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump actions/checkout from 3 to 4"}},{"before":null,"after":"3c9629b55693dd9a5b5db78a5850f9ef1aad20f1","ref":"refs/heads/e1000_dev","pushedAt":"2024-04-19T00:09:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"wip memory partitioning of e1000_init","shortMessageHtmlLink":"wip memory partitioning of e1000_init"}},{"before":"e059c0df4126e08f5697cbc4b07b184dee41fa4d","after":"53e60da87ab1ca06bb44f2c5d48487e432a0e652","ref":"refs/heads/master","pushedAt":"2024-04-18T19:36:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"make reversed list notations left-associative","shortMessageHtmlLink":"make reversed list notations left-associative"}},{"before":"4be9dc2eac650d9079483316d472841efccd4545","after":"e059c0df4126e08f5697cbc4b07b184dee41fa4d","ref":"refs/heads/master","pushedAt":"2024-04-18T17:47:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"stop updating the tested branch (#421)","shortMessageHtmlLink":"stop updating the tested branch (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2251237148\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/bedrock2/issues/421\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/bedrock2/pull/421/hovercard\" href=\"https://github.com/mit-plv/bedrock2/pull/421\">#421</a>)"}},{"before":"a7857fdacf52c8d97895e6f6a02dd4d0bfd065ec","after":null,"ref":"refs/heads/tested","pushedAt":"2024-04-18T17:47:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"}},{"before":null,"after":"a7857fdacf52c8d97895e6f6a02dd4d0bfd065ec","ref":"refs/heads/tested-is-no-longer-updated","pushedAt":"2024-04-18T17:47:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"wip e1000 & sizeof(p) in C code\n\nwhere p is a separation logic predicate, but also a C type","shortMessageHtmlLink":"wip e1000 &amp; sizeof(p) in C code"}},{"before":null,"after":"d7c81f177fec22109f59cb93313b5368fbae2c22","ref":"refs/heads/stop-updating-tested","pushedAt":"2024-04-18T17:45:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"stop updating the tested branch","shortMessageHtmlLink":"stop updating the tested branch"}},{"before":"d002638e7aa43a315a3c01c3a731668b0ab6e929","after":null,"ref":"refs/heads/dependabot/submodules/deps/coqutil-92bae53","pushedAt":"2024-04-18T16:52:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"609bc082f3d15f8a96f87d150bcde8b2de7684c2","after":"4be9dc2eac650d9079483316d472841efccd4545","ref":"refs/heads/master","pushedAt":"2024-04-18T16:52:09.000Z","pushType":"pr_merge","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":"Bump deps/coqutil from `a392b79` to `92bae53` (#420)\n\nBumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `a392b79` to `92bae53`.\n- [Release notes](https://github.com/mit-plv/coqutil/releases)\n- [Commits](https://github.com/mit-plv/coqutil/compare/a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371...92bae53562886245f3aa0633aff05330badb4706)\n\n---\nupdated-dependencies:\n- dependency-name: deps/coqutil\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","shortMessageHtmlLink":"Bump deps/coqutil from <code>a392b79</code> to <code>92bae53</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2250725358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/bedrock2/issues/420\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/bedrock2/pull/420/hovercard\" href=\"https://github.com/mit-plv/bedrock2/pull/420\">#420</a>)"}},{"before":null,"after":"d002638e7aa43a315a3c01c3a731668b0ab6e929","ref":"refs/heads/dependabot/submodules/deps/coqutil-92bae53","pushedAt":"2024-04-18T13:37:16.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 deps/coqutil from `a392b79` to `92bae53`\n\nBumps [deps/coqutil](https://github.com/mit-plv/coqutil) from `a392b79` to `92bae53`.\n- [Release notes](https://github.com/mit-plv/coqutil/releases)\n- [Commits](https://github.com/mit-plv/coqutil/compare/a392b7992cc70a2a7f2d9cd02e45c87bdb0cd371...92bae53562886245f3aa0633aff05330badb4706)\n\n---\nupdated-dependencies:\n- dependency-name: deps/coqutil\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump deps/coqutil from <code>a392b79</code> to <code>92bae53</code>"}},{"before":"8db73eb1d5f20563d7c2b79791e85a77efae0a8e","after":"609bc082f3d15f8a96f87d150bcde8b2de7684c2","ref":"refs/heads/master","pushedAt":"2024-04-18T13:36:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Schedule dependabot leading Rupicola (#419)","shortMessageHtmlLink":"Schedule dependabot leading Rupicola (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2250528863\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/bedrock2/issues/419\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/bedrock2/pull/419/hovercard\" href=\"https://github.com/mit-plv/bedrock2/pull/419\">#419</a>)"}},{"before":null,"after":"9063767406138c24ab6d5e37bbf77c711590188e","ref":"refs/heads/schedule-dependabot","pushedAt":"2024-04-18T12:08:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"Schedule dependabot leading Rupicola","shortMessageHtmlLink":"Schedule dependabot leading Rupicola"}},{"before":"b9aea1e9e456993f35fd12839509d18707fda8e0","after":"8db73eb1d5f20563d7c2b79791e85a77efae0a8e","ref":"refs/heads/master","pushedAt":"2024-04-18T11:03:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"andres-erbsen","name":"Andres Erbsen","path":"/andres-erbsen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/918403?s=80&v=4"},"commit":{"message":"[CI] create dependabot-automerge.yml (#417)","shortMessageHtmlLink":"[CI] create dependabot-automerge.yml (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2242292889\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/bedrock2/issues/417\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/bedrock2/pull/417/hovercard\" href=\"https://github.com/mit-plv/bedrock2/pull/417\">#417</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESAdUQAA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/bedrock2"}