This folder contains examples of translating CUDA programs into CIVL model.