/cminor

A C-like language verifier using annotation and basic path verification.

Primary LanguageC#

Stargazers