added spawner and debugger on debugger-testing's classpath
moved classpath-jar generation into a separate ant target
fixed #649
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed #649
changed cardinality of multiple ports from n to 0..n
renamed bit operations, introduced getbits
static memory location can be exported now
renamed bit operations, introduced getbits
fixed a problem with type calculation of statically calculated values
fixed ts test
a few refactorings in requirements, and a UrlDataItem
two utility intentions
small fixes in requirements
fixed a problem with the rendering of requirements
optimizations in the generated yices code for decision tables
Merge remote-tracking branch 'origin/master'
fixed #654
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed requirements folding after change to editor structure