improved the dealing with analysis depth
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
initial setup for composition framework
composition hello world is working,
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
small fixes
dummy logging works.
bug fixed.
Fixed #1104 Tooltip's showif filter has no effect
function-specific composition
started with the hook stuff
hook works
fixed #808
Merge remote-tracking branch 'origin/master'
started with the pointcut stuff.
fixed the build
added CPROVERfloatbv; added tests for raw files access; cleaning-up code
small fix
removed the old pointcut stuff that doesnt work.
Merge branch 'master' into composition