Older versions ...:

• mbeddr 2017.2.0 (built on 17.11.2017, based on MPS 2017.2.2)
  • mbeddr-IDE (one-click installer):
    • win, macos
  • mbeddr plugins:
    • all-plugins
    • mbeddr-platform-plugins
  • github sources:
    • here ...
• mbeddr 2017.1.0 (built on 22.08.2017, based on MPS 2017.1.2)
  • mbeddr-IDE (one-click installer):
    • win, macos
    • known issues
  • mbeddr plugins:
    • all-plugins
  • github sources:
    • here ...

Known Issues

• mbeddr 2017.1.0
• if you want to use the formal verification functionality, you need CBMC. The windows installer does not contain the CBMC executable. To fix this, CBMC 5.7 needs to be downloaded manually, unpacked and the executable copied in the "MBEDDR_HOME\cbmc" directory