continued.

git-svn-id: https://insight.labri.fr/svn/trunk@876 00316523-1ed1-4fdc-9313-76483a3f41dc
remove redundant info in Context output.

git-svn-id: https://insight.labri.fr/svn/trunk@877 00316523-1ed1-4fdc-9313-76483a3f41dc
basic features continued.

git-svn-id: https://insight.labri.fr/svn/trunk@878 00316523-1ed1-4fdc-9313-76483a3f41dc
continue tutorial.

git-svn-id: https://insight.labri.fr/svn/trunk@879 00316523-1ed1-4fdc-9313-76483a3f41dc
fix output of sink nodes

git-svn-id: https://insight.labri.fr/svn/trunk@880 00316523-1ed1-4fdc-9313-76483a3f41dc
fix loading of .py modules.

git-svn-id: https://insight.labri.fr/svn/trunk@881 00316523-1ed1-4fdc-9313-76483a3f41dc
remove default behaviours for msp430_translate<>()


git-svn-id: https://insight.labri.fr/svn/trunk@882 00316523-1ed1-4fdc-9313-76483a3f41dc
cosmetic: use full path to include file


git-svn-id: https://insight.labri.fr/svn/trunk@883 00316523-1ed1-4fdc-9313-76483a3f41dc
use reference counters for RegisterDesc's so that we can display them correctly
during termination of libinsight. Required a lot of unconsting.


git-svn-id: https://insight.labri.fr/svn/trunk@884 00316523-1ed1-4fdc-9313-76483a3f41dc
fix output of stubs with asm annotation.

git-svn-id: https://insight.labri.fr/svn/trunk@885 00316523-1ed1-4fdc-9313-76483a3f41dc
advanced features.

git-svn-id: https://insight.labri.fr/svn/trunk@886 00316523-1ed1-4fdc-9313-76483a3f41dc
fix output of 'pretty_disas_memory' to be closer to 'disas'

git-svn-id: https://insight.labri.fr/svn/trunk@887 00316523-1ed1-4fdc-9313-76483a3f41dc
add appendices

git-svn-id: https://insight.labri.fr/svn/trunk@888 00316523-1ed1-4fdc-9313-76483a3f41dc
fix the absence of state for' assume' function.

git-svn-id: https://insight.labri.fr/svn/trunk@889 00316523-1ed1-4fdc-9313-76483a3f41dc
do not delete RegisterDesc's which were not deref()'d because there
could still be a e.g. MicrocodeArchitecture alive in a stack frame
when insight::terminate() is called. Not nice, but some tests
currently do this.


git-svn-id: https://insight.labri.fr/svn/trunk@890 00316523-1ed1-4fdc-9313-76483a3f41dc
clean up postincremented registers in finalize_postincrements() so
that we can use several microcode output functions in a row


git-svn-id: https://insight.labri.fr/svn/trunk@891 00316523-1ed1-4fdc-9313-76483a3f41dc
. fix POP so that it pops instead of pushing...
. implement RETI


git-svn-id: https://insight.labri.fr/svn/trunk@892 00316523-1ed1-4fdc-9313-76483a3f41dc
we were missing XOR


git-svn-id: https://insight.labri.fr/svn/trunk@893 00316523-1ed1-4fdc-9313-76483a3f41dc
wire RETI and XOR


git-svn-id: https://insight.labri.fr/svn/trunk@894 00316523-1ed1-4fdc-9313-76483a3f41dc