Homepage

carmi vulnerabilities

CARMI - Compiler for Automatic Reactive Modelling of Inference

  • latest version

    1.0.342

  • latest non vulnerable version

    1.0.342

  • first published

    6 years ago

  • latest version published

    2 years ago

  • licenses detected

  • View carmi package health on Snyk Advisor  (opens in a new tab)
    • Report a new vulnerability Found a mistake?

    Direct Vulnerabilities

    No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

    Does your project rely on vulnerable package dependencies?

    Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

    Scan for indirect vulnerabilities

    Package versions

    1 - 100 of 485 Results
    versionpublisheddirect vulnerabilities
    1.0.3424 Jan, 2023
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.34114 Sep, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3403 Mar, 2022
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33927 Dec, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33827 Dec, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33715 Nov, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33619 Oct, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33513 Aug, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3347 Jul, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33323 Jun, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33210 Mar, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33116 Feb, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.33015 Feb, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32915 Feb, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32827 Jan, 2021
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32727 Dec, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32623 Nov, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32521 Oct, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32423 Sep, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32321 Sep, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32220 Aug, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32116 Aug, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.32015 Jul, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31913 Jul, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31830 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31729 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31625 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31525 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31416 Jun, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31327 May, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31217 May, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31110 May, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.31014 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3096 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3085 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3074 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3062 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3052 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.3041 Apr, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.30331 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.30230 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.30129 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.30028 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29926 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29825 Mar, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29713 Jan, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29612 Jan, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2959 Jan, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2945 Jan, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2932 Jan, 2020
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29230 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29130 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.29029 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28928 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28827 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28726 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28624 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28524 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28423 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28321 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28220 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28119 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.28018 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27917 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27815 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27714 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27612 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27512 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27411 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.27310 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2729 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2718 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2707 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2696 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2684 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2674 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2663 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2651 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.2641 Dec, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.26330 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.26228 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.26127 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.26027 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25927 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25827 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25725 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25625 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25524 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25423 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25321 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25220 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25119 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.25018 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24918 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24817 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24717 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24616 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24515 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24413 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    1.0.24313 Nov, 2019
    • 0
      C
    • 0
      H
    • 0
      M
    • 0
      L
    See all versions