A service API for animating VDM specifications
Version ▼VulnerabilitiesRepositoryUsagesDate
0.4.x
0.4.0-alpha.38CentralOct 06, 2026
0.4.0-alpha.37CentralMay 15, 2026
0.4.0-alpha.34CentralJan 20, 2026
0.4.0-alpha.33CentralDec 19, 2025
0.4.0-alpha.32CentralDec 09, 2025
0.4.0-alpha.31CentralNov 14, 2025
0.4.0-alpha.30CentralOct 31, 2025
0.4.0-alpha.29CentralOct 23, 2025
0.4.0-alpha.28CentralOct 09, 2025
0.4.0-alpha.27CentralOct 01, 2025
0.4.0-alpha.26CentralSep 30, 2025
0.4.0-alpha.25CentralJul 28, 2025
0.4.0-alpha.23CentralJul 08, 2025
0.4.0-alpha.22CentralJul 02, 2025
0.4.0-alpha.21CentralJun 16, 2025
0.4.0-alpha.20CentralJun 04, 2025
0.4.0-alpha.19CentralApr 02, 2025
0.4.0-alpha.18CentralMar 25, 2025
0.4.0-alpha.17CentralMar 20, 2025
0.4.0-alpha.16CentralMar 06, 2025
0.4.0-alpha.15CentralApr 23, 2024
0.4.0-alpha.14CentralApr 15, 2024
0.4.0-alpha.13CentralMar 18, 2024
0.4.0-alpha.12CentralMar 14, 2024
0.4.0-alpha.11CentralFeb 16, 2024
0.4.0-alpha.10CentralFeb 05, 2024
0.4.0-alpha.9CentralJan 19, 2024
0.4.0-alpha.8CentralDec 18, 2023
0.4.0-alpha.7CentralDec 14, 2023
0.4.0-alpha.6CentralAug 16, 2023
0.4.0-alpha.5CentralJul 21, 2023
0.4.0-alpha.3CentralJul 21, 2023
0.4.0.alpha.2CentralJun 26, 2023
0.4.0-alpha.2CentralJun 26, 2023
0.4.0.alpha.1CentralJun 23, 2023
0.3.x
0.3.15CentralJun 19, 2023
0.3.14CentralJun 19, 2023
0.3.13CentralMar 28, 2023
0.3.12CentralMar 28, 2023
0.3.11CentralJan 17, 2023
0.3.10CentralSep 26, 2022
0.3.9CentralSep 05, 2022
0.3.8CentralAug 23, 2022
0.3.7CentralMay 20, 2022
0.3.5CentralMay 10, 2022
0.3.4CentralMay 03, 2022
0.3.3CentralApr 25, 2022
0.3.2CentralMar 30, 2022
0.3.1CentralMar 29, 2022
0.3.0CentralMar 29, 2022
0.2.x
0.2.2CentralMar 17, 2022
0.2.1CentralMar 15, 2022
0.2.0CentralMar 11, 2022
0.4.x
-Pversion=0.4.0-alpha.9CentralJan 19, 2024