kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

proper Holmakefiles for src/tools/{cfg,comp,exec}/examples #169

Closed palmskog closed 4 months ago

palmskog commented 4 months ago

This is a PR against the branch in #168, it should either be merged into that branch or merged after #168 is merged.

5 more previous CI test cases work with the contents of this PR applied.