search

kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Holmake based build #162

Closed palmskog closed 4 months ago

palmskog commented 5 months ago

This is to allow HolBA to build purely with Holmake, which determines the exact HOL4 and Poly/ML versions. Replaces #149.