runtimeverification / blockchain-k-plugin Goto Github PK
View Code? Open in Web Editor NEWK plugin for IELE and KEVM
License: Other
K plugin for IELE and KEVM
License: Other
When calling make
in KEVM now, I get an error with formatting in this repo:
poetry install
Installing dependencies from lock file
Warning: poetry.lock is not consistent with pyproject.toml. You may be getting improper dependencies. Run `poetry lock [--no-update]` to fix it.
No dependencies to install or update
Installing the current project: kevm-pyk (1.0.529)
poetry run flake8 src
poetry run mypy src
Success: no issues found in 29 source files
poetry run autoflake --quiet --check src
poetry run isort --check src
ERROR: /home/dev/src/evm-semantics/kevm-pyk/src/kevm_pyk/kproj/plugin/tests/test.py Imports are incorrectly sorted and/or formatted.
make: *** [Makefile:89: check-isort] Error 1
I guess that we need to:
Is there a license for this repo?
Currently, the interface presumes that Strings can be treated as raw byte arrays. This will no longer be true once we support Unicode, so the hooks should be updated to use Bytes instead.
Discussions with @goodlyrottenapple and @jberthold led us to conclude we may want to build a combined library (statically?) that includes all the dependencies like cryptopp etc.
As the number of projects depending on the plugin increases, it would be helpful to have a checklist of current plugin users so that we are sure that no project falls through the cracks when we update.
There are several changes that need to be made to facilitate (i) modularity of the KEVM build, and (ii) hooks needed by the Michelson Semantics.
Here is the proposed upgrade path:
log vmquery and Code/Blockhash/Account/StorageData messages.
See all bug reports here: https://bugs.launchpad.net/ubuntu/+source/libcrypto++/
In particular, the bug that affects us is: https://bugs.launchpad.net/ubuntu/+source/libcrypto++/+bug/1876166
This seems like a similar bug: https://bugs.launchpad.net/ubuntu/+source/libcrypto++/+bug/660171
This affects us because we want to use some of the missing symbols as crypto hooks. This forces us to have a more complex build/package process for any semantics that uses those hooks.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.