Skip to content

Commit

Permalink
Update dependency: deps/plugin (#162)
Browse files Browse the repository at this point in the history 
* deps/wasm-semantics: Set Version 0994dc72cad2e9cbeaf01291e64b9d7611d41864

* Update poetry

* deps/wasm-semantics: Set Version ef6ae92173ef99aa4581a158e39fe7267d1a491d

* Update poetry

* deps/plugin: Set Version f27c5ec4861272c1ad4496bc6aab9f47dd6d473a

* remove Bytes2String from crypto functions

* deps/plugin: Set Version 5cdeb1b2a568ba42a3541ad93b5984a4b0a1cbe3

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Burak Bilge Yalcinkaya <[email protected]>
  • Loading branch information
@rv-jenkins @bbyalcinkaya
3 people authored Jan 25, 2024
1 parent e34d232 commit a2d5358
Show file tree
Hide file tree
Showing 4 changed files with 124 additions and 113 deletions.
2 changes: 1 addition & 1 deletion deps/plugin
Submodule plugin updated 12 files
+1 −12 .github/actions/with-docker/action.yml
+1 −1 .github/workflows/Dockerfile
+0 −23 .github/workflows/Dockerfile.z3
+4 −4 .github/workflows/test-pr.yml
+1 −1 deps/k_release
+1 −0 deps/z3_version
+5 −5 plugin-c/crypto.cpp
+34 −34 plugin/krypto.md
+15 −11 tests/krypto-hooks/ecdsa/ecdsa-test.k
+6 −0 tests/krypto-hooks/ecdsa/sender.pgm
+3 −0 tests/krypto-hooks/ecdsa/sender.pgm.out
+1 −1 tests/krypto-hooks/ed25519/ed25519verify-test.k
2 changes: 1 addition & 1 deletion deps/wasm-semantics
Submodule wasm-semantics updated from b39a12 to ef6ae9
Loading

0 comments on commit a2d5358

Please sign in to comment.