History / Write a good proof

Revisions

precisions on null pointer modelling in ensure_allocated functions

remi-delmas-3000 committed Aug 2, 2021

732cc1d
added language annotations for syntax highlighter

SaswatPadhi committed Oct 29, 2020

ef0e0cb
Add the start of a manual for CBMC starter kit.

Mark R. Tuttle committed Oct 29, 2020

429cd2d
Updated PROOF WRITING (markdown)

markrtuttle committed Oct 23, 2020

c792fb7