update

Author: tamirhemo

.gitignore

@@ -14,4 +14,6 @@
 # proof file from test
 prover/proof-with-pis.bin
 perf/proof-with-pis.bin
-core_proof.bin
+core_proof.bin
+program.bin
+stdin.bin

Cargo.lock

@@ -19,14 +19,16 @@ debug-assertions = true
 [workspace.dependencies]
 
 # sp1
-sp1-core-executor = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev", features = [ "bigint-rug" ] } 
-sp1-core-machine = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-prover = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-recursion-core = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-cuda = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-stark = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-sp1-eval = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
-test-artifacts = { git = "https://github.com/succinctlabs/sp1-wip", branch = "dev" }
+sp1-core-executor = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip", features = [
+    "bigint-rug",
+] }
+sp1-core-machine = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-prover = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-recursion-core = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-cuda = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-stark = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+sp1-eval = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
+test-artifacts = { git = "https://github.com/succinctlabs/sp1-wip", branch = "tamir/update-wip" }
 
 # p3
 p3-interpolation = "=0.2.0-succinct"