-
Notifications
You must be signed in to change notification settings - Fork 310
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[1 changes] chore: let
add_definition_location take a Location (noi…
…r-lang/noir#7185) fix(LSP): correct signature for assert and assert_eq (noir-lang/noir#7184) chore(experimental): Prevent enum panics by returning Options where possible instead of panicking (noir-lang/noir#7180) feat(experimental): Construct enum variants in expressions (noir-lang/noir#7174) feat: add `noir-inspector` (noir-lang/noir#7136) fix: ensure canonical bits decomposition (noir-lang/noir#7168) fix: Keep `inc_rc` for array inputs during preprocessing (noir-lang/noir#7163) fix(docs): Update broken links to EC lib (noir-lang/noir#7141) feat: inline simple functions (noir-lang/noir#7160) feat(ssa): Expand feature set of the Brillig constraint check (noir-lang/noir#7060) fix(ssa): Resolve value before fetching from DFG in a couple cases (noir-lang/noir#7169) fix: `Function::is_no_predicates` always returned false for brillig f… (noir-lang/noir#7167) chore(refactor): Remove globals field on Ssa object and use only the shared globals graph (noir-lang/noir#7156) chore: let `Function::inlined` take a `should_inline_call` function (noir-lang/noir#7149) chore: add compile-time assertions on generic arguments of stdlib functions (noir-lang/noir#6981) fix: LSP hover over function with `&mut self` (noir-lang/noir#7155) feat(brillig): Set global memory size at program compile time (noir-lang/noir#7151) feat: LSP autocomplete module declaration (noir-lang/noir#7154) feat(ssa): Reuse constants from the globals graph when making constants in a function DFG (noir-lang/noir#7153) feat: LSP chain inlay hints (noir-lang/noir#7152) chore: turn on overflow checks in CI rust tests (noir-lang/noir#7145) fix(ssa): Use post order when mapping instructions in loop invariant pass (noir-lang/noir#7140) fix: preserve types when reading from calldata arrays (noir-lang/noir#7144) feat: Resolve enums & prepare type system (noir-lang/noir#7115) feat: `loop` must have at least one `break` (noir-lang/noir#7126) feat: parse globals in SSA parser (noir-lang/noir#7112) fix: allow calling trait impl method from struct if multiple impls exist (noir-lang/noir#7124) fix: avoid creating unnecessary memory blocks (noir-lang/noir#7114) chore: relax threshold for reporting regressions (noir-lang/noir#7130) fix: proper cleanup when breaking from comptime loop on error (noir-lang/noir#7125) fix: Prevent overlapping associated types impls (noir-lang/noir#7047) feat: unconstrained optimizations for BoundedVec (noir-lang/noir#7119) chore: mark libs good (noir-lang/noir#7123) chore: remove comments for time/memory benchmarks (noir-lang/noir#7121) fix: don't always use an exclusive lock in `nargo check` (noir-lang/noir#7120) feat(ssa): Pass to preprocess functions (noir-lang/noir#7072) chore: Formatting issues / minor errors in the docs (noir-lang/noir#7105) fix: defunctionalize pass on the caller runtime to apply (noir-lang/noir#7100) feat: Parser and formatter support for `enum`s (noir-lang/noir#7110) feat(brillig): SSA globals code gen (noir-lang/noir#7021) feat: `loop` keyword in runtime and comptime code (noir-lang/noir#7096) chore: Add benchmarking dashboard (noir-lang/noir#7068) feat(experimental): try to infer lambda argument types inside calls (noir-lang/noir#7088) feat(ssa): Add flag to DIE pass to be able to keep `store` instructions (noir-lang/noir#7106) chore: Cookbook Onboard integration (noir-lang/noir#7044) chore: lock to ubuntu 22.04 (noir-lang/noir#7098) fix: Remove unused brillig functions (noir-lang/noir#7102) chore(ssa): Use correct prefix when printing array values in global space (noir-lang/noir#7095)
- Loading branch information
Showing
1,437 changed files
with
23,011 additions
and
84,525 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 | ||
| c44b62615f1c8ee657eedd82f2b80e2ec76c9078 |
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,3 @@ | ||
| .actual.jsonl | ||
| .actual.jsonl.jq | ||
| .failures.jsonl.jq |
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.
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.