jasmin submodule follows main branch

formosa-crypto · Feb 12, 2025 · ae08082 · ae08082
1 parent ab37ff5
commit ae08082
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,7 +1,7 @@
 [submodule "jasmin"]
 	path = jasmin
 	url = https://github.com/jasmin-lang/jasmin.git
-	branch = fix-eclib-avx2-shifts
+	branch = main
 [submodule "crypto-specs"]
 	path = crypto-specs
 	url = [email protected]:formosa-crypto/crypto-specs.git

diff --git a/jasmin b/jasmin
+11 −0		CHANGELOG.md
+1 −1		compiler/examples/gimli/proofs/gimliv.ec
+2 −0		compiler/src/intervalGraphColoring.ml
+1 −16		compiler/src/latex_printer.ml
+43 −1		compiler/src/pretyping.ml
+15 −0		compiler/src/syntax.ml
+1 −0		compiler/src/toEC.ml
+1 −2		compiler/src/varalloc.ml
+4 −0		compiler/tests/fail/common/storage_signature_mismatch.jazz
+0 −9		compiler/tests/fail/stack_allocation/x86-64/uninit_stack.jazz
+1 −1		compiler/tests/success/common/bug_607.jazz
+28 −0		compiler/tests/success/x86-64/bug_680.jazz
+1 −1		compiler/tests/success/x86-64/test_ptr_fn_inline.jazz
+34 −19		eclib/JByte_array.ec
+2 −1		eclib/JWord.ec
+7 −14		scripts/easycrypt.nix