[r15762]

[r15761]

[r15760]

[r15759]

[r15758]

[r15757]

[r15756]

[r15755]

[r15754]

- added verifier for Mulh

[r15753]

[r15752]

[r15749]

[r15748]

[r15747]

[r15745]

[r15744]

[r15743]

[r15742]

[r15741]

fix source of fehler74 and fehler75.

[r15740]

[r15739]

[r15738]

make use of custom_init_attribute functions for specifying address-mode types and producing (a still commented out) modify_flags flag

[r15737]

[r15736]

[r15735]

[r15734]

[r15733]

[r15732]

- can zip files
- can give regexes as filters
- have stack based timers

Rewrote python script to feed dbs:
- can read zipped files
- sqlite3
- mysql fast csv file import with pipes

[r15731]

[r15730]

[r15729]

[r15728]

[r15727]

[r15726]

[r15725]

- Remove redundant flag set (the spec file contains this already).

[r15724]

adaption to new statev

[r15723]

[r15722]

[r15721]

[r15720]