acsl-proved

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

Name		Name	Last commit message	Last commit date
abs.jessie		abs.jessie
abs_impletentation.jessie		abs_impletentation.jessie
array_average.jessie		array_average.jessie
array_max.jessie		array_max.jessie
array_sum.jessie		array_sum.jessie
arrays_average.jessie		arrays_average.jessie
arrays_sum.jessie		arrays_sum.jessie
average.jessie		average.jessie
average_smart.jessie		average_smart.jessie
binary_search.jessie		binary_search.jessie
different_array_iterators.jessie		different_array_iterators.jessie
distance.jessie		distance.jessie
distance_abs.jessie		distance_abs.jessie
factorial.jessie		factorial.jessie
factorial_rec.jessie		factorial_rec.jessie
fib_rec.jessie		fib_rec.jessie
gcd.jessie		gcd.jessie
lower_bound.jessie		lower_bound.jessie
max_in_array_even.jessie		max_in_array_even.jessie
max_max.jessie		max_max.jessie
max_max_simplified.jessie		max_max_simplified.jessie
max_min.jessie		max_min.jessie
max_min_in_array_odd_even.jessie		max_min_in_array_odd_even.jessie
min_min.jessie		min_min.jessie
not_proved		not_proved
palindrome.jessie		palindrome.jessie
reverse.jessie		reverse.jessie
reverse_in_place.jessie		reverse_in_place.jessie
set_even.jessie		set_even.jessie
set_odd.jessie		set_odd.jessie
set_odd_even_skip.jessie		set_odd_even_skip.jessie
set_only_third.jessie		set_only_third.jessie
set_skip_third.jessie		set_skip_third.jessie
sign.jessie		sign.jessie
sum.jessie		sum.jessie
sum35.jessie		sum35.jessie
whole_program.jessie		whole_program.jessie
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
abs.c		abs.c
abs_impletentation.c		abs_impletentation.c
acsl-tasks.md		acsl-tasks.md
array_average.c		array_average.c
array_max.c		array_max.c
array_sum.c		array_sum.c
arrays_average.c		arrays_average.c
arrays_sum.c		arrays_sum.c
average.c		average.c
average_smart.c		average_smart.c
binary_search.c		binary_search.c
distance.c		distance.c
distance_abs.c		distance_abs.c
factorial.c		factorial.c
factorial_rec.c		factorial_rec.c
fib_rec.c		fib_rec.c
gcd.c		gcd.c
lower_bound.c		lower_bound.c
max_in_array_even.c		max_in_array_even.c
max_max.c		max_max.c
max_max_simplified.c		max_max_simplified.c
max_min.c		max_min.c
max_min_in_array_odd_even.c		max_min_in_array_odd_even.c
min_min.c		min_min.c
palindrome.c		palindrome.c
reverse.c		reverse.c
reverse_in_place.c		reverse_in_place.c
set_even.c		set_even.c
set_odd.c		set_odd.c
set_odd_even_skip.c		set_odd_even_skip.c
set_only_third.c		set_only_third.c
set_skip_third.c		set_skip_third.c
sign.c		sign.c
sum.c		sum.c
sum35.c		sum35.c

Navigation Menu

Repository navigation

About

Repository files navigation

acsl-proved

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

acsl-proved

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages