Code

Probabilistic model checking#8

Code

Open

attilusleung wants to merge 12 commits intoharmonylang:masterharmonylang/harmony:masterfrom attilusleung:probabilistic-model-checkingattilusleung/harmony:probabilistic-model-checkingCopy head branch name to clipboard

+1,631-1,043

Commits

Commits on May 25, 2022

• Flag outputs probabilities in charm

  attilusleung

  committed
  fded628

• primitive version of probabilistic model checking implemented, saves to a hardcoded csv file

  attilusleung

  committed
  85db876

• fixed infinite recursion call

  attilusleung

  committed
  07c4a62

• parse for hyper assertws

  attilusleung

  committed
  f7e49f6

• fixed variable name

  attilusleung

  committed
  fcccb95

• filter implemented but crashes

  attilusleung

  committed
  260c669

• vector and charm filter states

  attilusleung

  committed
  4e91046

• functionally complete version of probabilistic model checking

  attilusleung

  committed
  1d9644f

• free vector after use

  attilusleung

  committed
  5297eb0

• final version before rebase

  attilusleung

  committed
  310bbea

• slight refactor before pr

  attilusleung

  committed
  2e40bbd

• fixed filter not updating on certain conditions

  attilusleung

  committed
  aed5be4