fix test
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed the build, again :-)
Revert "fix test"

This reverts commit b1b7b6eca2a5965d72554047021b917ae09cde90.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed a bug in search
update build scripts
fix build
cc: fix tests and trace word generator
improved error message.
cc: fix tests
fixed a number of problems wrt. to variability.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
cc: fix build
started fixing Dan's Chunk problems.
more of Dan's scopes cleaned up.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed a whole bunch of bugs in analyses
fixes
fixes