Skip to content

Update dependency: deps/stable-mir-json_release #639

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/stable-mir-json_release #639

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
a6b4be6
deps/stable-mir-json_release: Set Version 89a011e5a590635892fffae9ffd…
rv-auditor Aug 5, 2025
8d9e029
kmir/{pyproject.toml,uv.lock}: sync uv files, K version 7.1.280
rv-auditor Aug 5, 2025
1b3e108
deps/stable-mir-json: sync submodule 89a011e5a590635892fffae9ffd16885…
rv-auditor Aug 5, 2025
f0ab8ac
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
rv-auditor Aug 6, 2025
96b7720
deps/stable-mir-json_release: Set Version 8dcacda4d94f10ea102884887e5…
rv-auditor Aug 6, 2025
30678d1
deps/stable-mir-json: sync submodule 8dcacda4d94f10ea102884887e56da33…
rv-auditor Aug 6, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/stable-mir-json
Open in desktop
Submodule stable-mir-json updated 40 files
+49 −0 .github/workflows/master.yml
+51 −0 .github/workflows/test.yml
+47 −0 .github/workflows/update-version.yml
+1 −0 Makefile
+3 −1 README.md
+1 −0 deps/rv-nix-tools
+105 −0 flake.lock
+69 −0 flake.nix
+15 −0 nix/stable-mir-json-source/default.nix
+47 −0 nix/stable-mir-json/default.nix
+39 −0 nix/test/integration.nix
+54 −12 src/bin/cargo_stable_mir_json.rs
+2 −2 tests/integration/normalise-filter.jq
+1,643 −1,643 tests/integration/programs/assert_eq.smir.json.expected
+681 −681 tests/integration/programs/binop.smir.json.expected
+530 −530 tests/integration/programs/char-trivial.smir.json.expected
+1,035 −1,035 tests/integration/programs/closure-args.smir.json.expected
+639 −639 tests/integration/programs/closure-no-args.smir.json.expected
+944 −944 tests/integration/programs/const-arithm-simple.smir.json.expected
+513 −513 tests/integration/programs/div.smir.json.expected
+530 −530 tests/integration/programs/double-ref-deref.smir.json.expected
+574 −574 tests/integration/programs/enum.smir.json.expected
+1,483 −1,483 tests/integration/programs/fibonacci.smir.json.expected
+1,356 −1,356 tests/integration/programs/float.smir.json.expected
+1,416 −1,416 tests/integration/programs/modulo.smir.json.expected
+1,001 −1,001 tests/integration/programs/mutual_recursion.smir.json.expected
+673 −673 tests/integration/programs/option-construction.smir.json.expected
+1,653 −1,653 tests/integration/programs/param_types.smir.json.expected
+513 −513 tests/integration/programs/primitive-type-bounds.smir.json.expected
+951 −951 tests/integration/programs/recursion-simple-match.smir.json.expected
+997 −997 tests/integration/programs/recursion-simple.smir.json.expected
+1,008 −1,008 tests/integration/programs/ref-deref.smir.json.expected
+2,212 −2,212 tests/integration/programs/shl_min.smir.json.expected
+2,031 −2,031 tests/integration/programs/slice.smir.json.expected
+530 −530 tests/integration/programs/strange-ref-deref.smir.json.expected
+1,182 −1,182 tests/integration/programs/struct.smir.json.expected
+1,689 −1,689 tests/integration/programs/sum-to-n.smir.json.expected
+1,027 −1,027 tests/integration/programs/tuple-eq.smir.json.expected
+513 −513 tests/integration/programs/tuples-simple.smir.json.expected
+2,113 −2,113 tests/integration/programs/weirdRefs.smir.json.expected
2 changes: 1 addition & 1 deletion deps/stable-mir-json_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
62a239d7102b4871a8d24eb921aab3630b7bd3a9
8dcacda4d94f10ea102884887e56da335e4d161c
Loading