docs

Aug 7, 2022

680ea3f · Aug 7, 2022

This branch is 3 commits ahead of, 883 commits behind SVF-tools/SVF:master.

Name	Name	Last commit message	Last commit date
parent directory ..
images	images	clean up folder layout	Aug 7, 2022
stylesheets	stylesheets	clean up folder layout	Aug 7, 2022
.gitignore	.gitignore	clean up folder layout	Aug 7, 2022
README.md	README.md	clean up folder layout	Aug 7, 2022
doxygen.config	doxygen.config	clean up folder layout	Aug 7, 2022

README.md

Learning and Teaching Software Analysis, Verification and AI via SVF