-
Notifications
You must be signed in to change notification settings - Fork 195
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* master: (63 commits) feat(nargo): Remove usage of `CompiledProgram` in CLI code and use separate ABI/bytecode (#1269) feat: add integration tests for bitshift operators (#1272) chore: Replace explicit if-elses with `FieldElement::from<bool>()` for boolean fields (#1266) chore(noir): constrain expr; -> assert(expr); (#1276) chore: fix clippy warning (#1270) chore(ssa refactor): Add all remaining doc comments to ssa generation pass (#1256) chore(noir): Release 0.5.1 (#1264) fix: Add Poseidon examples into integration tests (#1257) chore(nargo): replace `aztec_backend` with `acvm-backend-barretenberg` (#1226) chore(noir): Release 0.5.0 (#1202) chore(ci): Utilize new workflow to build binaries (#1250) chore(ssa refactor): Fix loading from mutable parameters (#1248) fix(wasm): add std after dependencies (#1245) chore(ssa refactor): Fix no returns & duplicate main (#1243) chore(ssa refactor): Implement intrinsics (#1241) chore(ssa refactor): Implement first-class functions (#1238) chore: address clippy warnings (#1239) chore(ssa refactor): Implement function calls (#1235) chore(ssa refactor): Implement mutable and immutable variables (#1234) chore(ssa refactor): Fix recursive printing of blocks (#1230) ...
- Loading branch information
Showing
223 changed files
with
5,681 additions
and
1,865 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,20 @@ | ||
| use nix | ||
| # Based on https://github.com/direnv/direnv-vscode/blob/158e8302c2594cc0eaa5f8b4f0cafedd4e1c0315/.envrc | ||
|
|
||
| # You can define your system-specific logic (like Git settings or GH tokens) in .envrc.local | ||
| # If that logic is usable by other people and might improve development environment, consider | ||
| # contributing it to this file! | ||
|
|
||
| source_env_if_exists .envrc.local | ||
|
|
||
| if [[ -z "${SKIP_NIX:-}" ]] && has nix; then | ||
|
|
||
| if nix flake metadata &>/dev/null && has use_flake; then | ||
| # use flakes if possible | ||
| use flake | ||
|
|
||
| else | ||
| # Otherwise fall back to pure nix | ||
| use nix | ||
| fi | ||
|
|
||
| fi |
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,32 @@ | ||
| name: Notify Doc Needed | ||
|
|
||
| on: | ||
| pull_request_target: | ||
| types: | ||
| - labeled | ||
| - unlabeled | ||
|
|
||
| jobs: | ||
| dispatch: | ||
| runs-on: ubuntu-latest | ||
| if: github.event.label.name == 'doc needed' | ||
|
|
||
| steps: | ||
| - uses: actions/checkout@v3 | ||
| - name: Set workflowId environment variable | ||
| id: set_workflow_id | ||
| run: | | ||
| if [[ "${{ github.event.action }}" == "labeled" ]]; then | ||
| echo "workflowId=new-migrated-issue.yml" >> $GITHUB_ENV | ||
| else | ||
| echo "workflowId=delete-migrated-issue.yml" >> $GITHUB_ENV | ||
| fi | ||
| - name: Dispatch | ||
| uses: benc-uk/workflow-dispatch@v1 | ||
| with: | ||
| workflow: ${{ env.workflowId }} | ||
| repo: noir-lang/docs | ||
| ref: master | ||
| token: ${{ secrets.DOCS_REPO_TOKEN }} | ||
| inputs: '{ "pr_number": "${{ github.event.pull_request.number }}" }' |
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 was deleted.
Oops, something went wrong.
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,61 @@ | ||
| name: Test | ||
|
|
||
| on: [push, pull_request] | ||
|
|
||
| # This will cancel previous runs when a branch or PR is updated | ||
| concurrency: | ||
| group: ${{ github.workflow }}-${{ github.head_ref || github.ref || github.run_id }} | ||
| cancel-in-progress: true | ||
|
|
||
| jobs: | ||
| test: | ||
| name: Test on ${{ matrix.os }} | ||
| runs-on: ${{ matrix.os }} | ||
|
|
||
| strategy: | ||
| fail-fast: false | ||
| matrix: | ||
| include: | ||
| - os: ubuntu-latest | ||
| target: x86_64-linux | ||
| - os: macos-latest | ||
| target: x86_64-darwin | ||
|
|
||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v3 | ||
|
|
||
| - uses: cachix/install-nix-action@v20 | ||
| with: | ||
| nix_path: nixpkgs=channel:nixos-22.11 | ||
| github_access_token: ${{ secrets.GITHUB_TOKEN }} | ||
|
|
||
| - uses: cachix/cachix-action@v12 | ||
| with: | ||
| name: barretenberg | ||
|
|
||
| - name: Restore nix store cache | ||
| id: nix-store-cache | ||
| uses: actions/cache@v3 | ||
| with: | ||
| path: /tmp/nix-cache | ||
| key: ${{ runner.os }}-flake-${{ hashFiles('*.lock') }} | ||
|
|
||
| # Based on https://github.com/marigold-dev/deku/blob/b5016f0cf4bf6ac48db9111b70dd7fb49b969dfd/.github/workflows/build.yml#L26 | ||
| - name: Copy cache into nix store | ||
| if: steps.nix-store-cache.outputs.cache-hit == 'true' | ||
| # We don't check the signature because we're the one that created the cache | ||
| run: | | ||
| for narinfo in /tmp/nix-cache/*.narinfo; do | ||
| path=$(head -n 1 "$narinfo" | awk '{print $2}') | ||
| nix copy --no-check-sigs --from "file:///tmp/nix-cache" "$path" | ||
| done | ||
| - name: Run `nix flake check` | ||
| run: | | ||
| nix flake check -L | ||
| - name: Export cache from nix store | ||
| if: steps.nix-store-cache.outputs.cache-hit != 'true' | ||
| run: | | ||
| nix copy --to "file:///tmp/nix-cache?compression=zstd¶llel-compression=true" .#cargo-artifacts |
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 |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| { | ||
| // See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations. | ||
| // Extension identifier format: ${publisher}.${name}. Example: vscode.csharp | ||
| // List of extensions which should be recommended for users of this workspace. | ||
| "recommendations": [ | ||
| "mkhl.direnv", | ||
| "jnoortheen.nix-ide", | ||
| "rust-lang.rust-analyzer", | ||
| "redhat.vscode-yaml" | ||
| ], | ||
| // List of extensions recommended by VS Code that should not be recommended for users of this workspace. | ||
| "unwantedRecommendations": [] | ||
| } |
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,16 @@ | ||
| { | ||
| "direnv.restart.automatic": true, | ||
| "redhat.telemetry.enabled": false, | ||
| "yaml.recommendations.show": false, | ||
| "nix.serverPath": "nil", | ||
| "nix.enableLanguageServer": true, | ||
| "nix.serverSettings": { | ||
| "nil": { | ||
| "formatting": { | ||
| "command": [ | ||
| "nixpkgs-fmt" | ||
| ] | ||
| } | ||
| } | ||
| }, | ||
| } |
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.