added slider demo to debugger.
fixed Issue #861: gdb was required when executing a binary from within mps
Merge branch 'master' of github.com:mbeddr/mbeddr.core
major fix in canceling
Merge remote-tracking branch 'origin/master'
added a little plus cell for debugger nodes that can be expanded.
#861 wasn't fixed properly
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed Issue #866 and #455
- adding individual timeouts for single claim checks of robustness analyses
- infrastructure for filtering the claims
Merge remote-tracking branch 'origin/master'
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixing the remote analyses
block expr now has determinsitic names. I hope.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
download.xml first of all deletes previous mps buid, if it exists
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Build fixed
gitignore: remove result xml
typesystemtrace: add table for result