# CASCompCert

The results related to our paper reside in concurrency/ subdirectory, others are CompCert-3.0.1 files required by our formalization. Below we list contents of concurrency/.