Skip to content
mkf
asdframac
Public

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

Topics

frama-c

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository
BranchesTags

Latest commit

 

History

6 Commits

Folders and files

NameName
Last commit message
Last commit date
.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

Topics

frama-c

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages