GitHub - evdenis/small-examples: Small examples of ACSL specifications.

This repository was archived by the owner on Feb 23, 2023. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Makefile		Makefile
abs.c		abs.c
array_max.c		array_max.c
array_sum.c		array_sum.c
avr.c		avr.c
bsearch.c		bsearch.c
clamp.c		clamp.c
copy.c		copy.c
deadcode.c		deadcode.c
distance.c		distance.c
divide.c		divide.c
divmult.c		divmult.c
factorial.c		factorial.c
factorial_rec.c		factorial_rec.c
fib_rec.c		fib_rec.c
indaddr.c		indaddr.c
lower_bound.c		lower_bound.c
lshift.c		lshift.c
max3.c		max3.c
mod.c		mod.c
mset.c		mset.c
palindrome.c		palindrome.c
reverse.c		reverse.c
reverse_in_place.c		reverse_in_place.c
rshift.c		rshift.c
set_odd.c		set_odd.c
shiftback.c		shiftback.c
sum.c		sum.c
swap.c		swap.c