search

kth-step / HolBA

Binary analysis in HOL
Other
33 stars 20 forks source link

Updates to naming conventions for the program logic #154

Closed didriklundberg closed 8 months ago

didriklundberg commented 2 years ago

The variable names in partial_program_logicScript also need updating before this is done.