mbeddr/mbeddr.formal

Issues

• Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

  #72 opened 2 years ago by ahmedwaqar
  9

• Build error when running gradlew on Ubuntu 20.04

  #69 opened 2 years ago by ahmedwaqar
  5

• MPS 2021.3.5 based release from 2022-01-09 desn't run

  #65 opened 3 years ago by oloESK
  10

• Include testing in github actions

  #42 opened 4 years ago by norro
  1

• Unable to change case expression's auto-generated "otherwise" basic expression

  #62 opened 4 years ago by robertguetzkow
  1

• Documentation error for enabling FSM visualization

  #63 opened 4 years ago by robertguetzkow
  0

• Signed and unsigned word not permitted as type

  #61 opened 4 years ago by robertguetzkow
  2

• Textgen for ocra language

  #51 opened 4 years ago by norro
  1

• Request for Adding Support for NuXMV

  #45 opened 4 years ago by BentleyJOakes
  2

• changes in core analyes

  #56 opened 4 years ago by coolya
  2

• Snapshot 2020-07-28 zip contains paths that are too long

  #55 opened 4 years ago by Bazmundi
  2

• Constraining ocra expressions

  #54 opened 4 years ago by norro
  0

• Enum type for ocra

  #53 opened 4 years ago by norro
  0

• GSN: show text of referenced goal in away goal

  #40 opened 4 years ago by mfgpcm
  2

• Missing type inference for PortRef

  #37 opened 4 years ago by norro
  0

• Recursive flattening of connections with structs

  #35 opened 4 years ago by norro
  0

• Mapping of connections while flattening does not work for structs

  #34 opened 4 years ago by mfgpcm
  0

• Array access

  #33 opened 5 years ago by mfgpcm
  1

• Add unix nusmv

  #21 opened 5 years ago by norro
  2

• Error: cannot find exported languages in dependencies: com.mbeddr.formal.req.tl_patterns.arch

  #31 opened 5 years ago by BentleyJOakes
  1

• Add safety (gsn, req, spin) to FASTEn distribution

  #24 opened 5 years ago by norro
  4

• Errors in Spin Module

  #29 opened 5 years ago by BentleyJOakes
  1

• Generation issue with CBD

  #28 opened 5 years ago by BentleyJOakes
  1

• Integer keyword undefined for nusmv

  #27 opened 5 years ago by BentleyJOakes
  2

• safety.GSN: Missing relationship from Strategy to Context

  #20 opened 5 years ago by ccarlan
  0

• safety.gsn: Cannot connect strategy to goal

  #19 opened 5 years ago by ccarlan
  1

• Gradle Exception: Buildfile: build-nusmv-languages.xml does not exist

  #17 opened 5 years ago by BentleyJOakes
  9

• Use NuSMV show_property and LTLSPEC names for unique mapping

  #18 opened 5 years ago by mfgpcm
  2

• Attributes in Assemblies

  #12 opened 5 years ago by markusvoelter
  2

• Gradle Exception: Could not set unknown property 'archiveBaseName'

  #14 opened 5 years ago by BentleyJOakes
  2

• Safety.GSN: Enable creating connections from strategy to goals

  #15 opened 5 years ago by ccarlan
  0

• Safety.GSN: The direction of the connections is wrong

  #16 opened 5 years ago by ccarlan
  0

• Gradle exception: org.codehaus.groovy.runtime.GStringImpl cannot be cast to java.lang.String

  #13 opened 5 years ago by norro
  2

• FASTEN reports SUCCESS if it does not find the NuSMV binary

  #11 opened 6 years ago by markusvoelter
  0