{"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:1714025523.0","currentOid":""},"activityList":{"items":[{"before":"3e38f58d638bf5d14a4cded66363776d2a50e991","after":"05af2568314481083d7faecd64ab68bccb5093b9","ref":"refs/heads/rotor","pushedAt":"2024-05-07T12:55: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":"Prototyping propagating symbolic state","shortMessageHtmlLink":"Prototyping propagating symbolic state"}},{"before":"24cc81a90f68f1d8678ef4a810db4d706483c661","after":"3e38f58d638bf5d14a4cded66363776d2a50e991","ref":"refs/heads/rotor","pushedAt":"2024-05-06T17:27:12.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":"Printing propagated constants during initialization","shortMessageHtmlLink":"Printing propagated constants during initialization"}},{"before":"909f45ef2e089041982b358ff60d3d065667deae","after":"24cc81a90f68f1d8678ef4a810db4d706483c661","ref":"refs/heads/rotor","pushedAt":"2024-05-06T14:02:52.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":"Modeling initialized arrays in unrolled models","shortMessageHtmlLink":"Modeling initialized arrays in unrolled models"}},{"before":"420d02cdc7c451e807333b2e985b6ec683e3d2e5","after":"909f45ef2e089041982b358ff60d3d065667deae","ref":"refs/heads/rotor","pushedAt":"2024-05-05T18:11:40.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":"Early unrolling prototype","shortMessageHtmlLink":"Early unrolling prototype"}},{"before":"b5eaf5c8af9befa8648c4123231f6f561dc0e96d","after":"420d02cdc7c451e807333b2e985b6ec683e3d2e5","ref":"refs/heads/rotor","pushedAt":"2024-05-05T13:38:39.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":"Better model distinction","shortMessageHtmlLink":"Better model distinction"}},{"before":"50e7a70600986a2a497e6e3375f7c92bc964cc08","after":"b5eaf5c8af9befa8648c4123231f6f561dc0e96d","ref":"refs/heads/rotor","pushedAt":"2024-05-05T12:33:54.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":"Fixing per-core nids","shortMessageHtmlLink":"Fixing per-core nids"}},{"before":"6ece849f4e91545e84f2d82f6b7e0ad324dec276","after":"50e7a70600986a2a497e6e3375f7c92bc964cc08","ref":"refs/heads/rotor","pushedAt":"2024-05-05T10:11: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":"Polishing code changes, printing per-core data segment properly","shortMessageHtmlLink":"Polishing code changes, printing per-core data segment properly"}},{"before":"1117da621ff4d0936d39f5261e618373b0955a92","after":"6ece849f4e91545e84f2d82f6b7e0ad324dec276","ref":"refs/heads/rotor","pushedAt":"2024-05-05T08:15:12.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":"Printing per-core code segment properly","shortMessageHtmlLink":"Printing per-core code segment properly"}},{"before":"de777c6cf5919a90bd731bec11ab8d1b9b48323d","after":"1117da621ff4d0936d39f5261e618373b0955a92","ref":"refs/heads/rotor","pushedAt":"2024-05-05T07:18:13.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":"Fixing initial core state printing","shortMessageHtmlLink":"Fixing initial core state printing"}},{"before":"c481bafe87a481170fc3a49d1f5ea8534d43c911","after":"de777c6cf5919a90bd731bec11ab8d1b9b48323d","ref":"refs/heads/rotor","pushedAt":"2024-05-04T17:29:59.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":"Fixing per-core nids, not done","shortMessageHtmlLink":"Fixing per-core nids, not done"}},{"before":"0df96c34d28de46c402af2ec8a6f763144c6bce8","after":"c481bafe87a481170fc3a49d1f5ea8534d43c911","ref":"refs/heads/rotor","pushedAt":"2024-05-04T14:15:16.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 extra slot in lines for symbolic state","shortMessageHtmlLink":"Creating extra slot in lines for symbolic state"}},{"before":"2083665d458688411140b189b541e6b5087dcb28","after":"0df96c34d28de46c402af2ec8a6f763144c6bce8","ref":"refs/heads/rotor","pushedAt":"2024-05-04T13:47: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":"Printing first BTOR model, way not done","shortMessageHtmlLink":"Printing first BTOR model, way not done"}},{"before":"cff41176ed9ad3bc04c421bb1382714f9800d4c0","after":"2083665d458688411140b189b541e6b5087dcb28","ref":"refs/heads/rotor","pushedAt":"2024-05-03T09:09: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":"Separating model generator from model printing, preparing for BTOR printing","shortMessageHtmlLink":"Separating model generator from model printing, preparing for BTOR pr…"}},{"before":"35e9a500fabac83fba78a16de90baee2a14c00ad","after":"cff41176ed9ad3bc04c421bb1382714f9800d4c0","ref":"refs/heads/rotor","pushedAt":"2024-05-03T05:45:18.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Merge branch 'main' into rotor","shortMessageHtmlLink":"Merge branch 'main' into rotor"}},{"before":"ef306ea4180887cfc5d06546f43226687eed592c","after":"cfb3bf8fc09d851fc4831cdedf62a03690552df9","ref":"refs/heads/main","pushedAt":"2024-05-03T05:43:37.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Merge pull request #379 from EETagent/update_github_actions_python\n\nUpdate GitHub Actions & Python, set Dockerfile to 22 LTS","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2276261358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cksystemsteaching/selfie/issues/379\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cksystemsteaching/selfie/pull/379/hovercard\" href=\"https://github.com/cksystemsteaching/selfie/pull/379\">#379</a> from EETagent/update_github_actions_python"}},{"before":"1d1af8878d0c8a857af976389d5c56e943585999","after":"35e9a500fabac83fba78a16de90baee2a14c00ad","ref":"refs/heads/rotor","pushedAt":"2024-05-02T13:36:51.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":"Checking for good exit code","shortMessageHtmlLink":"Checking for good exit code"}},{"before":"c92336bbaf7c594dcdae69906a531a3f02385ba6","after":"1d1af8878d0c8a857af976389d5c56e943585999","ref":"refs/heads/rotor","pushedAt":"2024-05-02T10:18:34.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Merge pull request #378 from thomaswulz/assembly-example\n\nAdd assembly example","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2273764944\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cksystemsteaching/selfie/issues/378\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cksystemsteaching/selfie/pull/378/hovercard\" href=\"https://github.com/cksystemsteaching/selfie/pull/378\">#378</a> from thomaswulz/assembly-example"}},{"before":"a0a7150cd2050f82be9d87289658d695bfffe414","after":null,"ref":"refs/heads/dependabot/pip/tools/qubot/pydantic-1.10.13","pushedAt":"2024-04-25T06:12:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"d44d0787f60561ba28258e19065b8f7165614d02","after":"ef306ea4180887cfc5d06546f43226687eed592c","ref":"refs/heads/main","pushedAt":"2024-04-25T06:11:55.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Merge pull request #377 from cksystemsteaching/dependabot/pip/tools/qubot/pydantic-1.10.13\n\nBump pydantic from 1.8.2 to 1.10.13 in /tools/qubot","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2262748521\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cksystemsteaching/selfie/issues/377\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cksystemsteaching/selfie/pull/377/hovercard\" href=\"https://github.com/cksystemsteaching/selfie/pull/377\">#377</a> from cksystemsteaching/dependabot/pip/tools/q…"}},{"before":"6c1f1dfd9c234a45de0fb093da5059ff00f6ed0f","after":null,"ref":"refs/heads/dependabot/pip/tools/quarc/idna-3.7","pushedAt":"2024-04-25T06:11:44.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"}},{"before":"3071b46038c8d6baa0db5d79024498c1440c53ce","after":"d44d0787f60561ba28258e19065b8f7165614d02","ref":"refs/heads/main","pushedAt":"2024-04-25T06:11:38.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ckirsch","name":"Christoph Kirsch","path":"/ckirsch","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2964121?s=80&v=4"},"commit":{"message":"Merge pull request #376 from cksystemsteaching/dependabot/pip/tools/quarc/idna-3.7\n\nBump idna from 3.3 to 3.7 in /tools/quarc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2238836731\" data-permission-text=\"Title is private\" data-url=\"https://github.com/cksystemsteaching/selfie/issues/376\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/cksystemsteaching/selfie/pull/376/hovercard\" href=\"https://github.com/cksystemsteaching/selfie/pull/376\">#376</a> from cksystemsteaching/dependabot/pip/tools/q…"}},{"before":null,"after":"a0a7150cd2050f82be9d87289658d695bfffe414","ref":"refs/heads/dependabot/pip/tools/qubot/pydantic-1.10.13","pushedAt":"2024-04-25T06:06:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dependabot[bot]","name":null,"path":"/apps/dependabot","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/29110?s=80&v=4"},"commit":{"message":"Bump pydantic from 1.8.2 to 1.10.13 in /tools/qubot\n\nBumps [pydantic](https://github.com/pydantic/pydantic) from 1.8.2 to 1.10.13.\n- [Release notes](https://github.com/pydantic/pydantic/releases)\n- [Changelog](https://github.com/pydantic/pydantic/blob/main/HISTORY.md)\n- [Commits](https://github.com/pydantic/pydantic/compare/v1.8.2...v1.10.13)\n\n---\nupdated-dependencies:\n- dependency-name: pydantic\n  dependency-type: direct:production\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>","shortMessageHtmlLink":"Bump pydantic from 1.8.2 to 1.10.13 in /tools/qubot"}},{"before":"b9e5929189c1b58e026a915e56086cde8c48c9d6","after":"c92336bbaf7c594dcdae69906a531a3f02385ba6","ref":"refs/heads/rotor","pushedAt":"2024-04-20T09:52:38.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":"memory to segment nid","shortMessageHtmlLink":"memory to segment nid"}},{"before":"8ef33adae65d6b869b1986689f7387675ba4e89e","after":"b9e5929189c1b58e026a915e56086cde8c48c9d6","ref":"refs/heads/rotor","pushedAt":"2024-04-19T17:08:35.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":"Decreasing code duplication in segment handling, not done","shortMessageHtmlLink":"Decreasing code duplication in segment handling, not done"}},{"before":"64fc3d82fbec18d4e92f88a70f6065a387125a03","after":"8ef33adae65d6b869b1986689f7387675ba4e89e","ref":"refs/heads/rotor","pushedAt":"2024-04-17T13:38: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":"bytes to read console argument, some cleanup","shortMessageHtmlLink":"bytes to read console argument, some cleanup"}},{"before":"4e13169bc9254358e092cec0c7a8aa2fcc805e9c","after":"64fc3d82fbec18d4e92f88a70f6065a387125a03","ref":"refs/heads/rotor","pushedAt":"2024-04-17T08:58:20.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":"Fixing uninitialized status of code segment for synthesis","shortMessageHtmlLink":"Fixing uninitialized status of code segment for synthesis"}},{"before":"fc78298591a1a9f581c42cb150cb9d3cb03c3eb1","after":"4e13169bc9254358e092cec0c7a8aa2fcc805e9c","ref":"refs/heads/rotor","pushedAt":"2024-04-17T07:07:03.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":"Using uninitialized array as input buffer for inputting the same data into different code running simultaneously","shortMessageHtmlLink":"Using uninitialized array as input buffer for inputting the same data…"}},{"before":"d79e575ab37fa6512ec3f194191bfa0ab4c25ac6","after":"fc78298591a1a9f581c42cb150cb9d3cb03c3eb1","ref":"refs/heads/rotor","pushedAt":"2024-04-16T19:36: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":"Missing next zeroed heap and stack segments","shortMessageHtmlLink":"Missing next zeroed heap and stack segments"}},{"before":"d86f102c43397c7a8efb4f9a70ff7c3999740990","after":"d79e575ab37fa6512ec3f194191bfa0ab4c25ac6","ref":"refs/heads/rotor","pushedAt":"2024-04-16T12:36:30.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":"Scaling heap allowance back up, fixing linear address issue in loader","shortMessageHtmlLink":"Scaling heap allowance back up, fixing linear address issue in loader"}},{"before":"b6c7995481990d51953b192f95fe4f3279cda7e9","after":"d86f102c43397c7a8efb4f9a70ff7c3999740990","ref":"refs/heads/rotor","pushedAt":"2024-04-16T12:07:28.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":"Scaling heap allowance back","shortMessageHtmlLink":"Scaling heap allowance back"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQ5NKBAA","startCursor":null,"endCursor":null}},"title":"Activity · cksystemsteaching/selfie"}