|
From: <sv...@va...> - 2007-02-12 10:37:48
|
Author: njn Date: 2007-02-12 10:37:37 +0000 (Mon, 12 Feb 2007) New Revision: 6586 Log: Update for changes to lackey Modified: trunk/NEWS Modified: trunk/NEWS =================================================================== --- trunk/NEWS 2007-02-12 08:42:13 UTC (rev 6585) +++ trunk/NEWS 2007-02-12 10:37:37 UTC (rev 6586) @@ -16,6 +16,11 @@ they just return 3 (as before). Also, SET_VBITS doesn't report definedness errors if any of the V bits are undefined. +- The behaviour of the tool Lackey has changed slightly. First, the output + from --trace-mem has been made more compact, to reduce the size of the + traces. Second, a new option --trace-superblocks has been added, which + shows the addresses of superblocks (code blocks) as they are executed. + Developer-visible changes: - The names of some functions and types within the Vex IR have changed. |