/tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

Primary LanguageOCaml

Stargazers

No one’s star this repository yet.