Spellcheck language
CBMC: Missing link to "Automated Domain-Specific C Verification with mbeddr" added
Merge remote-tracking branch 'origin/master'
Spellchecking analyses
reviewed StaticEvaluation
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Typos in gcc/make/gdb
finished the project structure.
Merge branch 'master' of github.com:mbeddr/mbeddr.core