{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":516747575,"defaultBranch":"main","name":"goldcrest-microcode-verification","ownerLogin":"ics-jku","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-22T12:46:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/82393573?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697726374.0","currentOid":""},"activityList":{"items":[{"before":"94e2e74ddcafbc720a7aaa7d07eb273e9fcdc043","after":"55d34042e9c60415caa7faef26ff0c34d4838df4","ref":"refs/heads/main","pushedAt":"2023-12-02T20:42:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"Fit to Verilog implementation (#5)\n\n* updated model and microcode for new architecture\r\n\r\n* made model fit with goldcrest\r\n\r\n* made model fit with goldcrest\r\n\r\n* Update microcode.rkt\r\n\r\nFixed previous merge error\r\n\r\n* Update microcode.sl\r\n\r\nfixed previous merge error","shortMessageHtmlLink":"Fit to Verilog implementation (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2014223436\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ics-jku/goldcrest-microcode-verification/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ics-jku/goldcrest-microcode-verification/pull/5/hovercard\" href=\"https://github.com/ics-jku/goldcrest-microcode-verification/pull/5\">#5</a>)"}},{"before":"d42b84170d62cdbd3fbf36be37375f07f1dad265","after":"94e2e74ddcafbc720a7aaa7d07eb273e9fcdc043","ref":"refs/heads/main","pushedAt":"2023-10-22T13:30:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"add additional tests and fast fail","shortMessageHtmlLink":"add additional tests and fast fail"}},{"before":"1f1f6208168cbf569cfe8617ca3c193aac21a6eb","after":"d42b84170d62cdbd3fbf36be37375f07f1dad265","ref":"refs/heads/main","pushedAt":"2023-10-21T22:06:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"updated model and microcode for new architecture","shortMessageHtmlLink":"updated model and microcode for new architecture"}},{"before":"406e6e3a2bfc91296ef857ed1947d76600754490","after":null,"ref":"refs/heads/ci","pushedAt":"2023-10-19T14:39:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"}},{"before":"ff01b728e310c4c5300b8f5bc49aeaa22981a62a","after":"1f1f6208168cbf569cfe8617ca3c193aac21a6eb","ref":"refs/heads/main","pushedAt":"2023-10-19T13:53:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"Update verify.yml","shortMessageHtmlLink":"Update verify.yml"}},{"before":"a4c3f7b3de49229e9c7149dcacfffb0f1524c0fb","after":"ff01b728e310c4c5300b8f5bc49aeaa22981a62a","ref":"refs/heads/main","pushedAt":"2023-10-19T13:52:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3118d88bfbab78d31e0241ab5d4786d0c2a1275b","after":"a4c3f7b3de49229e9c7149dcacfffb0f1524c0fb","ref":"refs/heads/main","pushedAt":"2023-10-19T12:26:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"Add Ci (#3)\n\n* update ci file","shortMessageHtmlLink":"Add Ci (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1952108300\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ics-jku/goldcrest-microcode-verification/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ics-jku/goldcrest-microcode-verification/pull/3/hovercard\" href=\"https://github.com/ics-jku/goldcrest-microcode-verification/pull/3\">#3</a>)"}},{"before":"7b00f137a6a7a9a0bf6036b46a50e17f8a9d63c5","after":"406e6e3a2bfc91296ef857ed1947d76600754490","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:57:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"6c7cee4c1ad1259a0b4fa31ab643b7f9e733386f","after":"7b00f137a6a7a9a0bf6036b46a50e17f8a9d63c5","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:50:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"d8d8a61acbb5f679752111260725598a3fb93264","after":"6c7cee4c1ad1259a0b4fa31ab643b7f9e733386f","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"ddcdf19d8e3e33409294fef72f6bd17233ac08bc","after":"d8d8a61acbb5f679752111260725598a3fb93264","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:42:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":"4490ac69bb69079b617de14beb212d13e9014723","after":"ddcdf19d8e3e33409294fef72f6bd17233ac08bc","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci","shortMessageHtmlLink":"update ci"}},{"before":null,"after":"4490ac69bb69079b617de14beb212d13e9014723","ref":"refs/heads/ci","pushedAt":"2023-10-19T11:38:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci file","shortMessageHtmlLink":"update ci file"}},{"before":"92a7b45705555e0661e24194fa7d74fe28173d05","after":"3118d88bfbab78d31e0241ab5d4786d0c2a1275b","ref":"refs/heads/main","pushedAt":"2023-10-19T11:30:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci file","shortMessageHtmlLink":"update ci file"}},{"before":"1d4e74d712b93d7abfbc5b9f12808c8e0902bf18","after":"92a7b45705555e0661e24194fa7d74fe28173d05","ref":"refs/heads/main","pushedAt":"2023-10-19T11:28:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci file","shortMessageHtmlLink":"update ci file"}},{"before":"b536fbe267102db9d3180edd8194b7124a0bf4a3","after":"1d4e74d712b93d7abfbc5b9f12808c8e0902bf18","ref":"refs/heads/main","pushedAt":"2023-10-19T11:27:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"update ci file","shortMessageHtmlLink":"update ci file"}},{"before":"4e42b132b6da59344f1dd14f65f75d96e00a2f7d","after":"b536fbe267102db9d3180edd8194b7124a0bf4a3","ref":"refs/heads/main","pushedAt":"2023-10-19T11:24:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"move ci file","shortMessageHtmlLink":"move ci file"}},{"before":"c96455d2b9a7b957daea707a5b927ce0294a6738","after":"4e42b132b6da59344f1dd14f65f75d96e00a2f7d","ref":"refs/heads/main","pushedAt":"2023-10-19T11:21:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"add ci","shortMessageHtmlLink":"add ci"}},{"before":"ae905a46aef80ed64375cdc08d4c3ac8ecb511a1","after":"c96455d2b9a7b957daea707a5b927ce0294a6738","ref":"refs/heads/main","pushedAt":"2023-10-19T11:17:40.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"fix some errors","shortMessageHtmlLink":"fix some errors"}},{"before":"c5a0304bb4ed94bcc148e1fdf2b9e6b5004d7d98","after":"ae905a46aef80ed64375cdc08d4c3ac8ecb511a1","ref":"refs/heads/main","pushedAt":"2023-10-19T11:07:48.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"Merge pull request #2 from FRoith/main\n\nImproved Unsigned Compare Microcode","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1950625071\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ics-jku/goldcrest-microcode-verification/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ics-jku/goldcrest-microcode-verification/pull/2/hovercard\" href=\"https://github.com/ics-jku/goldcrest-microcode-verification/pull/2\">#2</a> from FRoith/main"}},{"before":"1f84983aa02c0d3c5efe6a126b03de376d078c05","after":"c5a0304bb4ed94bcc148e1fdf2b9e6b5004d7d98","ref":"refs/heads/main","pushedAt":"2023-10-16T13:31:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"LucasKl","name":"Lucas Klemmer","path":"/LucasKl","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3308172?s=80&v=4"},"commit":{"message":"made all tests pass SAT verification","shortMessageHtmlLink":"made all tests pass SAT verification"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wMlQyMDo0Mjo0NC4wMDAwMDBazwAAAAO-dnv0","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wMlQyMDo0Mjo0NC4wMDAwMDBazwAAAAO-dnv0","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xNlQxMzozMTozNy4wMDAwMDBazwAAAAOYEUAN"}},"title":"Activity · ics-jku/goldcrest-microcode-verification"}