hevm-ts

symbolic evm¹ in typescript

work in progress port of hevm, but much shitter and for sure not for formal verification uses

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.github/workflows		.github/workflows
dist		dist
runtime		runtime
src		src
.gitignore		.gitignore
README.md		README.md
fetch-consensus-specs.sh		fetch-consensus-specs.sh
package-lock.json		package-lock.json
package.json		package.json
tsconfig.build.json		tsconfig.build.json
tsconfig.json		tsconfig.json

Provide feedback