PLASMA Lab 1.3.0 Released

A new version of PLASMA Lab (v1.3.0) has been released. It includes the following enhancements:

Improvements and new features

    • New command line mode to launch algorithms directly from the command line.
    • New SystemC plugin.
    • New Observer plugin to write properties as observers in the RML language. This replace the MRLRare plugin used for importance splitting
    • Algorithms updates:

To test and download PLASMA Lab, go to our download page.

Comments are closed.