working only with devkits
added the check for references scope - now we should get fewer erroneous models
small fix
added new checks in the model-checker
small fix
avoiding the user instantiation of va_list
removing the concept BelongsToInterval; in hte future the core.utils concept IsInRange should be used instead
migration to the latest CBMC version (where entry point has location info)
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core