Code

Migrate to MPS 2024.1.1#115

Code

Merged

alexanderpann merged 35 commits intomastermbeddr/mbeddr.formal:masterfrom feature/migrate_to_2024.1mbeddr/mbeddr.formal:feature/migrate_to_2024.1Copy head branch name to clipboardNov 18, 2024

+2,023-2,224

Commits

Commits on Nov 14, 2024

• retrieve mbeddr from the itemis Nexus

  alexanderpann

  committed
  39deee6

• update the build script

  alexanderpann

  committed
  b90af8e

• update the lockfile

  alexanderpann

  committed
  b427edb

• com.mpsbasics: add a libraries.xml

  alexanderpann

  committed
  c252358

• com.mpsbasics: change references from org.apache.batik to de.itemis.stubs.batik

  alexanderpann

  committed
  75d4daa

• com.mpsbasics: run migrations

  alexanderpann

  committed
  4cdb919

• com.mbeddr.formal.nusmv: fix broken references

  alexanderpann

  committed
  1e50ba7

• com.mbeddr.formal.nusmv: run migrations

  alexanderpann

  committed
  18b07cc

• com.mbeddr.formal.tutorial: run migrations

  alexanderpann

  committed
  6a636d0

• com.mbeddr.formal.req: run migrations

  alexanderpann

  committed
  612c77a

• com.mbeddr.formal.spin: replace removed code

  alexanderpann

  committed
  2de4a3a

• com.mbeddr.formal.spin: remove the reference to the removed xmodelgen language

  alexanderpann

  committed
  2fef2a7

• com.mbeddr.formal.spin: run migrations

  alexanderpann

  committed
  814b944

• com.mbeddr.formal.safety: fix the build scripts

  alexanderpann

  committed
  0c99920

• com.mbeddr.formal.safety: regenerate build_all_scripts

  alexanderpann

  committed
  912c0f2

• com.mbeddr.formal.safety: fix the compilation error related to tuples

  alexanderpann

  committed
  1539146

• com.mbeddr.formal.safety: run migrations

  alexanderpann

  committed
  8ec1ff3

• com.mbeddr.formal.safety: don't use the removed language xmodelgen

  alexanderpann

  committed
  7a93d1d

• com.mbeddr.formal.tutorial-safety: run migrations

  alexanderpann

  committed
  19ced17

• com.fasten.symo: run migrations

  alexanderpann

  committed
  7d906fd

• com.mbeddr.formal.prism: run migrations

  alexanderpann

  committed
  27a4692

• com.mbeddr.formal.smt: run migrations

  alexanderpann

  committed
  41f2f0c

• com.mbeddr.formal.cprover: run migrations

  alexanderpann

  committed
  4a58031

• com.mbeddr.formal.repo_admin: run migrations

  alexanderpann

  committed
  a3db51b

• tutoirla-mdcc: run migrations

  alexanderpann

  committed
  34bf6a1

• mbeddr.formal.rcp.tutorialActions: run action in background

  alexanderpann

  committed
  9ca20f1

• mbeddr.formal.rcp.tutorialActions: removed commented line

  alexanderpann

  committed
  715e1dd

• com.mbeddr.formal.nusmv: fix the new model action

  alexanderpann

  committed
  764417c

• replace JOptionPane with Messages our similar classes

  Show description for fd1f01f
  alexanderpann

  committed
  fd1f01f

• formal.base: remove tree node information that is not available anymore

  alexanderpann

  committed
  c439e31

• update the readme

  alexanderpann

  committed
  1bb884e

• update main.yml

  alexanderpann

  committed
  00735f8

Commits on Nov 18, 2024

• com.mbeddr.formal.safety: merge the nodes of the failing test

  alexanderpann

  committed
  01be836

• run pending migrations

  alexanderpann

  committed
  e876813

• update the JBR

  alexanderpann

  committed
  796018b