Fix pyk scripts (#110)

* Updating to match main (#109) * Implement TokenIdentifier (#100) * Mutable variables (#105) * Update K to 149 (#99) (#101) Co-authored-by: Virgil <[email protected]> * Introducing mutable variables and preventing override on immutable ones * Adding minor comments * Update K to 149 (#99) (#104) Co-authored-by: Virgil <[email protected]> * Removing restrictions over reassignments of immutable variables * [Fix] Removing restrictions over reassignments of immutable variables * Addressing review comments --------- Co-authored-by: Virgil <[email protected]> * Implement the send() function for contracts (#102) * Enabling assignments on tuples with let expressions (#107) * Enabling assignments on tuples with let expressions * Addressing comments * Implement call_value() (#103) * BigUint operations (#106) --------- Co-authored-by: Virgil <[email protected]> * Modifying pyk version * Modifying krun dir_paths to appropriate targets --------- Co-authored-by: Virgil <[email protected]>
Pi-Squared-Inc · Sep 30, 2024 · db6c0ef · db6c0ef
1 parent 28ccc3d
commit db6c0ef
Show file tree

Hide file tree

Showing 4 changed files with 122 additions and 105 deletions.
diff --git a/Makefile b/Makefile
@@ -94,37 +94,37 @@ $(RUST_EXECUTION_TIMESTAMP): $(RUST_SEMANTICS_FILES)
 $(MX_TESTING_TIMESTAMP): $(MX_SEMANTICS_FILES)
 	# Workaround for https://github.com/runtimeverification/k/issues/4141
 	-rm -r $(MX_TESTING_KOMPILED)
-	$$(which kompile) mx-semantics/targets/testing/mx.md -o $(MX_TESTING_KOMPILED) --debug
+	$$(which kompile) mx-semantics/targets/testing/mx.md --emit-json -o $(MX_TESTING_KOMPILED) --debug
 
 $(MX_RUST_TIMESTAMP): $(MX_SEMANTICS_FILES) $(RUST_SEMANTICS_FILES) $(MX_RUST_SEMANTICS_FILES)
 	# Workaround for https://github.com/runtimeverification/k/issues/4141
 	-rm -r $(MX_RUST_KOMPILED)
 	$$(which kompile) mx-rust-semantics/targets/blockchain/mx-rust.md \
-			-o $(MX_RUST_KOMPILED) \
+			--emit-json -o $(MX_RUST_KOMPILED) \
 			-I . \
 			--debug
 
 $(MX_RUST_TESTING_TIMESTAMP): $(MX_SEMANTICS_FILES) $(RUST_SEMANTICS_FILES) $(MX_RUST_SEMANTICS_FILES)
 	# Workaround for https://github.com/runtimeverification/k/issues/4141
 	-rm -r $(MX_RUST_TESTING_KOMPILED)
 	$$(which kompile) mx-rust-semantics/targets/testing/mx-rust.md \
-			-o $(MX_RUST_TESTING_KOMPILED) \
+			--emit-json -o $(MX_RUST_TESTING_KOMPILED) \
 			-I . \
 			--debug
 
 $(MX_RUST_CONTRACT_TESTING_TIMESTAMP): $(MX_SEMANTICS_FILES) $(RUST_SEMANTICS_FILES) $(MX_RUST_SEMANTICS_FILES)
 	# Workaround for https://github.com/runtimeverification/k/issues/4141
 	-rm -r $(MX_RUST_CONTRACT_TESTING_KOMPILED)
 	$$(which kompile) mx-rust-semantics/targets/contract-testing/mx-rust.md \
-			-o $(MX_RUST_CONTRACT_TESTING_KOMPILED) \
+			--emit-json -o $(MX_RUST_CONTRACT_TESTING_KOMPILED) \
 			-I . \
 			--debug
 
 $(MX_RUST_TWO_CONTRACTS_TESTING_TIMESTAMP): $(MX_SEMANTICS_FILES) $(RUST_SEMANTICS_FILES) $(MX_RUST_SEMANTICS_FILES)
 	# Workaround for https://github.com/runtimeverification/k/issues/4141
 	-rm -r $(MX_RUST_TWO_CONTRACTS_TESTING_KOMPILED)
 	$$(which kompile) mx-rust-semantics/targets/two-contracts-testing/mx-rust.md \
-			-o $(MX_RUST_TWO_CONTRACTS_TESTING_KOMPILED) \
+			--emit-json -o $(MX_RUST_TWO_CONTRACTS_TESTING_KOMPILED) \
 			-I . \
 			--debug