-
Notifications
You must be signed in to change notification settings - Fork 271
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[1 changes] fix: allow range checks to be performed within the compti…
…me intepreter (noir-lang/noir#6514) fix: disallow `#[test]` on associated functions (noir-lang/noir#6449) chore(ssa): Skip array_set pass for Brillig functions (noir-lang/noir#6513) chore: Reverse ssa parser diff order (noir-lang/noir#6511) chore: Parse negatives in SSA parser (noir-lang/noir#6510) feat: avoid unnecessary ssa passes while loop unrolling (noir-lang/noir#6509) fix(tests): Use a file lock as well as a mutex to isolate tests cases (noir-lang/noir#6508) fix: set local_module before elaborating each trait (noir-lang/noir#6506) fix: parse Slice type in SSa (noir-lang/noir#6507) fix: perform arithmetic simplification through `CheckedCast` (noir-lang/noir#6502) feat: SSA parser (noir-lang/noir#6489) chore(test): Run test matrix on test_programs (noir-lang/noir#6429) chore(ci): fix cargo deny (noir-lang/noir#6501) feat: Deduplicate instructions across blocks (noir-lang/noir#6499) chore: move tests for arithmetic generics closer to the code (noir-lang/noir#6497) fix(docs): Fix broken links in oracles doc (noir-lang/noir#6488) fix: Treat all parameters as possible aliases of each other (noir-lang/noir#6477) chore: bump rust dependencies (noir-lang/noir#6482) feat: use a full `BlackBoxFunctionSolver` implementation when execution brillig during acirgen (noir-lang/noir#6481) chore(docs): Update How to Oracles (noir-lang/noir#5675) chore: Release Noir(0.38.0) (noir-lang/noir#6422) fix(ssa): Change array_set to not mutate slices coming from function inputs (noir-lang/noir#6463) chore: update example to show how to split public inputs in bash (noir-lang/noir#6472) fix: Discard optimisation that would change execution ordering or that is related to call outputs (noir-lang/noir#6461) chore: proptest for `canonicalize` on infix type expressions (noir-lang/noir#6269) fix: let formatter respect newlines between comments (noir-lang/noir#6458) fix: check infix expression is valid in program input (noir-lang/noir#6450) fix: don't crash on AsTraitPath with empty path (noir-lang/noir#6454) fix(tests): Prevent EOF error while running test programs (noir-lang/noir#6455) fix(sea): mem2reg to treat block input references as alias (noir-lang/noir#6452) chore: revamp attributes (noir-lang/noir#6424) feat!: Always Check Arithmetic Generics at Monomorphization (noir-lang/noir#6329) chore: split path and import lookups (noir-lang/noir#6430) fix(ssa): Resolve value IDs in terminator before comparing to array (noir-lang/noir#6448) fix: right shift is not a regular division (noir-lang/noir#6400)
- Loading branch information
Showing
466 changed files
with
37,217 additions
and
4,581 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| 075c3d32481314d900cbdea0d277de83444747ab | ||
| 852c87ae9ecdd441ee4c2ab3e78e86b2da07d8a4 |
92 changes: 92 additions & 0 deletions
92
noir/noir-repo/.github/workflows/gates_report_brillig_execution.yml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,92 @@ | ||
| name: Report Brillig opcodes executed diff | ||
|
|
||
| on: | ||
| push: | ||
| branches: | ||
| - master | ||
| pull_request: | ||
|
|
||
| jobs: | ||
| build-nargo: | ||
| runs-on: ubuntu-latest | ||
| strategy: | ||
| matrix: | ||
| target: [x86_64-unknown-linux-gnu] | ||
|
|
||
| steps: | ||
| - name: Checkout Noir repo | ||
| uses: actions/checkout@v4 | ||
|
|
||
| - name: Setup toolchain | ||
| uses: dtolnay/rust-toolchain@1.74.1 | ||
|
|
||
| - uses: Swatinem/rust-cache@v2 | ||
| with: | ||
| key: ${{ matrix.target }} | ||
| cache-on-failure: true | ||
| save-if: ${{ github.event_name != 'merge_group' }} | ||
|
|
||
| - name: Build Nargo | ||
| run: cargo build --package nargo_cli --release | ||
|
|
||
| - name: Package artifacts | ||
| run: | | ||
| mkdir dist | ||
| cp ./target/release/nargo ./dist/nargo | ||
| 7z a -ttar -so -an ./dist/* | 7z a -si ./nargo-x86_64-unknown-linux-gnu.tar.gz | ||
| - name: Upload artifact | ||
| uses: actions/upload-artifact@v4 | ||
| with: | ||
| name: nargo | ||
| path: ./dist/* | ||
| retention-days: 3 | ||
|
|
||
| compare_brillig_execution_reports: | ||
| needs: [build-nargo] | ||
| runs-on: ubuntu-latest | ||
| permissions: | ||
| pull-requests: write | ||
|
|
||
| steps: | ||
| - uses: actions/checkout@v4 | ||
|
|
||
| - name: Download nargo binary | ||
| uses: actions/download-artifact@v4 | ||
| with: | ||
| name: nargo | ||
| path: ./nargo | ||
|
|
||
| - name: Set nargo on PATH | ||
| run: | | ||
| nargo_binary="${{ github.workspace }}/nargo/nargo" | ||
| chmod +x $nargo_binary | ||
| echo "$(dirname $nargo_binary)" >> $GITHUB_PATH | ||
| export PATH="$PATH:$(dirname $nargo_binary)" | ||
| nargo -V | ||
| - name: Generate Brillig execution report | ||
| working-directory: ./test_programs | ||
| run: | | ||
| chmod +x gates_report_brillig_execution.sh | ||
| ./gates_report_brillig_execution.sh | ||
| mv gates_report_brillig_execution.json ../gates_report_brillig_execution.json | ||
| - name: Compare Brillig execution reports | ||
| id: brillig_execution_diff | ||
| uses: noir-lang/noir-gates-diff@d88f7523b013b9edd3f31c5cfddaef87a3fe1b48 | ||
| with: | ||
| report: gates_report_brillig_execution.json | ||
| header: | | ||
| # Changes to number of Brillig opcodes executed | ||
| brillig_report: true | ||
| summaryQuantile: 0.9 # only display the 10% most significant bytecode size diffs in the summary (defaults to 20%) | ||
|
|
||
| - name: Add bytecode size diff to sticky comment | ||
| if: github.event_name == 'pull_request' || github.event_name == 'pull_request_target' | ||
| uses: marocchino/sticky-pull-request-comment@v2 | ||
| with: | ||
| header: brillig_execution | ||
| # delete the comment in case changes no longer impact brillig bytecode sizes | ||
| delete: ${{ !steps.brillig_execution_diff.outputs.markdown }} | ||
| message: ${{ steps.brillig_execution_diff.outputs.markdown }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| { | ||
| ".": "0.36.0", | ||
| "acvm-repo": "0.52.0" | ||
| ".": "0.38.0", | ||
| "acvm-repo": "0.54.0" | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.