. s/del_annotation/delete_annotation/
. no callers to update...


git-svn-id: https://insight.labri.fr/svn/trunk@929 00316523-1ed1-4fdc-9313-76483a3f41dc
add and implement Microcode::delete_annotation_everywhere() which removes
all annotations on all MicrocodeNodes and StmtArrows having a given AnnotationId


git-svn-id: https://insight.labri.fr/svn/trunk@930 00316523-1ed1-4fdc-9313-76483a3f41dc
add option -F/--forget-annotation which can be specified multiple times, and
removes all the given annotations from any output of cfgrecovery


git-svn-id: https://insight.labri.fr/svn/trunk@931 00316523-1ed1-4fdc-9313-76483a3f41dc
if the string @@Test-Ignore-Line@@ appears at the beginning of a line,
the rest of the line will be removed prior to comparing a test result
with the corresponding expected test result


git-svn-id: https://insight.labri.fr/svn/trunk@932 00316523-1ed1-4fdc-9313-76483a3f41dc
use the pruned file to check the diff


git-svn-id: https://insight.labri.fr/svn/trunk@933 00316523-1ed1-4fdc-9313-76483a3f41dc
Get rid of the ugly hack which rewrote test results during configure and made
us dependent on the objdump tool.

Introduce two things:

 . get rid of the "asm" annotation in any output that is compared against a
   supposed-correct result (rationale: this is very decoder-backend-dependent)
 . allow some lines to be ignored during computation of a diff
   (rationale: we keep the interesting info to investigate)
   Such lines have to start with @@Test-Ignore-Line@@ and are expected to be
   present in both output and expected output in order to match

This required rototilling a bit, and all the results were regenerated...

XXX ... except those that necessitate valgrind. The first person who can
    get hold of a Linux+valgrind and feels like it is welcome to update them
    after checking that no new leak was introduced by my changes.

Solution by Gerald, implementation and bugs by me.


git-svn-id: https://insight.labri.fr/svn/trunk@934 00316523-1ed1-4fdc-9313-76483a3f41dc
get rid of the pruned version of the test result one diff is done, to
avoid cluttering the tests build directories


git-svn-id: https://insight.labri.fr/svn/trunk@935 00316523-1ed1-4fdc-9313-76483a3f41dc
A few reformating to make it more readable
A few pretty printing in the code and finally got how it is working...
I can start serious work tomorrow !
A lot of reformating and hopefully finished with the shift inlined within an instruction
Finished the scanner and many other fixes
Cleaning unnecessary files and a few diffs to keep up with master
Keep going on the pretty printing and starting to refactor the translation functions
Moving the instruction apart from build system
Getting the patch in shape
Syncing... Still a problem for thumb mode