What's Changed
- Adjust logging function to fix segfault if filename and file are not set by @TwistedTwigleg in #911
- fix MSVC warning by @graebm in #912
- Make sure file paths are not empty strings to avoid segfault on Windows by @TwistedTwigleg in #915
- reset the logger before memory trace by @TingDaoK in #917
- Update CBMC starter kit by @angelonakos in #919
- hide json module init and cleanup by @TingDaoK in #920
New Contributors
- @angelonakos made their first contribution in #919
Full Changelog: v0.7.4...v0.7.5