GitHub - petrosyh/intptr_cast: 2017 Internship: Implementing a C Memory Model Supporting Int-Ptr Casts in CompCert

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
bib		bib
notes		notes
presentation		presentation
report		report
save_sflib		save_sflib
showandtell		showandtell
test		test
.gitignore		.gitignore
Behaviors_sepcomp.v		Behaviors_sepcomp.v
intptrcast.org		intptrcast.org
mixed.v		mixed.v