{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":138316792,"defaultBranch":"master","name":"riscv-coq","ownerLogin":"mit-plv","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-06-22T15:09:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/11860253?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1710858891.0","currentOid":""},"activityList":{"items":[{"before":"6072bd95d6899f2970c659db67834611fe7a408e","after":"d0afd4b58178976a2887c07e4f05c15d757fa0fc","ref":"refs/heads/master","pushedAt":"2024-03-07T16:44:40.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"samuelgruetter","name":"Samuel Gruetter","path":"/samuelgruetter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2394355?s=80&v=4"},"commit":{"message":"Merge pull request #35 from JasonGross/patch-1\n\nAdd `install-all`, `install-spec` targets","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2173282884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/mit-plv/riscv-coq/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/mit-plv/riscv-coq/pull/35/hovercard\" href=\"https://github.com/mit-plv/riscv-coq/pull/35\">#35</a> from JasonGross/patch-1"}},{"before":"1b39aec2bc5c5e669504537f4fda530f96f72583","after":"6072bd95d6899f2970c659db67834611fe7a408e","ref":"refs/heads/master","pushedAt":"2024-03-04T23:22:28.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":"delete old unused softmul files","shortMessageHtmlLink":"delete old unused softmul files"}},{"before":"50dae4639ae391a312cb0d9abf3bac29dcdfe8eb","after":"1b39aec2bc5c5e669504537f4fda530f96f72583","ref":"refs/heads/master","pushedAt":"2024-03-04T23:02:18.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":"move softmul files to separate repo","shortMessageHtmlLink":"move softmul files to separate repo"}},{"before":"ae9f340e047a2c300ceb2201132e7dbf0327415f","after":"50dae4639ae391a312cb0d9abf3bac29dcdfe8eb","ref":"refs/heads/master","pushedAt":"2024-02-23T15:31:29.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":"fix some warnings","shortMessageHtmlLink":"fix some warnings"}},{"before":"d1976b80f2e0bf19d31a1b9c976f55ab580127e7","after":"ae9f340e047a2c300ceb2201132e7dbf0327415f","ref":"refs/heads/master","pushedAt":"2024-02-14T05:36:20.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":"factor out MetricMaterializeRiscvProgram","shortMessageHtmlLink":"factor out MetricMaterializeRiscvProgram"}},{"before":"3c623d8ab2f67ac5c3bef075c6538f0747820f8a","after":"d1976b80f2e0bf19d31a1b9c976f55ab580127e7","ref":"refs/heads/master","pushedAt":"2023-11-27T19:11:53.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":"fix a few warnings","shortMessageHtmlLink":"fix a few warnings"}},{"before":"657e4fd1e45f81815a70e02eb518fc80ffc18648","after":"3c623d8ab2f67ac5c3bef075c6538f0747820f8a","ref":"refs/heads/master","pushedAt":"2023-05-24T05:36:27.777Z","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":"update riscv-semantics commit hash","shortMessageHtmlLink":"update riscv-semantics commit hash"}},{"before":"55c9cc88a6734550bdd913bfdf482d498c6354e6","after":"657e4fd1e45f81815a70e02eb518fc80ffc18648","ref":"refs/heads/master","pushedAt":"2023-05-24T05:34:15.411Z","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":"update riscv-semantics dep","shortMessageHtmlLink":"update riscv-semantics dep"}},{"before":"f193b6e2464adcba4933a0e64f8ac8afb1ba7021","after":"55c9cc88a6734550bdd913bfdf482d498c6354e6","ref":"refs/heads/master","pushedAt":"2023-03-16T23:01:16.887Z","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":"print register names like t0, t1, a0, s0, etc instead of x0, x1, etc","shortMessageHtmlLink":"print register names like t0, t1, a0, s0, etc instead of x0, x1, etc"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAED08HCQA","startCursor":null,"endCursor":null}},"title":"Activity · mit-plv/riscv-coq"}