{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":769358530,"defaultBranch":"main","name":"verismo","ownerLogin":"microsoft","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-03-08T22:07:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6154722?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716450521.0","currentOid":""},"activityList":{"items":[{"before":"8f7e776d1f6e90a8dfd4dac442e9d6f93c85cb26","after":"3556af688e7126ba76a9eec90dc2a40062f3ab72","ref":"refs/heads/main","pushedAt":"2024-05-24T19:58:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Remove some external_body markers in `security` mod (#6)\n\n* enable verification for _clear_kern_exe\r\n\r\n* enable more verification in monitor pcr mem","shortMessageHtmlLink":"Remove some external_body markers in <code>security</code> mod (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316168299\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/verismo/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/verismo/pull/6/hovercard\" href=\"https://github.com/microsoft/verismo/pull/6\">#6</a>)"}},{"before":null,"after":"c244b52b414352a6709ac878e84c49e7e5fc7d42","ref":"refs/heads/verify-more","pushedAt":"2024-05-23T07:48:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"enable more verification in monitor pcr mem","shortMessageHtmlLink":"enable more verification in monitor pcr mem"}},{"before":"5260dffd6d98137a7e1cb79895920dfd7f9999c4","after":"8f7e776d1f6e90a8dfd4dac442e9d6f93c85cb26","ref":"refs/heads/main","pushedAt":"2024-05-08T06:26:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Repair broken build from a new dev machine (#5)\n\n* Add test.sh into verismo.vhdx && Add more debug information && increase stack size\r\n\r\n* Add test.sh into verismo vhdx\r\n\r\n* Add deps for kernel and python && wait 3 seconds before umount\r\n\r\n* fmt","shortMessageHtmlLink":"Repair broken build from a new dev machine (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2284782348\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/verismo/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/verismo/pull/5/hovercard\" href=\"https://github.com/microsoft/verismo/pull/5\">#5</a>)"}},{"before":"1877c04e174e3cd6f026805d6475b776aa787fc2","after":"a1a347a350afdedfee57f6da0755e8047ae002b1","ref":"refs/heads/demo","pushedAt":"2024-05-08T06:24:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"fmt","shortMessageHtmlLink":"fmt"}},{"before":"067a2ffdb71ba01575f9ba9379f643981c342fd9","after":"1877c04e174e3cd6f026805d6475b776aa787fc2","ref":"refs/heads/demo","pushedAt":"2024-05-08T05:16:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add deps for kernel and python && wait 3 seconds before umount","shortMessageHtmlLink":"Add deps for kernel and python &amp;&amp; wait 3 seconds before umount"}},{"before":null,"after":"067a2ffdb71ba01575f9ba9379f643981c342fd9","ref":"refs/heads/demo","pushedAt":"2024-05-07T23:53:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add test.sh into verismo vhdx","shortMessageHtmlLink":"Add test.sh into verismo vhdx"}},{"before":"4020e5e14cda674812166b7f7e9ea30119aab5b1","after":"5260dffd6d98137a7e1cb79895920dfd7f9999c4","ref":"refs/heads/main","pushedAt":"2024-05-02T22:51:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Update submodules && Use public repo  (#4)\n\n* change igvm url to a public one\r\n\r\n* update tools/verus\r\n\r\n* avoid \"use\" inside function to use the updated verus without additional patch.\r\n\r\n* Add fmt.sh\r\n\r\n* update verus commit\r\n\r\n* use ssh instead of https\r\n\r\n* Add linux kernel config\r\n\r\n* use public linux repo && force the use of gcc-9 since gcc-11 emits warns and has some issues with booting\r\n\r\n* run tools/fmt.sh\r\n\r\n* fix wrong url\r\n\r\n* add a missing sudo in fs.gen.sh\r\n\r\n* Add igvm commit\r\n\r\n* update readme\r\n\r\n* Add vm powershell scripts","shortMessageHtmlLink":"Update submodules &amp;&amp; Use public repo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2270124540\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/verismo/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/verismo/pull/4/hovercard\" href=\"https://github.com/microsoft/verismo/pull/4\">#4</a>)"}},{"before":"9cb014b85e1e49298bde6c71ba72ad025a62db3d","after":"9a8d1e8005812d6e6565003bdf1c4897b4e7ba13","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T22:45:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add vm powershell scripts","shortMessageHtmlLink":"Add vm powershell scripts"}},{"before":"877f71486d96b31b93d193476fe829da34db2112","after":"9cb014b85e1e49298bde6c71ba72ad025a62db3d","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T19:35:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"update readme","shortMessageHtmlLink":"update readme"}},{"before":"3e53a35a8b3f118d19a17f242080460584be2648","after":"877f71486d96b31b93d193476fe829da34db2112","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T19:23:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add igvm commit","shortMessageHtmlLink":"Add igvm commit"}},{"before":"b9338198b4c6b6e43f02d89602ee9a598643932a","after":"3e53a35a8b3f118d19a17f242080460584be2648","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T19:12:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"add a missing sudo in fs.gen.sh","shortMessageHtmlLink":"add a missing sudo in fs.gen.sh"}},{"before":"7c05efabd8f8d773f708ee176341a3580ff2edc2","after":"b9338198b4c6b6e43f02d89602ee9a598643932a","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T18:50:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"fix wrong url","shortMessageHtmlLink":"fix wrong url"}},{"before":"f119f3db9b99cdc3dcf221c00210561649202e3e","after":"7c05efabd8f8d773f708ee176341a3580ff2edc2","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T18:49:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"run tools/fmt.sh","shortMessageHtmlLink":"run tools/fmt.sh"}},{"before":"92ec897150c2f652186ca2158703ab118d624815","after":"f119f3db9b99cdc3dcf221c00210561649202e3e","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T18:48:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"remove #threads in Makefile","shortMessageHtmlLink":"remove #threads in Makefile"}},{"before":"fb7163a2b67055c894181b24252287ce55fb49af","after":"92ec897150c2f652186ca2158703ab118d624815","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-29T18:42:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"use publix linux repo && force the use of gcc-9 since gcc-11 emits warns and has some issues with booting","shortMessageHtmlLink":"use publix linux repo &amp;&amp; force the use of gcc-9 since gcc-11 emits wa…"}},{"before":"6fb0b3d3cb2d57bfc0b1e03eb08e5543bb979f27","after":"fb7163a2b67055c894181b24252287ce55fb49af","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-26T21:32:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add linux kernel config","shortMessageHtmlLink":"Add linux kernel config"}},{"before":"6e4f252f61f1b4fd0aa19cb70d1cf63ff7b03497","after":"6fb0b3d3cb2d57bfc0b1e03eb08e5543bb979f27","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-26T19:41:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"use ssh instead of https","shortMessageHtmlLink":"use ssh instead of https"}},{"before":"bb2c2f0fc6a583d6ef800983403ed6713408dbf6","after":"6e4f252f61f1b4fd0aa19cb70d1cf63ff7b03497","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-26T19:33:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"update verus commit","shortMessageHtmlLink":"update verus commit"}},{"before":"b850a77d60b24bfed8ccc5c82fdd6a943394f833","after":"bb2c2f0fc6a583d6ef800983403ed6713408dbf6","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-26T19:08:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"update commits for igvm and verus","shortMessageHtmlLink":"update commits for igvm and verus"}},{"before":"fa7b3a952be75c49c5320f4ca4362be21f51bc82","after":"b850a77d60b24bfed8ccc5c82fdd6a943394f833","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-25T22:39:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Merge branch 'main' into resolve-deps","shortMessageHtmlLink":"Merge branch 'main' into resolve-deps"}},{"before":"df20d6070379d8500c57fdb7b4f16ec34f76c2c7","after":"fa7b3a952be75c49c5320f4ca4362be21f51bc82","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-25T22:37:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Add fmt.sh","shortMessageHtmlLink":"Add fmt.sh"}},{"before":null,"after":"df20d6070379d8500c57fdb7b4f16ec34f76c2c7","ref":"refs/heads/resolve-deps","pushedAt":"2024-04-25T22:33:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"change igvm url to a public one","shortMessageHtmlLink":"change igvm url to a public one"}},{"before":"bb3828cf7b3847a5b1d98ef9964c1b5447221d0e","after":"4020e5e14cda674812166b7f7e9ea30119aab5b1","ref":"refs/heads/main","pushedAt":"2024-04-25T18:39:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Revert \"Create codeql.yml\"\n\nThis reverts commit bb3828cf7b3847a5b1d98ef9964c1b5447221d0e.","shortMessageHtmlLink":"Revert \"Create codeql.yml\""}},{"before":"91b3bdb5e4734cbb4fe29593132f2e3569e3a3d4","after":"bb3828cf7b3847a5b1d98ef9964c1b5447221d0e","ref":"refs/heads/main","pushedAt":"2024-04-25T17:40:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Create codeql.yml\n\nFix broken C build: No C code","shortMessageHtmlLink":"Create codeql.yml"}},{"before":"c9e77b09469edd6777e3455bc116af1dc1dd986a","after":"91b3bdb5e4734cbb4fe29593132f2e3569e3a3d4","ref":"refs/heads/main","pushedAt":"2024-04-25T17:37:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Fix autobuild (#3)\n\n* No C code in repo and do not use Makefile to confuse the autobuild tool\r\n\r\n* fix readme","shortMessageHtmlLink":"Fix autobuild (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2264142266\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/verismo/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/verismo/pull/3/hovercard\" href=\"https://github.com/microsoft/verismo/pull/3\">#3</a>)"}},{"before":"61515ae0f10c9365fb606d6545fa0a9155bc08eb","after":"d5767873e8703c42367341aaa9bdda85b74b471a","ref":"refs/heads/fix-autobuild","pushedAt":"2024-04-25T17:36:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"fix readme","shortMessageHtmlLink":"fix readme"}},{"before":null,"after":"61515ae0f10c9365fb606d6545fa0a9155bc08eb","ref":"refs/heads/fix-autobuild","pushedAt":"2024-04-25T17:34:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"No C code in repo and do not use Makefile to confuse the autobuild tool","shortMessageHtmlLink":"No C code in repo and do not use Makefile to confuse the autobuild tool"}},{"before":"31d10e699caf8dc17c356aaebef6cb219100f448","after":"c9e77b09469edd6777e3455bc116af1dc1dd986a","ref":"refs/heads/main","pushedAt":"2024-04-25T10:48:34.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"Merge all code into microsoft repo (#2)\n\nInitial code","shortMessageHtmlLink":"Merge all code into microsoft repo (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2263272737\" data-permission-text=\"Title is private\" data-url=\"https://github.com/microsoft/verismo/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/microsoft/verismo/pull/2/hovercard\" href=\"https://github.com/microsoft/verismo/pull/2\">#2</a>)"}},{"before":"d2ebf5ada47ce614949c9766c1c12c735661be50","after":"4e7d0e82dd623d3e3345c2a9990e5cc7d4e121b7","ref":"refs/heads/merge","pushedAt":"2024-04-25T10:45:38.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"verified(all)","shortMessageHtmlLink":"verified(all)"}},{"before":"410c2213f7f31853ce5c3edb461dd7be35448c02","after":"d2ebf5ada47ce614949c9766c1c12c735661be50","ref":"refs/heads/merge","pushedAt":"2024-04-24T23:11:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ziqiaozhou","name":"ziqiaozhou","path":"/ziqiaozhou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10904344?s=80&v=4"},"commit":{"message":"remove depracted broadcast_forall","shortMessageHtmlLink":"remove depracted broadcast_forall"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU13RjgA","startCursor":null,"endCursor":null}},"title":"Activity · microsoft/verismo"}