Code

feature/tree map for goal structures#91

Code

Merged

danielratiu merged 11 commits intomaintenance/MPS-2022.2mbeddr/mbeddr.formal:maintenance/MPS-2022.2from feature/tree_map_for_goal_structuresmbeddr/mbeddr.formal:feature/tree_map_for_goal_structuresCopy head branch name to clipboardJul 4, 2024

+17,228-12,290

Commits

Commits on Jun 26, 2024

• safety: initial safety argument visualisation treemap

  danielratiu

  committed
  aa1cad1

• repo_admin: initial architecture documentation

  danielratiu

  committed
  496dc07

• safety: improvement of visualisation by allowing custom TreeMap builders

  danielratiu

  committed
  d2b9af9

• build: add "com.mbeddr.formal.safety.argument.visualisation"

  danielratiu

  committed
  40d8202

Commits on Jul 4, 2024

• build: add "com.mbeddr.formal.safety.argument.visualisation"

  danielratiu

  committed
  bddceb2

• build: fixed dependencies to mpsqa

  danielratiu

  committed
  e7048fc

• build: fixed dependencies to mpsqa in distribution

  danielratiu

  committed
  6cdff7f

• build: fixed dependencies to mpsqa

  danielratiu

  committed
  3d331d9

• build: fixed dependencies to mpsqa

  danielratiu

  committed
  c08b2ae

• build: fixed dependencies to mpsqa - in build.gradle

  danielratiu

  committed
  160f967

• safety.tutorial: mini fixes

  danielratiu

  committed
  672850b