This repository has been archived by the owner on Mar 15, 2024. It is now read-only.

read witnesses #60

Open

mpmilano opened this issue Nov 13, 2017 · 0 comments

Owner

mpmilano commented Nov 13, 2017

add read witnesses to compiler, alongside detection of whether they are necessary.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.