Homepage
About Snyk

carmi vulnerabilities

CARMI - Compiler for Automatic Reactive Modelling of Inference

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
version published direct vulnerabilities
1.0.342 4 Jan, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.341 14 Sep, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.340 3 Mar, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.339 27 Dec, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.338 27 Dec, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.337 15 Nov, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.336 19 Oct, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.335 13 Aug, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.334 7 Jul, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.333 23 Jun, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.332 10 Mar, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.331 16 Feb, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.330 15 Feb, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.329 15 Feb, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.328 27 Jan, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.327 27 Dec, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.326 23 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.325 21 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.324 23 Sep, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.323 21 Sep, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.322 20 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.321 16 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.320 15 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.319 13 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.318 30 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.317 29 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.316 25 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.315 25 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.314 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.313 27 May, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.312 17 May, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.311 10 May, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.310 14 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.309 6 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.308 5 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.307 4 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.306 2 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.305 2 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.304 1 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.303 31 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.302 30 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.301 29 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.300 28 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.299 26 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.298 25 Mar, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.297 13 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.296 12 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.295 9 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.294 5 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.293 2 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.292 30 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.291 30 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.290 29 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.289 28 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.288 27 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.287 26 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.286 24 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.285 24 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.284 23 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.283 21 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.282 20 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.281 19 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.280 18 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.279 17 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.278 15 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.277 14 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.276 12 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.275 12 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.274 11 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.273 10 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.272 9 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.271 8 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.270 7 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.269 6 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.268 4 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.267 4 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.266 3 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.265 1 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.264 1 Dec, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.263 30 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.262 28 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.261 27 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.260 27 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.259 27 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.258 27 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.257 25 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.256 25 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.255 24 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.254 23 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.253 21 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.252 20 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.251 19 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.250 18 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.249 18 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.248 17 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.247 17 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.246 16 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.245 15 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.244 13 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
1.0.243 13 Nov, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
See all versions