Update dependency: deps/wasm-semantics (#138)

* deps/wasm-semantics: Set Version d7ad527515edf9b9fbbdd1aecf6720c49fe0159f * deps/wasm-semantics: Set Version 59256d0d386786a6383a8e1f05af7260ec933ca4 * Update poetry.lock * Update pyk calls * mxpy: ruplacer set precise version --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Virgil <virgil.serbanuta@runtimeverification.com> Co-authored-by: Burak Bilge Yalcinkaya <bbyalcinkaya@gmail.com>
runtimeverification · Sep 12, 2023 · aabe0ec · aabe0ec
1 parent 04fdbb7
commit aabe0ec
Show file tree

Hide file tree

Showing 5 changed files with 97 additions and 91 deletions.
diff --git a/Makefile b/Makefile
@@ -282,6 +282,7 @@ TEST_MANDOS := $(POETRY_RUN) mandos --definition-dir $(llvm_dir)/mandos-kompiled
 # Use a precise clap version.
 mxpy-build/%:
 	if [ ! -f "$*/Cargo.lock" ]; then \
+	    cargo update --manifest-path $*/Cargo.toml -p ruplacer --precise 0.8.1 ; \
 	    cargo update --manifest-path $*/Cargo.toml -p clap --precise 4.1.0 ; \
 	fi
 

diff --git a/deps/wasm-semantics b/deps/wasm-semantics