{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":625046307,"defaultBranch":"main","name":"valida","ownerLogin":"valida-xyz","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-07T23:18:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/133274171?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721023282.0","currentOid":""},"activityList":{"items":[{"before":"d0c758d2c5a0543277ada41c5181cedac129c84e","after":"31d23c69af585c133c74a4b271888cffa88e253e","ref":"refs/heads/dorebell-output","pushedAt":"2024-07-15T14:57:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"implements output chip, checking order with explicit range check","shortMessageHtmlLink":"implements output chip, checking order with explicit range check"}},{"before":null,"after":"d0c758d2c5a0543277ada41c5181cedac129c84e","ref":"refs/heads/dorebell-output","pushedAt":"2024-07-15T06:01:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"bugfix: increment pc in write instruction","shortMessageHtmlLink":"bugfix: increment pc in write instruction"}},{"before":"776ccdeb44b45073359b71d8c479ab562d3ae039","after":"640d96fe18196989b53a8ca47d83ca1863fa524b","ref":"refs/heads/dorebell-program","pushedAt":"2024-07-02T01:30:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"public inputs working, program chip has bug with immediate values still","shortMessageHtmlLink":"public inputs working, program chip has bug with immediate values still"}},{"before":"f31dd15ead2c5e9357a1e3884070dcee7c74f922","after":"776ccdeb44b45073359b71d8c479ab562d3ae039","ref":"refs/heads/dorebell-program","pushedAt":"2024-06-15T05:41:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"add sends and receives for program bus","shortMessageHtmlLink":"add sends and receives for program bus"}},{"before":"6b4ad4a8232e66209d10d44944bb4fd53496f675","after":"f31dd15ead2c5e9357a1e3884070dcee7c74f922","ref":"refs/heads/dorebell-program","pushedAt":"2024-06-15T05:17:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fix macro","shortMessageHtmlLink":"fix macro"}},{"before":null,"after":"6b4ad4a8232e66209d10d44944bb4fd53496f675","ref":"refs/heads/dorebell-program","pushedAt":"2024-06-15T04:53:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"finally, some tests pass","shortMessageHtmlLink":"finally, some tests pass"}},{"before":"9d4eb082de44a1a4644c5f91b7a0440f15da68d2","after":"c9351d1cbc8e4ab07aa29c0fe4c44b3696306f1d","ref":"refs/heads/morgan/rodata","pushedAt":"2024-06-06T00:45:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"morganthomas","name":"Morgan Thomas","path":"/morganthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11084799?s=80&v=4"},"commit":{"message":"fix for ELF loading","shortMessageHtmlLink":"fix for ELF loading"}},{"before":null,"after":"9d4eb082de44a1a4644c5f91b7a0440f15da68d2","ref":"refs/heads/morgan/rodata","pushedAt":"2024-06-06T00:38:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"morganthomas","name":"Morgan Thomas","path":"/morganthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11084799?s=80&v=4"},"commit":{"message":"fix for ELF loading","shortMessageHtmlLink":"fix for ELF loading"}},{"before":"ab6639ee9d5c2d012a0fb6a7fe27c25c6f33c437","after":"111996164f5dd664c6628855b32acff3a8586b91","ref":"refs/heads/dorebell-lookups","pushedAt":"2024-06-04T12:12:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"initial implementation of lookup abstraction","shortMessageHtmlLink":"initial implementation of lookup abstraction"}},{"before":null,"after":"ab6639ee9d5c2d012a0fb6a7fe27c25c6f33c437","ref":"refs/heads/dorebell-lookups","pushedAt":"2024-06-04T12:12:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"initial implementation of lookup abstraction","shortMessageHtmlLink":"initial implementation of lookup abstraction"}},{"before":"62d30b1fa8c9d08e97bfb9968ae8ba8f987e7430","after":"da4f49cc18f085cf4382a10011f470a0a04a66e5","ref":"refs/heads/dorebell-instance","pushedAt":"2024-06-04T02:14:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fixes macro version","shortMessageHtmlLink":"fixes macro version"}},{"before":"c3a283854835381ea26c951591cb7e659d76f2c9","after":"62d30b1fa8c9d08e97bfb9968ae8ba8f987e7430","ref":"refs/heads/dorebell-instance","pushedAt":"2024-06-04T00:30:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"adds Public type to Chips","shortMessageHtmlLink":"adds Public type to Chips"}},{"before":"bb539ac401fc55cab7a98280460b7525ac582372","after":"c3a283854835381ea26c951591cb7e659d76f2c9","ref":"refs/heads/dorebell-instance","pushedAt":"2024-06-03T21:24:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"adds Public type to Chips","shortMessageHtmlLink":"adds Public type to Chips"}},{"before":null,"after":"bb539ac401fc55cab7a98280460b7525ac582372","ref":"refs/heads/dorebell-instance","pushedAt":"2024-06-03T21:23:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"adds Public type to Chips","shortMessageHtmlLink":"adds Public type to Chips"}},{"before":"7ce53f91527284d77e20fc242573764579943376","after":"a39c986f328457239aadcf8917e943dfaf4df875","ref":"refs/heads/main","pushedAt":"2024-05-15T03:12:51.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"Merge pull request #169 from valida-xyz/dorebell-bitwise\n\nProver fixes for Bitwise32Chip","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2284388507\" data-permission-text=\"Title is private\" data-url=\"https://github.com/valida-xyz/valida/issues/169\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/valida-xyz/valida/pull/169/hovercard\" href=\"https://github.com/valida-xyz/valida/pull/169\">#169</a> from valida-xyz/dorebell-bitwise"}},{"before":"54f3f5a0c8a499569d0f8c22ec37b8d73bb0631d","after":null,"ref":"refs/heads/dorebell/issue132","pushedAt":"2024-05-15T01:42:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"}},{"before":"611dd977dc575027446a18e25d01bb901a11f36e","after":"7ce53f91527284d77e20fc242573764579943376","ref":"refs/heads/main","pushedAt":"2024-05-15T01:41:56.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"Merge pull request #170 from valida-xyz/dorebell/issue132","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2284414590\" data-permission-text=\"Title is private\" data-url=\"https://github.com/valida-xyz/valida/issues/170\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/valida-xyz/valida/pull/170/hovercard\" href=\"https://github.com/valida-xyz/valida/pull/170\">#170</a> from valida-xyz/dorebell/issue132"}},{"before":null,"after":"54f3f5a0c8a499569d0f8c22ec37b8d73bb0631d","ref":"refs/heads/dorebell/issue132","pushedAt":"2024-05-07T23:49:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"adds tests for loadfp instruction","shortMessageHtmlLink":"adds tests for loadfp instruction"}},{"before":null,"after":"1aa80c96775d31553f79f8634e043d7c496c9ceb","ref":"refs/heads/dorebell-bitwise","pushedAt":"2024-05-07T23:23:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fixes Or32 instructions being recorded as And32","shortMessageHtmlLink":"fixes Or32 instructions being recorded as And32"}},{"before":"f980d06b1683b7db348d49c8f989d4b03c06e0d7","after":null,"ref":"refs/heads/dorebell-issue-131","pushedAt":"2024-05-06T19:43:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"}},{"before":"b1090bb8de7dc7ac04ae2f31d1139f5947192754","after":"611dd977dc575027446a18e25d01bb901a11f36e","ref":"refs/heads/main","pushedAt":"2024-05-06T19:43:49.000Z","pushType":"pr_merge","commitsCount":13,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"Merge pull request #166 from valida-xyz/dorebell-issue-131\n\nFixes for less-than instructions: LT32Chip STARK constraints and handling instructions with second operand immediate","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2272822652\" data-permission-text=\"Title is private\" data-url=\"https://github.com/valida-xyz/valida/issues/166\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/valida-xyz/valida/pull/166/hovercard\" href=\"https://github.com/valida-xyz/valida/pull/166\">#166</a> from valida-xyz/dorebell-issue-131"}},{"before":"7a6d813f36bf28ba90e76342e0a76358a2e317d0","after":"f980d06b1683b7db348d49c8f989d4b03c06e0d7","ref":"refs/heads/dorebell-issue-131","pushedAt":"2024-05-06T19:37:34.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"Merge pull request #168 from valida-xyz/dorebell-issue-160\n\nSTARK constraints for signed inequality instructions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2278673679\" data-permission-text=\"Title is private\" data-url=\"https://github.com/valida-xyz/valida/issues/168\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/valida-xyz/valida/pull/168/hovercard\" href=\"https://github.com/valida-xyz/valida/pull/168\">#168</a> from valida-xyz/dorebell-issue-160"}},{"before":"aaa207a9654d29a72fa03d632bac600ac3a389f5","after":"5a4bf94af010f8e4dcf1aa87b5777b201c34661a","ref":"refs/heads/dorebell-issue-160","pushedAt":"2024-05-04T20:25:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"morganthomas","name":"Morgan Thomas","path":"/morganthomas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11084799?s=80&v=4"},"commit":{"message":"refactor: logic to set different_signs","shortMessageHtmlLink":"refactor: logic to set different_signs"}},{"before":"12d599a48973e5039db4d70f9128906c3dc85237","after":"aaa207a9654d29a72fa03d632bac600ac3a389f5","ref":"refs/heads/dorebell-issue-160","pushedAt":"2024-05-04T03:07:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fix: set 'different_signs' column only for signed instructions","shortMessageHtmlLink":"fix: set 'different_signs' column only for signed instructions"}},{"before":"ee93d2d12dfb286ba7cf615276244dd11bc9073b","after":"12d599a48973e5039db4d70f9128906c3dc85237","ref":"refs/heads/dorebell-issue-160","pushedAt":"2024-05-04T03:05:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fix: set 'different_signs' column only for signed instructions","shortMessageHtmlLink":"fix: set 'different_signs' column only for signed instructions"}},{"before":null,"after":"ee93d2d12dfb286ba7cf615276244dd11bc9073b","ref":"refs/heads/dorebell-issue-160","pushedAt":"2024-05-04T02:29:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"implements constraints for signed inequality instructions","shortMessageHtmlLink":"implements constraints for signed inequality instructions"}},{"before":"a7e8369b7500b281b814321906cfd93e11d6e673","after":"7a6d813f36bf28ba90e76342e0a76358a2e317d0","ref":"refs/heads/dorebell-issue-131","pushedAt":"2024-05-03T23:18:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fixes soundness gap in LT32 chip","shortMessageHtmlLink":"fixes soundness gap in LT32 chip"}},{"before":"f5795638ab061e31737e52326409cc0d0a250a9b","after":"a7e8369b7500b281b814321906cfd93e11d6e673","ref":"refs/heads/dorebell-issue-131","pushedAt":"2024-05-03T21:27:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"adds signed lt instructions to assembler","shortMessageHtmlLink":"adds signed lt instructions to assembler"}},{"before":"2bfd1a3eafe0a0210d5b25fcd41506f496a7e97d","after":"f5795638ab061e31737e52326409cc0d0a250a9b","ref":"refs/heads/dorebell-issue-131","pushedAt":"2024-05-03T21:27:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dorebell","name":"Dan Dore","path":"/dorebell","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/38820539?s=80&v=4"},"commit":{"message":"fixes setting instruction column values with immediate arguments in CpuChip","shortMessageHtmlLink":"fixes setting instruction column values with immediate arguments in C…"}},{"before":null,"after":"2494addf5d5e72dea54b0551bca433baa5e8bcd7","ref":"refs/heads/thealmarty-fix-update-byte","pushedAt":"2024-05-03T16:44:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"thealmarty","name":"Marty Stumpf","path":"/thealmarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/39599143?s=80&v=4"},"commit":{"message":"Remove extra conversion.","shortMessageHtmlLink":"Remove extra conversion."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEf9SD5AA","startCursor":null,"endCursor":null}},"title":"Activity · valida-xyz/valida"}