package yultracer

  1. Overview
  2. Docs
A bounded safety checker for Yul

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (1)

Authors

  1. Y
    Yu-Yang Lin

Maintainers

  1. L
    linhouy@tcd.ie

Sources

yultracer-v0.2.0-source-no-tests.tar.xz
md5=1b0f7bc0adafc459db8887a148a5ac5e
sha512=891cc5afa1cc729206bbf722760ce695e86dbbbc58744cfb1338ba14197832a7c7ff8f25de401214be834f3e7f0389bcfbdd5dd63210efd6582a68537020c838

doc/index.html

yultracer