search

kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Move tools for SMT interface and symbolic execution from tutorial to main tool directory #140

Open didriklundberg opened 3 years ago

didriklundberg commented 3 years ago

SMT interface and symbolic execution stuff is left in the support and support2 directories of the tutorial. We need to decide where to place these things.

andreaslindner commented 3 years ago

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

didriklundberg commented 3 years ago

Just a note: these two are a (now not anymore working) copy-fork of the scamv symbexec subdirectory. It should be checked but there should be nothing additional there. I forgot why I needed to copy it at the time.

Good to know.