fixed example path so that the new folder gets created in ${PROOF_ROOT} instead of ${CBMC_ROOT}}

remi-delmas-3000 committed Aug 2, 2021

Updated CBMC starter kit setup proof script (markdown)

markrtuttle committed Oct 29, 2020

Updated CBMC starter kit setup proof script (markdown)

markrtuttle committed Oct 29, 2020

Add the start of a manual for CBMC starter kit.

Mark R. Tuttle committed Oct 29, 2020