petrosyh / intptr_cast Goto Github PK
View Code? Open in Web Editor NEWThis project forked from aurele-barriere/intptr_cast
2017 Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert
Home Page: http://sf.snu.ac.kr/intptrcast/