Code

Upgrade to MPS 2023.2#79

Code

Merged

danielratiu merged 26 commits intomastermbeddr/mbeddr.formal:masterfrom feature/migrate_to_2023.2mbeddr/mbeddr.formal:feature/migrate_to_2023.2Copy head branch name to clipboardJan 30, 2024

+4,049-4,086

Commits

Commits on Jan 25, 2024

• Update build.gradle.kts

  alexanderpann

  committed
  391740d

  Copy full SHA for 391740d

• Update the lock file

  alexanderpann

  committed
  89dcdc6

  Copy full SHA for 89dcdc6

• Regenerate build_all.scripts.xml

  alexanderpann

  committed
  43b4165

  Copy full SHA for 43b4165

• Run migrations and fix compilation problems in com.mpsbasics

  alexanderpann

  committed
  2415e28

  Copy full SHA for 2415e28

• Run migrations and fix compilation problems in com.mbeddr.formal.nusmv

  alexanderpann

  committed
  8052601

  Copy full SHA for 8052601

• Run migrations in com.mbeddr.formal.nusmv

  alexanderpann

  committed
  add4f74

  Copy full SHA for add4f74

• Run migrations in com.mbeddr.formal.req

  alexanderpann

  committed
  f546559

  Copy full SHA for f546559

• Run migrations in com.mbeddr.formal.spin

  alexanderpann

  committed
  b3c0de9

  Copy full SHA for b3c0de9

• Run migrations in com.mbeddr.formal.safety in fix compilation problems

  alexanderpann

  committed
  9f2c91b

  Copy full SHA for 9f2c91b

• Run migrations in com.fasten.symo

  alexanderpann

  committed
  31160ac

  Copy full SHA for 31160ac

• Run migrations in com.mbeddr.formal.cbmc

  alexanderpann

  committed
  2f1170f

  Copy full SHA for 2f1170f

• Run migrations in com.mbeddr.formal.prism

  alexanderpann

  committed
  387cf8b

  Copy full SHA for 387cf8b

• Run migratios in com.mbeddr.formal.smt

  alexanderpann

  committed
  6c21286

  Copy full SHA for 6c21286

• Run migrations in com.mbeddr.formal.nusmv

  alexanderpann

  committed
  2a0f2f2

  Copy full SHA for 2a0f2f2

• Run migrations in com.mbeddr.formal.safety.tutorial

  alexanderpann

  committed
  1079afe

  Copy full SHA for 1079afe

• Run migrations in com.mbeddr.formal.mdcc.tutorial

  alexanderpann

  committed
  d50703c

  Copy full SHA for d50703c

• Update the workflow file

  alexanderpann

  committed
  a18983c

  Copy full SHA for a18983c

• Update the readme

  alexanderpann

  committed
  a772f2a

  Copy full SHA for a772f2a

• Force save all

  alexanderpann

  committed
  c00d165

  Copy full SHA for c00d165

• Reload some build scripts

  alexanderpann

  committed
  80773ef

  Copy full SHA for 80773ef

• com.mbeddr.formal.nusmv.importer.rt: Upgrade parboiled from 1.3.0 to 1.4.1 to avoid ClassNotFoundExceptions

  alexanderpann

  committed
  dce5644

  Copy full SHA for dce5644

• com.mbeddr.formal.nusmv.importer.rt: Upgrade asm from 7.0 to 9.2 to avoid ClassNotFoundExceptions

  alexanderpann

  committed
  038f907

  Copy full SHA for 038f907

Commits on Jan 29, 2024

• com.mbeddr.formal.nusmv: update the build script

  alexanderpann

  committed
  514ae98

  Copy full SHA for 514ae98

Commits on Jan 30, 2024

• Remove empty jvm arguments node from build script

  alexanderpann

  committed
  86acb4e

  Copy full SHA for 86acb4e

• Include the JNA path workaround.

  Show description for 99e9006
  alexanderpann

  committed
  99e9006

  Copy full SHA for 99e9006

• com.mbeddr.formal.nusmv.import: Use a static instance for the NuSVMParser

  Show description for 52ee2d5
  alexanderpann

  committed
  52ee2d5

  Copy full SHA for 52ee2d5