GitHub - mkf/asdframac: (at turn of) 2019/2020: kilka zadań z przedm. Algorytmy zrobionych z dowodami we Frama-C. See the WIP in feature branches. For some other problems from this set done with Spark2014, see also https://github.com/mkf/asdspark

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
README.txt		README.txt
asdbins.c		asdbins.c
asdqueu.c		asdqueu.c
asdstac.c		asdstac.c

Repository files navigation

frama-c -wp -wp-steps 20000 -wp-depth 200 -wp-timeout 200 asdbins.c

About

(at turn of) 2019/2020: kilka zadań z przedm. Algorytmy zrobionych z dowodami we Frama-C. See the WIP in feature branches. For some other problems from this set done with Spark2014, see also https://github.com/mkf/asdspark

frama-c

Readme

Activity

0 stars

1 watching

0 forks

Report repository

Releases

No releases published

Packages

Contributors

Languages

C 100.0%

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

About

Uh oh!

Releases

Packages

Uh oh!

Contributors

Uh oh!

Languages

Folders and files

Latest commit

History

Repository files navigation

About

Topics

Resources

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors

Uh oh!

Languages

Packages