opam on Github

yultracerversion
0.2.0 (latest)
Documentation on ocaml.org

A bounded safety checker for Yul

YulTracer is a tool that checks for assertion violations for Yul using a bounded game semantics exploration.

Tags yul evm interpreter game-semantics safety-checker assertions verification symbolic-execution blockchain ethereum
AuthorYu-Yang Lin
LicenseMIT
Published
Homepagehttps://github.com/LaifsV1/YulTracer
Issue Trackerhttps://github.com/LaifsV1/YulTracer/issues
Maintainerlinhouy@tcd.ie
Availablearch != "x86_32" & arch != "arm32"
Dependencies
Source [http] https://github.com/LaifsV1/YulTracer/releases/download/v0.2.0/yultracer-v0.2.0-source-no-tests.tar.xz
md5=1b0f7bc0adafc459db8887a148a5ac5e
sha512=891cc5afa1cc729206bbf722760ce695e86dbbbc58744cfb1338ba14197832a7c7ff8f25de401214be834f3e7f0389bcfbdd5dd63210efd6582a68537020c838
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/yultracer/yultracer.0.2.0/opam
No package is dependent
Generated using opam2web, courtesy of OCamlPro. Commercial support.