{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":677503976,"defaultBranch":"master","name":"ProcKami","ownerLogin":"vmurali","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-11T18:36:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/236101?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700324911.0","currentOid":""},"activityList":{"items":[{"before":"2bdda0b9b92ccc37a21e01977ad42ec69b35ea5e","after":"05f27710c6fcdb92da05e337a0eb2630d8d90359","ref":"refs/heads/master","pushedAt":"2024-04-12T03:35:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"removed unnecessary changes","shortMessageHtmlLink":"removed unnecessary changes"}},{"before":"b04b9924c8581e74df3797178e5e8abf632b85ba","after":"2bdda0b9b92ccc37a21e01977ad42ec69b35ea5e","ref":"refs/heads/master","pushedAt":"2024-04-11T19:43:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"MemSpec doesn't read or write registers directly","shortMessageHtmlLink":"MemSpec doesn't read or write registers directly"}},{"before":"656f832dfdeae3251bbd816468231fcf017a2a79","after":"b04b9924c8581e74df3797178e5e8abf632b85ba","ref":"refs/heads/master","pushedAt":"2024-04-11T18:55:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"get rid of MIE","shortMessageHtmlLink":"get rid of MIE"}},{"before":"289dac7e267332f2f26839b74a4f12f55922b4d2","after":"656f832dfdeae3251bbd816468231fcf017a2a79","ref":"refs/heads/master","pushedAt":"2024-04-11T08:00:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"cleaning up names","shortMessageHtmlLink":"cleaning up names"}},{"before":"5a36a36d05f2eb5747cb9edc2b1c145296c0ca70","after":"289dac7e267332f2f26839b74a4f12f55922b4d2","ref":"refs/heads/master","pushedAt":"2024-04-11T07:59:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"cleaning up names","shortMessageHtmlLink":"cleaning up names"}},{"before":"6a986cbf4f1a81e629ed8dca1a7d15ea9094e736","after":"5a36a36d05f2eb5747cb9edc2b1c145296c0ca70","ref":"refs/heads/master","pushedAt":"2024-04-11T07:51:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"removed useless functions","shortMessageHtmlLink":"removed useless functions"}},{"before":"343da53d250a39b5e9d172c512ca64a06872a01c","after":"6a986cbf4f1a81e629ed8dca1a7d15ea9094e736","ref":"refs/heads/master","pushedAt":"2024-04-11T06:59:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"added Native PcCount register","shortMessageHtmlLink":"added Native PcCount register"}},{"before":"db58ae23893283080208467341a8ca45468df29b","after":"343da53d250a39b5e9d172c512ca64a06872a01c","ref":"refs/heads/master","pushedAt":"2024-04-11T01:05:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixed the coq compilation issue where the trap handler code was not reducing properly","shortMessageHtmlLink":"fixed the coq compilation issue where the trap handler code was not r…"}},{"before":"6346f1c01b67cbe9e8ed37f027af75bebbf476f6","after":"db58ae23893283080208467341a8ca45468df29b","ref":"refs/heads/master","pushedAt":"2024-04-09T18:52:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"Separated RegName from ScrName","shortMessageHtmlLink":"Separated RegName from ScrName"}},{"before":"fa09220d7b76db5d73bc6f80a5426118c831d298","after":"6346f1c01b67cbe9e8ed37f027af75bebbf476f6","ref":"refs/heads/master","pushedAt":"2024-04-09T18:36:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"minor stylistic fixes","shortMessageHtmlLink":"minor stylistic fixes"}},{"before":"4bafa68e0ac52a52765922fc2230cf8a03068bc3","after":"fa09220d7b76db5d73bc6f80a5426118c831d298","ref":"refs/heads/master","pushedAt":"2024-04-08T22:42:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"added property that mtdc contains stored contexts","shortMessageHtmlLink":"added property that mtdc contains stored contexts"}},{"before":"ea4b8f13117a581cba5c5936b16d795b536b41ce","after":"4bafa68e0ac52a52765922fc2230cf8a03068bc3","ref":"refs/heads/master","pushedAt":"2024-04-08T20:07:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"more cleanup for isolation spec","shortMessageHtmlLink":"more cleanup for isolation spec"}},{"before":"389f59fa8d937ddf887a7b9d69bf47729f9914ee","after":"ea4b8f13117a581cba5c5936b16d795b536b41ce","ref":"refs/heads/master","pushedAt":"2024-04-08T15:43:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"added EX is the permissions to not overlap for dominance relation","shortMessageHtmlLink":"added EX is the permissions to not overlap for dominance relation"}},{"before":"53d9370e654a5a40eb6b54fa15e90700c05104ee","after":"389f59fa8d937ddf887a7b9d69bf47729f9914ee","ref":"refs/heads/master","pushedAt":"2024-04-08T15:13:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixed subset perms","shortMessageHtmlLink":"fixed subset perms"}},{"before":"8366cdd634efe66fe9cbbed21c74d9c9e1804597","after":"53d9370e654a5a40eb6b54fa15e90700c05104ee","ref":"refs/heads/master","pushedAt":"2024-04-08T04:36:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"cleaned up properties","shortMessageHtmlLink":"cleaned up properties"}},{"before":"6f66de5040a9b8e83dec933ce7d8b68f9fa95d5c","after":"8366cdd634efe66fe9cbbed21c74d9c9e1804597","ref":"refs/heads/master","pushedAt":"2024-04-08T04:33:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"cleaned up properties","shortMessageHtmlLink":"cleaned up properties"}},{"before":"d7bcf171b7bd080355a55930e459fe2e48be43b0","after":"6f66de5040a9b8e83dec933ce7d8b68f9fa95d5c","ref":"refs/heads/master","pushedAt":"2024-04-07T23:12:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"consolidated TrapCoreProps","shortMessageHtmlLink":"consolidated TrapCoreProps"}},{"before":"87d4b2847e6abfc2e944a240e96a3a67464ebdb7","after":"d7bcf171b7bd080355a55930e459fe2e48be43b0","ref":"refs/heads/master","pushedAt":"2024-04-07T21:12:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"added trap core props","shortMessageHtmlLink":"added trap core props"}},{"before":"005e4d05f72d985f198f042fe92205ec13742f68","after":"87d4b2847e6abfc2e944a240e96a3a67464ebdb7","ref":"refs/heads/master","pushedAt":"2024-04-07T17:43:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"separating properties of trapcore","shortMessageHtmlLink":"separating properties of trapcore"}},{"before":"aa1d902710410eda0836b4aa863034ba3126fd20","after":"005e4d05f72d985f198f042fe92205ec13742f68","ref":"refs/heads/master","pushedAt":"2024-04-07T16:27:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixed handleException","shortMessageHtmlLink":"fixed handleException"}},{"before":"8735bd94d2f7eb19ea6df1e3c64e44fceaf538fb","after":"aa1d902710410eda0836b4aa863034ba3126fd20","ref":"refs/heads/master","pushedAt":"2024-04-07T15:35:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"some rearrangement","shortMessageHtmlLink":"some rearrangement"}},{"before":"5e1eb8e82d1b7ceaaac4718f2cf65e03cd5192c8","after":"8735bd94d2f7eb19ea6df1e3c64e44fceaf538fb","ref":"refs/heads/master","pushedAt":"2024-04-07T06:41:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixed IsolationSpec, except for initializing memory","shortMessageHtmlLink":"fixed IsolationSpec, except for initializing memory"}},{"before":"8b5184d93a76f88369636806b255b86f291ae063","after":"5e1eb8e82d1b7ceaaac4718f2cf65e03cd5192c8","ref":"refs/heads/master","pushedAt":"2024-04-07T04:12:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"made all rules into a single rule in the spec","shortMessageHtmlLink":"made all rules into a single rule in the spec"}},{"before":"97b518c0da5e6a9ad649209728125f616099e451","after":"8b5184d93a76f88369636806b255b86f291ae063","ref":"refs/heads/master","pushedAt":"2024-04-06T05:55:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixed typo","shortMessageHtmlLink":"fixed typo"}},{"before":"3f22ca78e70dfa6b4bce63e595910172987eb086","after":"97b518c0da5e6a9ad649209728125f616099e451","ref":"refs/heads/master","pushedAt":"2024-04-06T05:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"IsolationSpec taking shape","shortMessageHtmlLink":"IsolationSpec taking shape"}},{"before":"39a1597cf3d25cbc46ce53116ba2ac23ca3e4f36","after":"3f22ca78e70dfa6b4bce63e595910172987eb086","ref":"refs/heads/master","pushedAt":"2024-04-05T22:01:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"supports a lot more processes","shortMessageHtmlLink":"supports a lot more processes"}},{"before":"c534fddd8c67741174e5e23e501ebf8b966fcc37","after":"39a1597cf3d25cbc46ce53116ba2ac23ca3e4f36","ref":"refs/heads/master","pushedAt":"2024-04-05T18:54:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"separated checker of assembly from byte generator, to allow simplification","shortMessageHtmlLink":"separated checker of assembly from byte generator, to allow simplific…"}},{"before":"cc3dae87c8ff0f720cdca3e208424d0f37f7148a","after":"c534fddd8c67741174e5e23e501ebf8b966fcc37","ref":"refs/heads/master","pushedAt":"2024-04-04T19:45:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"issues with sizes of trap handler data","shortMessageHtmlLink":"issues with sizes of trap handler data"}},{"before":"e490da937f52b7b8cfbb77d39045acb8d3b6900a","after":"cc3dae87c8ff0f720cdca3e208424d0f37f7148a","ref":"refs/heads/master","pushedAt":"2024-04-03T21:10:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"added a simpler invariant","shortMessageHtmlLink":"added a simpler invariant"}},{"before":"4636078af09f6176f303e3033eb9ede8818e20e6","after":"e490da937f52b7b8cfbb77d39045acb8d3b6900a","ref":"refs/heads/master","pushedAt":"2024-04-02T03:32:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"vmurali","name":"Murali Vijayaraghavan","path":"/vmurali","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/236101?s=80&v=4"},"commit":{"message":"fixing a bunch of issues","shortMessageHtmlLink":"fixing a bunch of issues"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAELrOypgA","startCursor":null,"endCursor":null}},"title":"Activity · vmurali/ProcKami"}