use our own is_prime impl (lambdaclass#1238)

Author: tdelabro

CHANGELOG.md

@@ -51,7 +51,9 @@
 
 * move the vm in it's own directory and crate, different from the workspace
 
-* add a `ensure_no_std` crate that will be used by the CI to check that new changes are not reverting `no_std` support
+* add a `ensure-no_std` crate that will be used by the CI to check that new changes are not reverting `no_std` support
+
+* replace the use of `num-prime::is_prime` by a custom implementation, therefore restoring `no_std` compatibility
 
 #### [0.5.1] - 2023-6-7
 

ensure-no_std/Cargo.toml

@@ -1,12 +1,10 @@
 [package]
+edition = "2021"
 name = "ensure-no_std"
 version = "0.1.0"
-edition = "2021"
 
 [dependencies]
-cairo-felt = { path = "../felt", default-features = false, features = [
-    "alloc",
-] }
+cairo-felt = { path = "../felt", default-features = false, features = [ "alloc" ] }
 cairo-vm = { path = "../vm", default-features = false }
 
 wee_alloc = "0.4.5"

ensure_no_std/.cargo/config.toml

@@ -82,6 +82,7 @@ ark-std = { workspace = true, optional = true }
 [dev-dependencies]
 assert_matches = "1.5.0"
 num-prime = { version = "0.4.3", features = [ "big-int" ] }
+num-prime = { version = "0.4.3", features = [ "big-int" ] }
 rstest = { version = "0.17.0", default-features = false }
 
 [target.'cfg(target_arch = "wasm32")'.dev-dependencies]

ensure_no_std/Cargo.lock

@@ -16,13 +16,9 @@ use crate::{
     },
 };
 use felt::{Felt252, PRIME_STR};
-<<<<<<< HEAD:vm/src/serde/deserialize_program.rs
-use num_traits::float::FloatCore;
 use num_traits::{Num, Pow};
 use serde::Serializer;
-=======
 use num_traits::{Num, Pow};
->>>>>>> 97823e51 (Handle scientific notation in fn `felt_from_number` (#1188)):src/serde/deserialize_program.rs
 use serde::{de, de::MapAccess, de::SeqAccess, Deserialize, Deserializer, Serialize};
 use serde_json::Number;