Merge branch 'main' into opt-felt252_div-compilation

Author: FrancoGiachetta

.github/workflows/publish.yml

@@ -37,9 +37,9 @@ jobs:
           keys-asc: https://apt.llvm.org/llvm-snapshot.gpg.key
       - name: Install LLVM
         run: sudo apt-get install llvm-19 llvm-19-dev llvm-19-runtime clang-19 clang-tools-19 lld-19 libpolly-19-dev libmlir-19-dev mlir-19-tools
-      - name: publish starknet-native-compile
-        run: cargo publish --token ${CRATES_TOKEN} --all-features -p starknet-native-compile
       - name: publish sierra emu
         run: cargo publish --token ${CRATES_TOKEN} --all-features -p sierra-emu
       - name: publish cairo native
         run: cargo publish --token ${CRATES_TOKEN} --all-features -p cairo-native
+      - name: publish starknet-native-compile
+        run: cargo publish --token ${CRATES_TOKEN} --all-features -p starknet-native-compile

Cargo.toml

@@ -45,7 +45,7 @@ cairo-lang-starknet-classes = "~2.12.3"
 cairo-lang-test-plugin = "~2.12.3"
 cairo-lang-utils = "~2.12.3"
 cairo-native-bin-utils.path = "binaries/cairo-native-bin-utils"
-cairo-native.path = "."
+cairo-native = { path = ".", version = "0.7.1" }
 clap = "4.5.23"
 colored = "2.1.0"
 criterion = "0.5.1"