kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Fix dependency diagram #136

Open andreaslindner opened 3 years ago

andreaslindner commented 3 years ago

In PR #130 we remove the dependency graph from README.md because it is stale and we don't have a script to update it quickly. We need to either fix the existing script or manually adjust the output to get a current version of the dependency graph that is similar, or even more appealing than the existing one.