yk-reduce This repo contains infrastructure for reducing yk interpreters using creduce/cvise. See the sub-directories for individual interpreters.