improved the dealing with analysis depth
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
added CPROVERfloatbv; added tests for raw files access; cleaning-up code
small fix
minor improvement
fixed npe
Merge branch 'master' of github.com:mbeddr/mbeddr.core
minor fixes
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
small fixes
debugger enables pointer of pijnter to be transformed to array
fixed broken debugger test
removed the needsColoring Flag. Now handled via isTest.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Less ugly default checkbox images
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed bugs in the PLE stuff
added deps. to debugger.tests