added slider demo to debugger.
added a little plus cell for debugger nodes that can be expanded.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixing the remote analyses
typesystemtrace: add table for result
typesystem traca: fix generator for applicable functions

If isApplication conditions contain more complex code than a
single line expression the geneartor would fail because it tries to
trace there to.
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
yices based verifictions are now deprecated and can no longer be created.
gitignore: remove result xml
added build scripts.
typesystemtrace: add table for result
typesystem traca: fix generator for applicable functions

If isApplication conditions contain more complex code than a
single line expression the geneartor would fail because it tries to
trace there to.
Merge branch 'typesystem-trace' of github.com:mbeddr/mbeddr.core into typesystem-trace
more work on the devkits for analyses
devkits updated
typesystem trace: fix build