Overview

A mechanically verified refactoring tool for Compcert C.