{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":41832998,"defaultBranch":"main","name":"selfie","ownerLogin":"cksystemsteaching","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-09-02T23:40:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3297229?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726303167.0","currentOid":""},"activityList":{"items":[{"before":"9e1aaeb4d91f516ba1c141880948de7b5f9d01fe","after":"405406025639a1c65028305f0007d9c82b1659f1","ref":"refs/heads/rotor","pushedAt":"2024-09-25T10:59:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Prototyping non-array register file next","shortMessageHtmlLink":"Prototyping non-array register file next"}},{"before":"f920a04a74b0d093a63164849dc944cad3116ae4","after":"9e1aaeb4d91f516ba1c141880948de7b5f9d01fe","ref":"refs/heads/rotor","pushedAt":"2024-09-24T12:32:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Prototyping non-array register file, not done","shortMessageHtmlLink":"Prototyping non-array register file, not done"}},{"before":"e2e26d9fc65642d19cf06d6ac52fcb4e7f44a712","after":"f920a04a74b0d093a63164849dc944cad3116ae4","ref":"refs/heads/rotor","pushedAt":"2024-09-23T18:33:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Checking individual control branches in bitme","shortMessageHtmlLink":"Checking individual control branches in bitme"}},{"before":"588a02f913c6dc824f582b10d9ea75eab30e77b0","after":"e2e26d9fc65642d19cf06d6ac52fcb4e7f44a712","ref":"refs/heads/rotor","pushedAt":"2024-09-16T16:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Preparing memory segment initialization","shortMessageHtmlLink":"Preparing memory segment initialization"}},{"before":"6d9f325a91cd62c753a9796b2ce8f352724761ae","after":"588a02f913c6dc824f582b10d9ea75eab30e77b0","ref":"refs/heads/rotor","pushedAt":"2024-09-16T14:54:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Improving constant range check","shortMessageHtmlLink":"Improving constant range check"}},{"before":"9a543ebaa27b881e25606839289648bcab0c8e97","after":"6d9f325a91cd62c753a9796b2ce8f352724761ae","ref":"refs/heads/rotor","pushedAt":"2024-09-16T14:27:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Porting first batch of memory modeling code","shortMessageHtmlLink":"Porting first batch of memory modeling code"}},{"before":"9daaa173f7bde669c3aebe9d1feb5afae49a0190","after":"9a543ebaa27b881e25606839289648bcab0c8e97","ref":"refs/heads/rotor","pushedAt":"2024-09-15T17:59:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Compressed instruction initialization","shortMessageHtmlLink":"Compressed instruction initialization"}},{"before":"e35e82a451d6db6e1c530c031ef008d4d244b735","after":"9daaa173f7bde669c3aebe9d1feb5afae49a0190","ref":"refs/heads/rotor","pushedAt":"2024-09-15T17:37:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Uncompressed instruction initialization","shortMessageHtmlLink":"Uncompressed instruction initialization"}},{"before":"6b1cc293411eeb7bd920d2c0ef37b2aa3fbb71bc","after":"e35e82a451d6db6e1c530c031ef008d4d244b735","ref":"refs/heads/rotor","pushedAt":"2024-09-15T16:21:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Instruction sorts, opcodes, IDs, and mnemonics","shortMessageHtmlLink":"Instruction sorts, opcodes, IDs, and mnemonics"}},{"before":"d8f1093945a1322f714a958554728d51acbce61d","after":"6b1cc293411eeb7bd920d2c0ef37b2aa3fbb71bc","ref":"refs/heads/rotor","pushedAt":"2024-09-15T15:24:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Initializing segmentation","shortMessageHtmlLink":"Initializing segmentation"}},{"before":"7c30d6f705cab831e4e77b8ebf60734ca9d241b0","after":"d8f1093945a1322f714a958554728d51acbce61d","ref":"refs/heads/rotor","pushedAt":"2024-09-15T14:41:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Memory sorts","shortMessageHtmlLink":"Memory sorts"}},{"before":"f87cd2957f6b18a9e0abd8853697c15f8badfbf6","after":"7c30d6f705cab831e4e77b8ebf60734ca9d241b0","ref":"refs/heads/rotor","pushedAt":"2024-09-15T10:05:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Register sorts","shortMessageHtmlLink":"Register sorts"}},{"before":"6e1ecff7721d0ce86926947d90748d754c5461c8","after":"f87cd2957f6b18a9e0abd8853697c15f8badfbf6","ref":"refs/heads/rotor","pushedAt":"2024-09-15T09:29:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Creating input buffer, array state allocation still needs given array sort","shortMessageHtmlLink":"Creating input buffer, array state allocation still needs given array…"}},{"before":"f85841e9dc7cf27a33d902a61663af3cf73adcfa","after":"6e1ecff7721d0ce86926947d90748d754c5461c8","ref":"refs/heads/rotor","pushedAt":"2024-09-15T09:15:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Machine and kernel interface initialization done","shortMessageHtmlLink":"Machine and kernel interface initialization done"}},{"before":"4d684d36062798adf826cfd046de0ff7af5c703b","after":"f85841e9dc7cf27a33d902a61663af3cf73adcfa","ref":"refs/heads/rotor","pushedAt":"2024-09-14T20:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Preparing bitme for more rotor code","shortMessageHtmlLink":"Preparing bitme for more rotor code"}},{"before":"081845a1a3440c6dbcc394c60cfa9af371e9c046","after":"4d684d36062798adf826cfd046de0ff7af5c703b","ref":"refs/heads/rotor","pushedAt":"2024-09-14T17:06:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"First import of chatgpt-translated code","shortMessageHtmlLink":"First import of chatgpt-translated code"}},{"before":"faa16d57be8e9a502c9d16117e59548c654749e5","after":"081845a1a3440c6dbcc394c60cfa9af371e9c046","ref":"refs/heads/rotor","pushedAt":"2024-09-14T15:57:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Loading and storing array state","shortMessageHtmlLink":"Loading and storing array state"}},{"before":"d4d879b4553c0e159bff86f5e67e76bd1dde3451","after":"faa16d57be8e9a502c9d16117e59548c654749e5","ref":"refs/heads/rotor","pushedAt":"2024-09-14T14:21:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Drafting system, first attempt","shortMessageHtmlLink":"Drafting system, first attempt"}},{"before":"01ef1e5553d3e96ca8bcc70444a4fb8a6d7bf7ef","after":"d4d879b4553c0e159bff86f5e67e76bd1dde3451","ref":"refs/heads/rotor","pushedAt":"2024-09-14T09:48:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Drafting kernel, not done","shortMessageHtmlLink":"Drafting kernel, not done"}},{"before":"8dc2eae2295c88f8503a05145e77cfc9de28890b","after":"01ef1e5553d3e96ca8bcc70444a4fb8a6d7bf7ef","ref":"refs/heads/rotor","pushedAt":"2024-09-13T14:07:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"First very early draft of RISC-V model generator in bitme","shortMessageHtmlLink":"First very early draft of RISC-V model generator in bitme"}},{"before":"bce9a371bca332f5322dd02061fba99657b2ba1e","after":"8dc2eae2295c88f8503a05145e77cfc9de28890b","ref":"refs/heads/rotor","pushedAt":"2024-09-12T10:41:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Avoiding global current nid","shortMessageHtmlLink":"Avoiding global current nid"}},{"before":"4f1f3abd4390ed6f20d474899d8294a27fb3adf9","after":"bce9a371bca332f5322dd02061fba99657b2ba1e","ref":"refs/heads/rotor","pushedAt":"2024-09-12T10:24:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Bitme header comment","shortMessageHtmlLink":"Bitme header comment"}},{"before":"80d4778bbf466e9dbc3ab7e071bbc7a66453b3ab","after":"4f1f3abd4390ed6f20d474899d8294a27fb3adf9","ref":"refs/heads/rotor","pushedAt":"2024-09-09T15:14:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Introducing -o custom model name option in rotor","shortMessageHtmlLink":"Introducing -o custom model name option in rotor"}},{"before":"b25504dec09d187ed75ba9969c01db08f4ac1caf","after":"80d4778bbf466e9dbc3ab7e071bbc7a66453b3ab","ref":"refs/heads/rotor","pushedAt":"2024-09-08T18:13:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Abstracting init, next, and property into sequential class","shortMessageHtmlLink":"Abstracting init, next, and property into sequential class"}},{"before":"8d346a9016a0ff8728e949d56bf12d103ccbbf6a","after":"b25504dec09d187ed75ba9969c01db08f4ac1caf","ref":"refs/heads/rotor","pushedAt":"2024-09-08T16:12:19.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Even SAT bad properties are used as constraints","shortMessageHtmlLink":"Even SAT bad properties are used as constraints"}},{"before":"1350bc1246f85cdc0fec11367bf128ce668efd53","after":"8d346a9016a0ff8728e949d56bf12d103ccbbf6a","ref":"refs/heads/rotor","pushedAt":"2024-09-08T08:15:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Solver-independent bounded model checker done","shortMessageHtmlLink":"Solver-independent bounded model checker done"}},{"before":"929ebfc7f9af701c7010dbdd7f243a44b17250e3","after":"1350bc1246f85cdc0fec11367bf128ce668efd53","ref":"refs/heads/rotor","pushedAt":"2024-09-07T17:59:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Preparing solver-independent BMC routine","shortMessageHtmlLink":"Preparing solver-independent BMC routine"}},{"before":"0deabe15d3cb480e3640ab130622fdb37d8a7595","after":"929ebfc7f9af701c7010dbdd7f243a44b17250e3","ref":"refs/heads/rotor","pushedAt":"2024-09-07T16:25:20.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Bitwuzla lambdas over exact domains","shortMessageHtmlLink":"Bitwuzla lambdas over exact domains"}},{"before":"4b9d0d53d1f99f8d4b507ec093c6868df300aea5","after":"0deabe15d3cb480e3640ab130622fdb37d8a7595","ref":"refs/heads/rotor","pushedAt":"2024-09-07T14:16:06.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Lambda expressions with bitwuzla","shortMessageHtmlLink":"Lambda expressions with bitwuzla"}},{"before":"c79fcd3e7169043112ee34b6b45e1c39d7f01df7","after":"4b9d0d53d1f99f8d4b507ec093c6868df300aea5","ref":"refs/heads/rotor","pushedAt":"2024-09-07T11:15:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Using lambda expressions to model check with Z3","shortMessageHtmlLink":"Using lambda expressions to model check with Z3"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQxMDo1OTowMS4wMDAwMDBazwAAAATANKvc","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNVQxMDo1OTowMS4wMDAwMDBazwAAAATANKvc","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wN1QxMToxNToxNS4wMDAwMDBazwAAAASvm09v"}},"title":"Activity · cksystemsteaching/selfie"}