fixed the message table
A fix in a typing rule.
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixing the analyses
Merge remote-tracking branch 'origin/master'
layout detail improved
fixed a CCE
deleted files that are not needed anymore
moved EclipseCon presentation into documetnation folder
Merge branch 'master' of github.com:mbeddr/mbeddr.core
remote analyses for CBMC
Merge remote-tracking branch 'origin/master'
core:  EnumType implement getPrintfFormatString

This function is needed to use enums as message parameters in reporting. Otherweise the generator will fail to emit the right value to the printf call.

This fixes #838
Merge branch 'master' of github.com:mbeddr/mbeddr.core
core: add  createNextBiggerSignedCompanion to ISigned interface

Allows us to get the next bigger type when we need it. Currently only used in the for range generator.
refactoring and cleaning the CBMC lifted counterexample
Merge remote-tracking branch 'origin/master'
Clear update
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed #274