Merge branch 'master' into jf/turbofish

* master: (120 commits)
  feat: allow passing custom foreign call handlers when creating proofs in NoirJS (#3764)
  fix: add missing assertion to test (#3765)
  chore: re-export the items needed for the lsp from the fm crate instead of importing codespan_reporting (#3757)
  chore: remove special casing for `pedersen_hash` black box function (#3744)
  chore: remove extraneous dbg statement (#3761)
  chore: fix un-needed fully qualified path (#3755)
  feat: aztec-packages (#3754)
  feat: allow underscores in integer literals (#3746)
  fix: deserialize odd length hex literals (#3747)
  feat: optimize out unnecessary truncation instructions (#3717)
  chore: use `tsx` instead of `ts-node` for `noir_js` (#3750)
  chore(ci): fail `tests-end` job if any dependants failed (#3737)
  chore: allow common ascii punctuation in attributes (#3733)
  chore: fix broken onboarding link in README (#3732)
  feat: Dockerfile to test cargo and JS packages (#3684)
  feat(lsp): add goto definition for locals (#3705)
  feat: docs landing page with a playground (#3667)
  fix: `try_unify` no longer binds types on failure (#3697)
  fix: parse negative integer literals (#3698)
  fix: unsigned integers cannot be negated (#3688)
  ...

.dockerignore

@@ -0,0 +1,22 @@
+Dockerfile*
+.dockerignore
+
+packages
+**/package.tgz
+**/target
+**/node_modules
+**/outputs
+
+# Source resolver
+compiler/source-resolver/lib
+compiler/source-resolver/lib-node
+
+# Noir.js
+tooling/noir_js/lib
+
+# Wasm build artifacts
+compiler/wasm/nodejs
+compiler/wasm/web
+tooling/noirc_abi_wasm/nodejs
+tooling/noirc_abi_wasm/web
+tooling/noir_js/lib

.eslintrc.js

@@ -1,4 +1,9 @@
 module.exports = {
+  env: {
+    browser: true,
+    es6: true,
+    node: true,
+  },
   root: true,
   parser: '@typescript-eslint/parser',
   plugins: ['@typescript-eslint', 'prettier'],

.github/workflows/auto-pr-rebuild-script.yml → .github/workflows/acir-artifacts.yml

@@ -1,4 +1,4 @@
-name: Rebuild ACIR artifacts
+name: Build ACIR artifacts
 
 on:
   pull_request:
@@ -93,13 +93,8 @@ jobs:
           chmod +x ${{ github.workspace }}/nargo/nargo
           echo "${{ github.workspace }}/nargo" >> $GITHUB_PATH
 
-      - name: Set up Git user (Github Action)
-        run: |
-          git config --local user.name kevaundray
-          git config --local user.email kevtheappdev@gmail.com
-
       - name: Run rebuild script
-        working-directory: tooling/nargo_cli/tests
+        working-directory: test_programs
         run: |
           chmod +x ./rebuild.sh
           ./rebuild.sh
@@ -108,23 +103,5 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           name: acir-artifacts
-          path: ./tooling/nargo_cli/tests/acir_artifacts
+          path: ./test_programs/acir_artifacts
           retention-days: 10
-
-      - name: Check for changes in acir_artifacts directory
-        id: check_changes
-        if: ${{ github.ref_name }} == "master"
-        run: |
-          git diff --quiet tooling/nargo_cli/tests/acir_artifacts/ || echo "::set-output name=changes::true"
-          
-      - name: Create or Update PR
-        if: steps.check_changes.outputs.changes == 'true'
-        uses: peter-evans/create-pull-request@v3
-        with:
-          token: ${{ secrets.NOIR_REPO_TOKEN }}
-          commit-message: "chore: update acir artifacts"
-          title: "chore: Update ACIR artifacts"
-          body: "Automatic PR to update acir artifacts"
-          add-paths: tooling/nargo_cli/tests/acir_artifacts/*.gz
-          labels: "auto-pr"
-          branch: "auto-pr-rebuild-script-branch"

.github/workflows/build-aztec-feature-flag.yml

@@ -42,4 +42,4 @@ jobs:
           save-if: ${{ github.event_name != 'merge_group' }}
 
       - name: Build with feature flag
-        run: cargo build --features="noirc_frontend/aztec"
+        run: cargo build --features="noirc_driver/aztec"

.github/workflows/docs-pr.yml

@@ -55,7 +55,7 @@ jobs:
     if: needs.add_label.outputs.has_label == 'true'
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Setup Node.js
         uses: actions/setup-node@v2
@@ -71,34 +71,12 @@ jobs:
         run: |
           npm i wasm-opt -g
 
-      - name: Install dependencies
-        run: yarn
+      - name: Install Yarn dependencies
+        uses: ./.github/actions/setup
 
-      - name: Build acvm_js
-        run: yarn workspace @noir-lang/acvm_js build
-
-      - name: Build noirc_abi
-        run: yarn workspace @noir-lang/noirc_abi build
-
-      - name: Build noir_js_types
-        run: yarn workspace @noir-lang/types build
-
-      - name: Build barretenberg wrapper
-        run: yarn workspace @noir-lang/backend_barretenberg build
-
-      - name: Run noir_js
-        run: |
-          yarn workspace @noir-lang/noir_js build
-
-      - name: Remove pre-releases
-        working-directory: docs
-        env: 
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: yarn setStable
-
       - name: Build docs
         run: 
-          yarn workspace docs build
+          yarn workspaces foreach -Rt run build
 
       - name: Deploy to Netlify
         uses: nwtgck/actions-netlify@v2.1

.github/workflows/gates_report.yml

@@ -50,9 +50,7 @@ jobs:
       pull-requests: write
 
     steps:
-      - uses: actions/checkout@v3
-        with:
-          submodules: recursive
+      - uses: actions/checkout@v4
 
       - name: Download nargo binary
         uses: actions/download-artifact@v3
@@ -69,10 +67,10 @@ jobs:
           nargo -V
 
       - name: Generate gates report
-        working-directory: ./tooling/nargo_cli/tests
+        working-directory: ./test_programs
         run: |
           ./gates_report.sh
-          mv gates_report.json ../../../gates_report.json
+          mv gates_report.json ../gates_report.json
        
       - name: Compare gates reports
         id: gates_diff

.github/workflows/publish-acvm.yml

@@ -3,7 +3,7 @@ name: Publish ACVM crates
 on:
   workflow_dispatch:
     inputs:
-      acvm-ref:
+      noir-ref:
         description: The acvm reference to checkout
         required: true
 
@@ -15,7 +15,7 @@ jobs:
       - name: Checkout sources
         uses: actions/checkout@v4
         with:
-          ref: ${{ inputs.acvm-ref }}
+          ref: ${{ inputs.noir-ref }}
 
       - name: Setup toolchain
         uses: dtolnay/rust-toolchain@1.71.1