fixing generator priorities for embedded and added tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
small optimization for parsing the raw counterexample
small cleaning
improving the random concepts generation
small fix
code improvements to allow different CBMC running strategies; cleaning the code
small fixes
enabled configuration of stream-readers
fixed hook test.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
add custom idea.properties
version number for plugins
entering numbers works now.
Action for printing the current editor "Print Editor"
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Printing of component cells
fixed core ts tests
Merge remote-tracking branch 'origin/master'
fix requirements packageing