Giters
evdenis
/
verker
Linux kernel library functions formally verified.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
48
Watchers:
7
Issues:
3
Forks:
7
evdenis/verker Issues
Merge lemma_functions branch
Closed
5 years ago
Comments count
1
use valid_read in specs
Closed
5 years ago
Comments count
1
Update E-ACSL scripts
Updated
5 years ago