Sireum OSATE Plugins Releases

This update site contains releases of Sireum's OSATE plugins and is only intended to be used with Sireum's Phantom tool or the FMIDE install script (see the CASE setup instructions for more information). No other support is offered.

How to Install the Latest Sireum OSATE Plugins Using Phantom

Install Sireum and then run the following:

$SIREUM_HOME/bin/sireum hamr phantom -u

Installing a Specific Version of the Plugins

Refer to the readme of a particular release for specific installation instructions.

Releases

• 1.0.2107141642.88909b5
• 1.0.2108171500.882b6b5
• 1.0.2109072234.564c94a
• 1.0.2109141821.effe14b
• 1.0.2109171920.b1b0037
• 1.0.2109301725.abd2495
• 1.0.2110042144.6634cce
• 1.0.2110251959.20bccec
• 1.2022.01051723.29d9922
• 1.2022.05312206.7924d1e
• 1.2022.07051018.a740565
• 1.2022.08191219.82466d5
• 1.2022.08221314.0e4052e
• 1.2023.03231646.2bf1dca
• 1.2023.07271345.065b5fa
• 1.2023.10231030.6b82283
• 1.2023.11061541.f31948c
• 1.2024.09151015.da290898
• 1.2024.10011227.45f8d78c
• 1.2024.10281024.2762e991
• 1.2024.10301208.4e3e80ef
• 1.2024.11051400.1c0b1259
• 1.2025.01061040.5a6dd932