/acsl-proved

Fully proved small C functions (examples for verification course).

Primary LanguageC

Watchers