What's Changed
- Add VMM as a memory model by @hernanponcedeleon in #1
- Introduce vsyncer docker command by @db7 in #16
- Release script by @db7 in #22
- Fix dartagnan support by @db7 in #26
- dartagnan: map CAT spec violation as CheckNotSafe by @db7 in #29
- Allow default checker to be defined in envvar by @db7 in #30
- New integration tests by @lilith218 in #35
- Support for Windows and macOS by @db7 in #43
- Export method and bound Dartagnan options by @db7 in #44
New Contributors
- @hernanponcedeleon made their first contribution in #1
- @coolljt0725 made their first contribution in #2
Full Changelog: v2.0.0...v2.1.0
Contributors
db7, coolljt0725, and 2 other contributors