Skip to content

History / Measures

Edit page New page

Revisions

  • Measurement framework now can compute and output a single measure given in input

    @Oneiroe Oneiroe committed Apr 6, 2021
    8324121

  • Parametric ocmputation of measures depending on the desired output. MegaMatrixMonster variables refactoring

    @Oneiroe Oneiroe committed Apr 2, 2021
    fd3588c

  • Refactored output detailsLevel parameter to output only the desired measures level

    @Oneiroe Oneiroe committed Apr 1, 2021
    4881c6f

  • Refactored "modelChecking" into "Measurements"

    @Oneiroe Oneiroe committed Apr 1, 2021
    c05bfa9

  • Wiki improvements

    @Oneiroe Oneiroe committed Nov 23, 2020
    86e397f