{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":786816945,"defaultBranch":"blocksense","name":"noir","ownerLogin":"blocksense-network","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-04-15T11:08:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/162892960?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726840071.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"36d6ae1dbce60e6aa215878f115b43967c36fba2","ref":"refs/heads/no-fv-by-default","pushedAt":"2024-09-20T13:47:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(fv): disable fv in non fv nargo commands\n\nFormal verification attributes are now ignored in all other (non fv)\nnargo cli commands and won't produce any errors related to semantic\nanalysis.\n\nAlso expanded the testing logic. Now there are two directories for\ntesting formal verification functionality. Them being\n`formal_verify_failure` and `formal_verify_success`.\n\nMoved the tests from PR #88 in their matching directories.","shortMessageHtmlLink":"feat(fv): disable fv in non fv nargo commands"}},{"before":null,"after":"23d6f768587b6a95c89c9053b80ec4c8665d035b","ref":"refs/heads/connect-fv-cli","pushedAt":"2024-09-20T13:44:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(fv): connect `nargo formal-verify` to logic\n\nNow if you run `nargo formal-verify` in a Noir workspace it will parse\nand do semantic analysis on all formal verification annotations. This\nhappens only if the code can be compiled.\n\n`nargo formal-verify` won't produce an output if the formal verification\nwas successful.","shortMessageHtmlLink":"feat(fv): connect nargo formal-verify to logic"}},{"before":"44855b3b0c05ab6b92e5ded58feca7eda5955e57","after":"867a5470b1dc6c952d93b5cd08e00759e6f8ca1c","ref":"refs/heads/blocksense","pushedAt":"2024-09-20T08:16:44.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"chore: Daily merge of `master`, 20 Sep 2024","shortMessageHtmlLink":"chore: Daily merge of master, 20 Sep 2024"}},{"before":"4a160cb99cbd9928c034a7009f398974fc6fdb11","after":"aea5cc789ccf4a4d16b1d238d99474f37920b37e","ref":"refs/heads/master","pushedAt":"2024-09-20T08:13:51.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"fix(mem2reg): Remove possibility of underflow (#6107)\n\n# Description\n\n## Problem\\*\n\nResolves ICE ran into by @asterite \n\n## Summary\\*\n\nAfter #5925 we have a couple counters that both increment and decrement.\nIn theory they are never supposed to underflow. @asterite has discovered\na bug with the remaining last stores counter. I would like to implement\nthe remaining last stores removal in a better way that removes the need\nfor this counter to be decremented, but for now I just block if by check\nwe are not decrementing zero.\n\n## Additional Context\n\n\n\n## Documentation\\*\n\nCheck one:\n- [X] No documentation needed.\n- [ ] Documentation included in this PR.\n- [ ] **[For Experimental Features]** Documentation to be submitted in a\nseparate PR.\n\n# PR Checklist\\*\n\n- [X] I have tested the changes locally.\n- [X] I have formatted the changes with [Prettier](https://prettier.io/)\nand/or `cargo fmt` on default settings.\n\n---------\n\nCo-authored-by: jfecher ","shortMessageHtmlLink":"fix(mem2reg): Remove possibility of underflow (noir-lang#6107)"}},{"before":"fead5296e71aba12650cce05a0f7fdae24ed8a4a","after":"44855b3b0c05ab6b92e5ded58feca7eda5955e57","ref":"refs/heads/blocksense","pushedAt":"2024-09-19T11:12:22.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"chore: Daily merge of `master`, 19 Sep 2024","shortMessageHtmlLink":"chore: Daily merge of master, 19 Sep 2024"}},{"before":"19eef30cdbd8a3a4671aabbbe66b5481a5dec3f7","after":"4a160cb99cbd9928c034a7009f398974fc6fdb11","ref":"refs/heads/master","pushedAt":"2024-09-19T11:09:16.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat: (LSP) if in runtime code, always suggest functions that return Quoted as macro calls (#6098)\n\n# Description\n\n## Problem\n\nWhen in non-comptime code, when suggesting a function that returns\n`Quoted` it should never be suggested as a non-macro call.\n\n## Summary\n\n\n\n\n## Additional Context\n\n## Documentation\n\nCheck one:\n- [x] No documentation needed.\n- [ ] Documentation included in this PR.\n- [ ] **[For Experimental Features]** Documentation to be submitted in a\nseparate PR.\n\n# PR Checklist\n\n- [x] I have tested the changes locally.\n- [x] I have formatted the changes with [Prettier](https://prettier.io/)\nand/or `cargo fmt` on default settings.","shortMessageHtmlLink":"feat: (LSP) if in runtime code, always suggest functions that return …"}},{"before":"49382b48b2e9af3d6db07e7d2779eb09b50b245b","after":null,"ref":"refs/heads/semantic-fv-support","pushedAt":"2024-09-19T11:07:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"}},{"before":"adb91cd560ca112c2d5733598230233a8fc07f6f","after":"fead5296e71aba12650cce05a0f7fdae24ed8a4a","ref":"refs/heads/blocksense","pushedAt":"2024-09-19T11:07:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(fv): add semantic analysis for fv attributes\n\nAdded name resolution and type checking for the expression bodies of the\nformal verification attributes. This means that functions in HIR now\nhave resolved formal verification attributes attached to them.\n\nAdded tests which showcase the newly added functionality.","shortMessageHtmlLink":"feat(fv): add semantic analysis for fv attributes"}},{"before":"0a034064da162b668cd0731780bb23ddb87df3ca","after":"49382b48b2e9af3d6db07e7d2779eb09b50b245b","ref":"refs/heads/semantic-fv-support","pushedAt":"2024-09-19T11:02:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(fv): add semantic analysis for fv attributes\n\nAdded name resolution and type checking for the expression bodies of the\nformal verification attributes. This means that functions in HIR now\nhave resolved formal verification attributes attached to them.\n\nAdded tests which showcase the newly added functionality.","shortMessageHtmlLink":"feat(fv): add semantic analysis for fv attributes"}},{"before":null,"after":"0a034064da162b668cd0731780bb23ddb87df3ca","ref":"refs/heads/semantic-fv-support","pushedAt":"2024-09-18T14:36:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(fv): add semantic analysis for fv attributes\n\nAdded name resolution and type checking for the expression bodies of the\nformal verification attributes. This means that functions in HIR now\nhave resolved formal verification attributes attached to them.\n\nAdded tests which showcase the newly added functionality.","shortMessageHtmlLink":"feat(fv): add semantic analysis for fv attributes"}},{"before":"4e3d05020bd14dceeef6c04f1b3933d85c90bb68","after":"adb91cd560ca112c2d5733598230233a8fc07f6f","ref":"refs/heads/blocksense","pushedAt":"2024-09-18T07:43:49.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"chore: Daily merge of `master`, 18 Sep 2024","shortMessageHtmlLink":"chore: Daily merge of master, 18 Sep 2024"}},{"before":"5bf6567320629835ef6fa7765ca87e9b38ae4c9a","after":"19eef30cdbd8a3a4671aabbbe66b5481a5dec3f7","ref":"refs/heads/master","pushedAt":"2024-09-18T07:40:51.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"Aristotelis2002","name":"Aristotelis","path":"/Aristotelis2002","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52610192?s=80&v=4"},"commit":{"message":"feat(perf): Remove unused loads in mem2reg and last stores per function (#5925)\n\n# Description\n\n## Problem\\*\n\nPartially resolves #4535.\n\nThis does not necessarily make SSA \"aware of loops\" but handles the\nsituation that we in the issue where we have multiple known stores and\nloads that we are unable to resolve across the function due to loops.\n\n## Summary\\*\n\nThe per function state and the logic run over it has been expanded. We\nstore more information in `last_loads`, a new `load_results` map to\ntrack unused loads, and a utility map `calls_reference_input` to avoid\ndeleting stores that are directly passed into an entry point with a\nmutable reference.\n\nTo count the remaining stores, I reference count both the results of the\nloads and the address of the loads. If the results of a load has a\ncounter equal to 0 I remove that load instruction. I then keep track of\neach removed address with its own reference counter. If the removed\nloads counter is equal to the counter of the address of the loads, we\nknow we have removed all loads to an address and thus can safely remove\nthe store to that address.\n\nWe also added a check that store we want to remove is not used as an\nargument into a function call.\n\nI have added a unit test `remove_unused_loads_and_stores` inside of\n`mem2reg.rs`.\n\nThe `brillig_loop_size_regression` test:\n```noir\nunconstrained fn main() -> pub Field {\n let mut emulated_enum = EnumEmulation { a: Option::some(1), b: Option::none(), c: Option::none() };\n\n for _ in 0..1 {\n assert_eq(emulated_enum.a.unwrap(), 1);\n }\n\n emulated_enum.a = Option::some(2);\n emulated_enum.a.unwrap()\n}\n```\nnow compiles to the optimal SSA after a single run of mem2reg:\n```\nAfter Mem2Reg:\nbrillig fn main f0 {\n b0():\n v1 = allocate\n v2 = allocate\n v3 = allocate\n v4 = allocate\n v5 = allocate\n v6 = allocate\n jmp b1(u32 0)\n b1(v0: u32):\n v8 = eq v0, u32 0\n jmpif v8 then: b3, else: b2\n b3():\n v11 = add v0, u32 1\n jmp b1(v11)\n b2():\n return Field 2\n}\n```\n\n## Additional Context\n\nThere is most likely other ways we can utilize this per function state.\nWe can continue to iterate upon it in follow-ups.\n\n## Documentation\\*\n\nCheck one:\n- [X] No documentation needed.\n- [ ] Documentation included in this PR.\n- [ ] **[For Experimental Features]** Documentation to be submitted in a\nseparate PR.\n\n# PR Checklist\\*\n\n- [X] I have tested the changes locally.\n- [X] I have formatted the changes with [Prettier](https://prettier.io/)\nand/or `cargo fmt` on default settings.\n\n---------\n\nCo-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>\nCo-authored-by: jfecher ","shortMessageHtmlLink":"feat(perf): Remove unused loads in mem2reg and last stores per functi…"}},{"before":"f01a393c1e5612d841a330a85aa2140cdb4f74a1","after":"4e3d05020bd14dceeef6c04f1b3933d85c90bb68","ref":"refs/heads/blocksense","pushedAt":"2024-09-17T14:54:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smanilov","name":"Stan Manilov","path":"/smanilov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1367673?s=80&v=4"},"commit":{"message":"feat(devex): stop nargo from rebuilding every time\n\nThis could become quite annoying, as changing a .nr file would trigger\nrebuild, which is clearly not what we want.\n\nAdded a colorful message to remind the user the behavior has changed.\nApologies, if this was not enough, and you were using nargo and\nexpecting that it still builds every time. It doesn't any more, unless\nyou explicitly tell it to.\n\n(Also, the script starts the debug version. If you built release, you\ncan run it manually by specifying the path to the binary.)","shortMessageHtmlLink":"feat(devex): stop nargo from rebuilding every time"}},{"before":"b0d53f6e4f92644e3800108fcfe0aa391901705d","after":null,"ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T12:00:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"}},{"before":"9e2f30424b3b5762d76090566c188fcea63b904e","after":"f01a393c1e5612d841a330a85aa2140cdb4f74a1","ref":"refs/heads/blocksense","pushedAt":"2024-09-17T12:00:34.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"refactor(plonky2): cargo fmt","shortMessageHtmlLink":"refactor(plonky2): cargo fmt"}},{"before":"efd912402e900fd91a90ca47c527cd704a51a45f","after":"b0d53f6e4f92644e3800108fcfe0aa391901705d","ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T11:45:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"refactor(plonky2): cargo fmt","shortMessageHtmlLink":"refactor(plonky2): cargo fmt"}},{"before":"89790eaa44de19012579b6df0e83d9513de83856","after":"efd912402e900fd91a90ca47c527cd704a51a45f","ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T11:41:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"refactor(plonky2): local variable renamed (+ added comment), because previous name had become misleading.\n\nNo functional changes.","shortMessageHtmlLink":"refactor(plonky2): local variable renamed (+ added comment), because …"}},{"before":"b06d3fc681fbc5d095d9333cd045796464259d1d","after":"89790eaa44de19012579b6df0e83d9513de83856","ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T11:38:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"refactor(plonky2): get_integer_bitsize_and_signedness renamed get_integer_bitsize_and_sign.\n\nNo functional changes.","shortMessageHtmlLink":"refactor(plonky2): get_integer_bitsize_and_signedness renamed get_int…"}},{"before":null,"after":"7482275cdc275de63cdda125ef5a3db2b4f5bea7","ref":"refs/heads/stanm-fix-one-prover-toml","pushedAt":"2024-09-17T11:27:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smanilov","name":"Stan Manilov","path":"/smanilov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1367673?s=80&v=4"},"commit":{"message":"fix(test): wrap neg nums as strings in Prover.toml\n\nMessage from `nargo prove` was\n\n```\nError: input file is badly formed, could not parse, TOML parse error at line 5, column 6\n |\n5 | x2 = [-128,-112,-96,-80,-64,-48,-32,-16,0,16,32,48,64,80,96,112]\n | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\ndata did not match any variant of untagged enum TomlTypes\n```\n\nThis applied for all negative numbers.\n\nPlacing the numbers in strings fixes this problem.\n\n(Note: you might find it hard to reproduce, but trust me.)","shortMessageHtmlLink":"fix(test): wrap neg nums as strings in Prover.toml"}},{"before":"b1d31b5212bae76ee0fe0a239be3be18ed155974","after":"b06d3fc681fbc5d095d9333cd045796464259d1d","ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T11:20:58.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"Merge branch 'blocksense' into signed_less_than","shortMessageHtmlLink":"Merge branch 'blocksense' into signed_less_than"}},{"before":"4d8261730b837af9ef11c8dc0a9022b0a3376064","after":null,"ref":"refs/heads/test/signed_div","pushedAt":"2024-09-17T11:19:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"}},{"before":"bedd2d3bb8ce76915da881a2afe8ed423d1fdaec","after":"9e2f30424b3b5762d76090566c188fcea63b904e","ref":"refs/heads/blocksense","pushedAt":"2024-09-17T11:19:02.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"fix(plonky2_prove_falure/signed_div): Quote negative numbers","shortMessageHtmlLink":"fix(plonky2_prove_falure/signed_div): Quote negative numbers"}},{"before":"8ebb6438642229a8dd0c515ac0abd7ccc9d51f15","after":"4d8261730b837af9ef11c8dc0a9022b0a3376064","ref":"refs/heads/test/signed_div","pushedAt":"2024-09-17T11:13:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"fix(plonky2_prove_falure/signed_div): Quote negative numbers","shortMessageHtmlLink":"fix(plonky2_prove_falure/signed_div): Quote negative numbers"}},{"before":"180902d005a6aef2e514b5f19fcbfe961c89ee4d","after":"b1d31b5212bae76ee0fe0a239be3be18ed155974","ref":"refs/heads/signed_less_than","pushedAt":"2024-09-17T11:02:43.000Z","pushType":"push","commitsCount":35,"pusher":{"login":"nickysn","name":"Nikolay Nikolov","path":"/nickysn","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/22420132?s=80&v=4"},"commit":{"message":"test(plonky2): moved the signed comparison test signed_lt_arr to plonky2_prove_success","shortMessageHtmlLink":"test(plonky2): moved the signed comparison test signed_lt_arr to plon…"}},{"before":"6707bd759523045ef8c04c73950600e977bdb859","after":"8ebb6438642229a8dd0c515ac0abd7ccc9d51f15","ref":"refs/heads/test/signed_div","pushedAt":"2024-09-17T10:34:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"test(plonky2_prove): Add test for signed integer division and remainder","shortMessageHtmlLink":"test(plonky2_prove): Add test for signed integer division and remainder"}},{"before":null,"after":"6707bd759523045ef8c04c73950600e977bdb859","ref":"refs/heads/test/signed_div","pushedAt":"2024-09-17T10:33:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"tst(plonky2_prove): Add test for signed integer division and remainder","shortMessageHtmlLink":"tst(plonky2_prove): Add test for signed integer division and remainder"}},{"before":"7755498ddab16be100c6dc4010568f8252fe49c3","after":null,"ref":"refs/heads/test/signed_casts","pushedAt":"2024-09-17T09:33:41.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"}},{"before":"8efef271738c45901ad983d9c82cae96e81d0539","after":"bedd2d3bb8ce76915da881a2afe8ed423d1fdaec","ref":"refs/heads/blocksense","pushedAt":"2024-09-17T09:33:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"test(plonky2_prove): Add tests for casts from lower signed type bit length to higher","shortMessageHtmlLink":"test(plonky2_prove): Add tests for casts from lower signed type bit l…"}},{"before":"3d60fbac15b205315be885ac52cd7dd194a4aca0","after":null,"ref":"refs/heads/test/signed_lt_arr","pushedAt":"2024-09-17T08:48:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"}},{"before":"a47fbfa32854002f74cf8c760896458a5321b952","after":"8efef271738c45901ad983d9c82cae96e81d0539","ref":"refs/heads/blocksense","pushedAt":"2024-09-17T08:48:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Syndamia","name":"Kamen Mladenov","path":"/Syndamia","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46843671?s=80&v=4"},"commit":{"message":"fix(plonky2_prove_failure/signed_lt_arr): Fix sort of values inside arrays","shortMessageHtmlLink":"fix(plonky2_prove_failure/signed_lt_arr): Fix sort of values inside a…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEvARfowA","startCursor":null,"endCursor":null}},"title":"Activity · blocksense-network/noir"}