Code

Migrate to MPS 2022.3#77

Code

Merged

alexanderpann merged 15 commits intomastermbeddr/mbeddr.formal:masterfrom feature/migrate_20223mbeddr/mbeddr.formal:feature/migrate_20223Copy head branch name to clipboardDec 19, 2023

+20,658-20,649

Commits

Commits on Dec 15, 2023

• Update build.gradle.kts

  alexanderpann

  committed
  53327fb

  Copy full SHA for 53327fb

• Update the dependencies

  alexanderpann

  committed
  e76f6ce

  Copy full SHA for e76f6ce

• Fix compilation error

  alexanderpann

  committed
  179f9e8

  Copy full SHA for 179f9e8

• Drop unsupported style attribute location

  alexanderpann

  committed
  db92e75

  Copy full SHA for db92e75

• Regenerate build_all_scripts.xml

  alexanderpann

  committed
  ace7ff3

  Copy full SHA for ace7ff3

• Run migrations and update the build scripts

  alexanderpann

  committed
  4f21eaf

  Copy full SHA for 4f21eaf

• com.fasten.safety.ft.xfta_gen: Fix endless mapping

  alexanderpann

  committed
  204b336

  Copy full SHA for 204b336

• safety.hiphops: add a name to generated fault trees

  alexanderpann

  committed
  5e0c7e7

  Copy full SHA for 5e0c7e7

• Update the workflow

  alexanderpann

  committed
  f8f1957

  Copy full SHA for f8f1957

• Update the readme

  alexanderpann

  committed
  0a65211

  Copy full SHA for 0a65211

• Add missing import

  alexanderpann

  committed
  8260646

  Copy full SHA for 8260646

• Fix a build script

  alexanderpann

  committed
  c70ffef

  Copy full SHA for c70ffef

• Avoid dependency from safety.ft.xfta_gen to com.mbeddr.formal.nusmv

  alexanderpann

  committed
  7ff1718

  Copy full SHA for 7ff1718

• Fix some warnings and errors

  alexanderpann

  committed
  a271c8c

  Copy full SHA for a271c8c

• Use MPS 2022.3.1

  alexanderpann

  committed
  18dee8f

  Copy full SHA for 18dee8f