caching results
improved fatal error messages
small improvements
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
fixed #1094
Merge remote-tracking branch 'origin/master'
enums, structs and unions are now wrapped into typedefs. generated code should look more standard-like
fixed cbmc build
small code cleaning
small code cleaning