Fully proved small C functions (examples for verification course).
C Makefile
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
abs.jessie
abs_impletentation.jessie
array_average.jessie
array_max.jessie
array_sum.jessie
arrays_average.jessie
arrays_sum.jessie
average.jessie
average_smart.jessie
binary_search.jessie
different_array_iterators.jessie
distance.jessie
distance_abs.jessie
factorial.jessie
factorial_rec.jessie
fib_rec.jessie
gcd.jessie
lower_bound.jessie
max_in_array_even.jessie
max_max.jessie
max_max_simplified.jessie
max_min.jessie
max_min_in_array_odd_even.jessie
min_min.jessie
not_proved
palindrome.jessie
reverse.jessie
reverse_in_place.jessie
set_even.jessie
set_odd.jessie
set_odd_even_skip.jessie
set_only_third.jessie
set_skip_third.jessie
sign.jessie
sum.jessie
sum35.jessie
whole_program.jessie
.gitignore
Makefile
README.md
abs.c
abs_impletentation.c
acsl-tasks.md
array_average.c
array_max.c
array_sum.c
arrays_average.c
arrays_sum.c
average.c
average_smart.c
binary_search.c
distance.c
distance_abs.c
factorial.c
factorial_rec.c
fib_rec.c
gcd.c
lower_bound.c
max_in_array_even.c
max_max.c
max_max_simplified.c
max_min.c
max_min_in_array_odd_even.c
min_min.c
palindrome.c
reverse.c
reverse_in_place.c
set_even.c
set_odd.c
set_odd_even_skip.c
set_only_third.c
set_skip_third.c
sign.c
sum.c
sum35.c

README.md

acsl-proved

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