Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
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

Repository files navigation

acsl-proved

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

About

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

Releases

No releases published

Packages

No packages published

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Folders and files

Latest commit

History

Repository files navigation

acsl-proved

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Languages

Movatterモバイル変換

evdenis/acsl-proved

Folders and files

Latest commit

History

Repository files navigation

acsl-proved

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages0

Languages

Packages