-
Notifications
You must be signed in to change notification settings - Fork 293
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[1 changes] feat: SSA globals in monomorphization and SSA gen (noir-l…
…ang/noir#6985) feat!: disallow calling unconstrained functions outside of `unsafe` blocks and passing unconstrained functions in place of constrained functions (noir-lang/noir#6938) chore: simplify a couple of enum variants (noir-lang/noir#7025) chore: disallow inserting ACIR-only instructions into brillig functions (noir-lang/noir#7017) feat: unchecked math operations in SSA (noir-lang/noir#7011) chore: delete docs for versions which aren't used (noir-lang/noir#7020) feat!: Disable mocks in `execute` (noir-lang/noir#6869) chore(docs): backport 1.0.0-beta.0 doc fixes (noir-lang/noir#7014) feat(cli): Add CLI option to filter by contract function name (noir-lang/noir#7018) chore: Add more Field use info (noir-lang/noir#7019) fix: let static_assert fail with the provided message (noir-lang/noir#7005) chore: mark `aztec-nr` as expected to compile (noir-lang/noir#7015) chore: clarity fix in docs (noir-lang/noir#7016) fix: require generic trait impls to be in scope to call them (noir-lang/noir#6913) feat!: require trait primitive functions/calls to have their trait in scope (noir-lang/noir#6901) feat(lsp): use trait method docs for trait impl method docs on hover (noir-lang/noir#7003) chore: turn on averaging for protocol circuits metrics in CI (noir-lang/noir#6999) feat(comptime): Implement to_be_bits and to_le_bits in the interpreter (noir-lang/noir#7008) chore: Add short circuit in ssa-gen for known if conditions (noir-lang/noir#7007) chore: Only resolved globals monomorphization (noir-lang/noir#7006) chore: Remove resolve_is_unconstrained pass (noir-lang/noir#7004) chore: require safety doc comment for unsafe instead of `//@safety` (noir-lang/noir#6992) fix: Reproduce and fix bytecode blowup (noir-lang/noir#6972) chore: mark casts as able to be deduplicated (noir-lang/noir#6996) fix: return trait impl method as FuncId if there's only one (noir-lang/noir#6989) chore(ci): fail properly in `external-repo-checks` (noir-lang/noir#6988) fix: allow multiple trait impls for the same trait as long as one is in scope (noir-lang/noir#6987) chore: Use DFG in SSA printer (noir-lang/noir#6986) chore!: Reserve `enum` and `match` keywords (noir-lang/noir#6961)
- Loading branch information
Showing
1,309 changed files
with
10,443 additions
and
82,211 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 @@ | ||
| f337992de96ef656681ebfc96a30c2c9c9b82a70 | ||
| db28cb9ffb710c286b54dbfcf57292ae3dffb03d |
File renamed without changes.
File renamed without changes.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
20 changes: 20 additions & 0 deletions
20
noir/noir-repo/.github/critical_libraries_status/README.md
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,20 @@ | ||
| # Critical Libraries Status | ||
|
|
||
| This directory contains one `.failures.jsonl` file per external directory that is checked by CI. | ||
| CI will run the external repository tests and compare the test failures against those recorded | ||
| in these files. If there's a difference, CI will fail. | ||
|
|
||
| This allows us to mark some tests as expected to fail if we introduce breaking changes. | ||
| When tests are fixed on the external repository, CI will let us know that we need to remove | ||
| the `.failures.jsonl` failures on our side. | ||
|
|
||
| The format of the `.failures.jsonl` files is one JSON per line with a failure: | ||
|
|
||
| ```json | ||
| {"suite":"one","name":"foo"} | ||
| ``` | ||
|
|
||
| If it's expected that an external repository doesn't compile (because a PR introduces breaking changes | ||
| to, say, the type system) you can remove the `.failures.jsonl` file for that repository and CI | ||
| will pass again. Once the repository compiles again, CI will let us know and require us to put | ||
| back the `.failures.jsonl` file. |
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
Empty file.
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,39 @@ | ||
| #!/bin/bash | ||
| set -eu | ||
|
|
||
| # Usage: ./check_test_results.sh <expected.json> <actual.jsonl> | ||
| # Compares the output of two test results of the same repository. | ||
| # If any of the files doesn't exist or is empty, the script will consider that the test suite | ||
| # couldn't be compiled. | ||
|
|
||
| function process_json_lines() { | ||
| cat $1 | jq -c 'select(.type == "test" and .event == "failed") | {suite: .suite, name: .name}' | jq -s -c 'sort_by(.suite, .name) | .[]' > $1.jq | ||
| } | ||
|
|
||
| if [ -f $1 ] && [ -f $2 ]; then | ||
| # Both files exist, let's compare them | ||
| $(process_json_lines $2) | ||
| if ! diff $1 $2.jq; then | ||
| echo "Error: test failures don't match expected failures" | ||
| echo "Lines prefixed with '>' are new test failures (you could add them to '$1')" | ||
| echo "Lines prefixed with '<' are tests that were expected to fail but passed (you could remove them from '$1')" | ||
| exit -1 | ||
| fi | ||
| elif [ -f $1 ]; then | ||
| # Only the expected file exists, which means the actual test couldn't be compiled. | ||
| echo "Error: external library tests couldn't be compiled." | ||
| echo "You could rename '$1' to '$1.does_not_compile' if it's expected that the external library can't be compiled." | ||
| exit -1 | ||
| elif [ -f $2 ]; then | ||
| # Only the actual file exists, which means we are expecting the external library | ||
| # not to compile but it did. | ||
| echo "Error: expected external library not to compile, but it did." | ||
| echo "You could create '$1' with these contents:" | ||
| $(process_json_lines $2) | ||
| cat $2.jq | ||
| exit -1 | ||
| else | ||
| # Both files don't exists, which means we are expecting the external library not | ||
| # to compile, and it didn't, so all is good. | ||
| exit 0 | ||
| 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
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
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
Oops, something went wrong.