GitHub - uwplse/peek: Peek: a verified peephole optimizer for CompCert · GitHub

Name		Name	Last commit message	Last commit date
compcert		compcert
web		web
Makefile		Makefile
README.md		README.md

Repository files navigation

Check out our project at http://peek.uwplse.org

About

Peek: a verified peephole optimizer for CompCert

peek.uwplse.org

Custom properties

5 stars

40 watching

Report repository

Releases

Packages

Contributors

Languages