lausdahl/maestro : latest
INTO-CPS Maestro FMI co-simulator
Latest release: over 3 years ago - 190 downloads - 370 dependencies
JSONDependencies
- ubuntu/adduser 3.118ubuntu2
- ubuntu/apt 2.0.9
- ubuntu/base-files 11ubuntu5.6
- ubuntu/base-passwd 3.5.47
- ubuntu/bash 5.0-6ubuntu1.2
- ubuntu/binutils-common 2.34-6ubuntu1.4
- ubuntu/binutils-x86-64-linux-gnu 2.34-6ubuntu1.4
- ubuntu/binutils 2.34-6ubuntu1.4
- ubuntu/bsdutils 1:2.34-0.1ubuntu9.3
- ubuntu/build-essential 12.8ubuntu1.1
- ubuntu/bzip2 1.0.8-2
- ubuntu/ca-certificates 20211016~20.04.1
- ubuntu/coreutils 8.30-3ubuntu2
- ubuntu/cpp-9 9.4.0-1ubuntu1~20.04.1
- ubuntu/cpp 4:9.3.0-1ubuntu2
- ubuntu/curl 7.68.0-1ubuntu2.14
- ubuntu/dash 0.5.10.2-6
- ubuntu/dbus-user-session 1.12.16-2ubuntu2.3
- ubuntu/dbus 1.12.16-2ubuntu2.3
- ubuntu/dconf-gsettings-backend 0.36.0-1
- ubuntu/dconf-service 0.36.0-1
- ubuntu/debconf 1.5.73
- ubuntu/debianutils 4.9.1
- ubuntu/diffutils 1:3.7-3
- ubuntu/dirmngr 2.2.19-3ubuntu2.2
- ubuntu/distro-info-data 0.43ubuntu1.11
- ubuntu/dmsetup 2:1.02.167-1ubuntu1
- ubuntu/dpkg-dev 1.19.7ubuntu3.2
- ubuntu/dpkg 1.19.7ubuntu3.2
- ubuntu/e2fsprogs 1.45.5-2ubuntu1.1
- ubuntu/fakeroot 1.24-1
- ubuntu/fdisk 2.34-0.1ubuntu9.3
- ubuntu/file 1:5.38-4
- ubuntu/findutils 4.7.0-1ubuntu1
- ubuntu/fontconfig-config 2.13.1-2ubuntu3
- ubuntu/fontconfig 2.13.1-2ubuntu3
- ubuntu/fonts-dejavu-core 2.37-1
- ubuntu/g -9 9.4.0-1ubuntu1~20.04.1
- ubuntu/g 4:9.3.0-1ubuntu2
- ubuntu/gcc-10-base 10.3.0-1ubuntu1~20.04
- ubuntu/gcc-9-base 9.4.0-1ubuntu1~20.04.1
- ubuntu/gcc-9 9.4.0-1ubuntu1~20.04.1
- ubuntu/gcc 4:9.3.0-1ubuntu2
- ubuntu/gir1.2-glib-2.0 1.64.1-1~ubuntu20.04.1
- ubuntu/gir1.2-packagekitglib-1.0 1.1.13-2ubuntu1.1
- ubuntu/glib-networking-common 2.64.2-1ubuntu0.1
- ubuntu/glib-networking-services 2.64.2-1ubuntu0.1
- ubuntu/glib-networking 2.64.2-1ubuntu0.1
- ubuntu/gnupg-l10n 2.2.19-3ubuntu2.2
- ubuntu/gnupg-utils 2.2.19-3ubuntu2.2
- ubuntu/gnupg 2.2.19-3ubuntu2.2
- ubuntu/gpg-agent 2.2.19-3ubuntu2.2
- ubuntu/gpg-wks-client 2.2.19-3ubuntu2.2
- ubuntu/gpg-wks-server 2.2.19-3ubuntu2.2
- ubuntu/gpg 2.2.19-3ubuntu2.2
- ubuntu/gpgconf 2.2.19-3ubuntu2.2
- ubuntu/gpgsm 2.2.19-3ubuntu2.2
- ubuntu/gpgv 2.2.19-3ubuntu2.2
- ubuntu/grep 3.4-1
- ubuntu/gsettings-desktop-schemas 3.36.0-1ubuntu1
- ubuntu/gzip 1.10-0ubuntu4.1
- ubuntu/hostname 3.23
- ubuntu/init-system-helpers 1.57
- ubuntu/iso-codes 4.4-1
- ubuntu/libacl1 2.2.53-6
- ubuntu/libalgorithm-diff-perl 1.19.03-2
- ubuntu/libalgorithm-diff-xs-perl 0.04-6
- ubuntu/libalgorithm-merge-perl 0.08-3
- ubuntu/libapparmor1 2.13.3-7ubuntu5.1
- ubuntu/libappstream4 0.12.10-2
- ubuntu/libapt-pkg6.0 2.0.9
- ubuntu/libargon2-1 0~20171227-0.2
- ubuntu/libasan5 9.4.0-1ubuntu1~20.04.1
- ubuntu/libasn1-8-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libassuan0 2.5.3-7ubuntu2
- ubuntu/libatomic1 10.3.0-1ubuntu1~20.04
- ubuntu/libattr1 1:2.4.48-5
- ubuntu/libaudit-common 1:2.8.5-2ubuntu6
- ubuntu/libaudit1 1:2.8.5-2ubuntu6
- ubuntu/libbinutils 2.34-6ubuntu1.4
- ubuntu/libblkid1 2.34-0.1ubuntu9.3
- ubuntu/libbrotli1 1.0.7-6ubuntu0.1
- ubuntu/libbz2-1.0 1.0.8-2
- ubuntu/libc-bin 2.31-0ubuntu9.9
- ubuntu/libc-dev-bin 2.31-0ubuntu9.9
- ubuntu/libc6-dev 2.31-0ubuntu9.9
- ubuntu/libc6 2.31-0ubuntu9.9
- ubuntu/libcap-ng0 0.7.9-2.1build1
- ubuntu/libcap2-bin 1:2.32-1
- ubuntu/libcap2 1:2.32-1
- ubuntu/libcc1-0 10.3.0-1ubuntu1~20.04
- ubuntu/libcom-err2 1.45.5-2ubuntu1.1
- ubuntu/libcrypt-dev 1:4.4.10-10ubuntu4
- ubuntu/libcrypt1 1:4.4.10-10ubuntu4
- ubuntu/libcryptsetup12 2:2.2.2-3ubuntu2.4
- ubuntu/libctf-nobfd0 2.34-6ubuntu1.4
- ubuntu/libctf0 2.34-6ubuntu1.4
- ubuntu/libcurl4 7.68.0-1ubuntu2.14
- ubuntu/libdb5.3 5.3.28 dfsg1-0.6ubuntu2
- ubuntu/libdbus-1-3 1.12.16-2ubuntu2.3
- ubuntu/libdconf1 0.36.0-1
- ubuntu/libdebconfclient0 0.251ubuntu1
- ubuntu/libdevmapper1.02.1 2:1.02.167-1ubuntu1
- ubuntu/libdpkg-perl 1.19.7ubuntu3.2
- ubuntu/libelf1 0.176-1.1build1
- ubuntu/libexpat1-dev 2.2.9-1ubuntu0.6
- ubuntu/libexpat1 2.2.9-1ubuntu0.6
- ubuntu/libext2fs2 1.45.5-2ubuntu1.1
- ubuntu/libfakeroot 1.24-1
- ubuntu/libfdisk1 2.34-0.1ubuntu9.3
- ubuntu/libffi7 3.3-4
- ubuntu/libfile-fcntllock-perl 0.22-3build4
- ubuntu/libfontconfig1 2.13.1-2ubuntu3
- ubuntu/libfreetype6 2.10.1-2ubuntu0.2
- ubuntu/libgcc-9-dev 9.4.0-1ubuntu1~20.04.1
- ubuntu/libgcc-s1 10.3.0-1ubuntu1~20.04
- ubuntu/libgcrypt20 1.8.5-5ubuntu1.1
- ubuntu/libgdbm-compat4 1.18.1-5
- ubuntu/libgdbm6 1.18.1-5
- ubuntu/libgirepository-1.0-1 1.64.1-1~ubuntu20.04.1
- ubuntu/libglib2.0-0 2.64.6-1~ubuntu20.04.4
- ubuntu/libglib2.0-bin 2.64.6-1~ubuntu20.04.4
- ubuntu/libglib2.0-data 2.64.6-1~ubuntu20.04.4
- ubuntu/libgmp10 2:6.2.0 dfsg-4ubuntu0.1
- ubuntu/libgnutls30 3.6.13-2ubuntu1.7
- ubuntu/libgomp1 10.3.0-1ubuntu1~20.04
- ubuntu/libgpg-error0 1.37-1
- ubuntu/libgssapi-krb5-2 1.17-6ubuntu4.1
- ubuntu/libgssapi3-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libgstreamer1.0-0 1.16.3-0ubuntu1.1
- ubuntu/libhcrypto4-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libheimbase1-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libheimntlm0-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libhogweed5 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libhx509-5-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libicu66 66.1-2ubuntu2.1
- ubuntu/libidn2-0 2.2.0-2
- ubuntu/libip4tc2 1.8.4-3ubuntu2
- ubuntu/libisl22 0.22.1-1
- ubuntu/libitm1 10.3.0-1ubuntu1~20.04
- ubuntu/libjson-c4 0.13.1 dfsg-7ubuntu0.3
- ubuntu/libk5crypto3 1.17-6ubuntu4.1
- ubuntu/libkeyutils1 1.6-6ubuntu1.1
- ubuntu/libkmod2 27-1ubuntu2.1
- ubuntu/libkrb5-26-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libkrb5-3 1.17-6ubuntu4.1
- ubuntu/libkrb5support0 1.17-6ubuntu4.1
- ubuntu/libksba8 1.3.5-2ubuntu0.20.04.2
- ubuntu/libldap-2.4-2 2.4.49 dfsg-2ubuntu1.9
- ubuntu/libldap-common 2.4.49 dfsg-2ubuntu1.9
- ubuntu/liblmdb0 0.9.24-1
- ubuntu/liblocale-gettext-perl 1.07-4
- ubuntu/liblsan0 10.3.0-1ubuntu1~20.04
- ubuntu/liblz4-1 1.9.2-2ubuntu0.20.04.1
- ubuntu/liblzma5 5.2.4-1ubuntu1.1
- ubuntu/libmagic-mgc 1:5.38-4
- ubuntu/libmagic1 1:5.38-4
- ubuntu/libmount1 2.34-0.1ubuntu9.3
- ubuntu/libmpc3 1.1.0-1
- ubuntu/libmpdec2 2.4.2-3
- ubuntu/libmpfr6 4.0.2-1
- ubuntu/libncurses6 6.2-0ubuntu2
- ubuntu/libncursesw6 6.2-0ubuntu2
- ubuntu/libnettle7 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libnghttp2-14 1.40.0-1build1
- ubuntu/libnpth0 1.6-1
- ubuntu/libnss-systemd 245.4-4ubuntu3.19
- ubuntu/libp11-kit0 0.23.20-1ubuntu0.1
- ubuntu/libpackagekit-glib2-18 1.1.13-2ubuntu1.1
- ubuntu/libpam-cap 1:2.32-1
- ubuntu/libpam-modules-bin 1.3.1-5ubuntu4.3
- ubuntu/libpam-modules 1.3.1-5ubuntu4.3
- ubuntu/libpam-runtime 1.3.1-5ubuntu4.3
- ubuntu/libpam-systemd 245.4-4ubuntu3.19
- ubuntu/libpam0g 1.3.1-5ubuntu4.3
- ubuntu/libpcre2-8-0 10.34-7ubuntu0.1
- ubuntu/libpcre3 2:8.39-12ubuntu0.1
- ubuntu/libperl5.30 5.30.0-9ubuntu0.3
- ubuntu/libpng16-16 1.6.37-2
- ubuntu/libpolkit-agent-1-0 0.105-26ubuntu1.3
- ubuntu/libpolkit-gobject-1-0 0.105-26ubuntu1.3
- ubuntu/libprocps8 2:3.3.16-1ubuntu2.3
- ubuntu/libproxy1v5 0.4.15-10ubuntu1.2
- ubuntu/libpsl5 0.21.0-1ubuntu1
- ubuntu/libpython3-dev 3.8.2-0ubuntu2
- ubuntu/libpython3-stdlib 3.8.2-0ubuntu2
- ubuntu/libpython3.10-minimal 3.10.9-1 focal1
- ubuntu/libpython3.10-stdlib 3.10.9-1 focal1
- ubuntu/libpython3.8-dev 3.8.10-0ubuntu1~20.04.6
- ubuntu/libpython3.8-minimal 3.8.10-0ubuntu1~20.04.6
- ubuntu/libpython3.8-stdlib 3.8.10-0ubuntu1~20.04.6
- ubuntu/libpython3.8 3.8.10-0ubuntu1~20.04.6
- ubuntu/libquadmath0 10.3.0-1ubuntu1~20.04
- ubuntu/libreadline8 8.0-4
- ubuntu/libroken18-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build1
- ubuntu/libsasl2-2 2.1.27 dfsg-2ubuntu0.1
- ubuntu/libsasl2-modules-db 2.1.27 dfsg-2ubuntu0.1
- ubuntu/libseccomp2 2.5.1-1ubuntu1~20.04.2
- ubuntu/libselinux1 3.0-1build2
- ubuntu/libsemanage-common 3.0-1build2
- ubuntu/libsemanage1 3.0-1build2
- ubuntu/libsepol1 3.0-1ubuntu0.1
- ubuntu/libsmartcols1 2.34-0.1ubuntu9.3
- ubuntu/libsoup2.4-1 2.70.0-1
- ubuntu/libsqlite3-0 3.31.1-4ubuntu0.5
- ubuntu/libss2 1.45.5-2ubuntu1.1
- ubuntu/libssh-4 0.9.3-2ubuntu2.2
- ubuntu/libssl1.1 1.1.1f-1ubuntu2.16
- ubuntu/libstdc -9-dev 9.4.0-1ubuntu1~20.04.1
- ubuntu/libstdc 6 10.3.0-1ubuntu1~20.04
- ubuntu/libstemmer0d 0 svn585-2
- ubuntu/libsystemd0 245.4-4ubuntu3.19
- ubuntu/libtasn1-6 4.16.0-2
- ubuntu/libtinfo6 6.2-0ubuntu2
- ubuntu/libtsan0 10.3.0-1ubuntu1~20.04
- ubuntu/libubsan1 10.3.0-1ubuntu1~20.04
- ubuntu/libudev1 245.4-4ubuntu3.18
- ubuntu/libunistring2 0.9.10-2
- ubuntu/libuuid1 2.34-0.1ubuntu9.3
- ubuntu/libwind0-heimdal 7.7.0 dfsg-1ubuntu1.1
- ubuntu/libxml2 2.9.10 dfsg-5ubuntu0.20.04.5
- ubuntu/libyaml-0-2 0.2.2-1
- ubuntu/libzstd1 1.4.4 dfsg-3ubuntu0.1
- ubuntu/linux-libc-dev 5.4.0-136.153
- ubuntu/locales 2.31-0ubuntu9.9
- ubuntu/login 1:4.8.1-1ubuntu5.20.04.2
- ubuntu/logsave 1.45.5-2ubuntu1.1
- ubuntu/lsb-base 11.1.0ubuntu2
- ubuntu/lsb-release 11.1.0ubuntu2
- ubuntu/make 4.2.1-1.2
- ubuntu/manpages-dev 5.05-1
- ubuntu/manpages 5.05-1
- ubuntu/mawk 1.3.4.20200120-2
- ubuntu/mime-support 3.64ubuntu1
- ubuntu/mount 2.34-0.1ubuntu9.3
- ubuntu/ncurses-base 6.2-0ubuntu2
- ubuntu/ncurses-bin 6.2-0ubuntu2
- ubuntu/netbase 6.1
- ubuntu/networkd-dispatcher 2.1-2~ubuntu20.04.3
- ubuntu/openssl 1.1.1f-1ubuntu2.16
- ubuntu/packagekit-tools 1.1.13-2ubuntu1.1
- ubuntu/packagekit 1.1.13-2ubuntu1.1
- ubuntu/passwd 1:4.8.1-1ubuntu5.20.04.2
- ubuntu/patch 2.7.6-6
- ubuntu/perl-base 5.30.0-9ubuntu0.3
- ubuntu/perl-modules-5.30 5.30.0-9ubuntu0.3
- ubuntu/perl 5.30.0-9ubuntu0.3
- ubuntu/pinentry-curses 1.1.0-3build1
- ubuntu/policykit-1 0.105-26ubuntu1.3
- ubuntu/procps 2:3.3.16-1ubuntu2.3
- ubuntu/python-apt-common 2.0.0ubuntu0.20.04.8
- ubuntu/python-pip-whl 20.0.2-5ubuntu1.6
- ubuntu/python3-apt 2.0.0ubuntu0.20.04.8
- ubuntu/python3-certifi 2019.11.28-1
- ubuntu/python3-chardet 3.0.4-4build1
- ubuntu/python3-dbus 1.2.16-1build1
- ubuntu/python3-dev 3.8.2-0ubuntu2
- ubuntu/python3-distro-info 0.23ubuntu1
- ubuntu/python3-distutils 3.8.10-0ubuntu1~20.04
- ubuntu/python3-gi 3.36.0-1
- ubuntu/python3-idna 2.8-1
- ubuntu/python3-lib2to3 3.8.10-0ubuntu1~20.04
- ubuntu/python3-minimal 3.8.2-0ubuntu2
- ubuntu/python3-pip 20.0.2-5ubuntu1.6
- ubuntu/python3-pkg-resources 45.2.0-1
- ubuntu/python3-requests-unixsocket 0.2.0-2
- ubuntu/python3-requests 2.22.0-2ubuntu1
- ubuntu/python3-setuptools 45.2.0-1
- ubuntu/python3-six 1.14.0-2
- ubuntu/python3-software-properties 0.99.9.8
- ubuntu/python3-urllib3 1.25.8-2ubuntu0.1
- ubuntu/python3-wheel 0.34.2-1
- ubuntu/python3.10-minimal 3.10.9-1 focal1
- ubuntu/python3.10 3.10.9-1 focal1
- ubuntu/python3.8-dev 3.8.10-0ubuntu1~20.04.6
- ubuntu/python3.8-minimal 3.8.10-0ubuntu1~20.04.6
- ubuntu/python3.8 3.8.10-0ubuntu1~20.04.6
- ubuntu/python3 3.8.2-0ubuntu2
- ubuntu/readline-common 8.0-4
- ubuntu/sed 4.7-1
- ubuntu/sensible-utils 0.0.12 nmu1
- ubuntu/shared-mime-info 1.15-1
- ubuntu/software-properties-common 0.99.9.8
- ubuntu/systemd-sysv 245.4-4ubuntu3.19
- ubuntu/systemd-timesyncd 245.4-4ubuntu3.19
- ubuntu/systemd 245.4-4ubuntu3.19
- ubuntu/sysvinit-utils 2.96-2.1ubuntu1
- ubuntu/tar 1.30 dfsg-7ubuntu0.20.04.2
- ubuntu/tzdata 2022f-0ubuntu0.20.04.0
- ubuntu/ubuntu-keyring 2020.02.11.4
- ubuntu/ucf 3.0038 nmu1
- ubuntu/unattended-upgrades 2.3ubuntu0.3
- ubuntu/unzip 6.0-25ubuntu1.1
- ubuntu/util-linux 2.34-0.1ubuntu9.3
- ubuntu/xdg-user-dirs 0.17-2ubuntu1
- ubuntu/xz-utils 5.2.4-1ubuntu1.1
- ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu1.5
- ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu1.5
- ch.qos.reload4j:reload4j 1.2.19
- com.eclipsesource.j2v8:j2v8_linux_x86_64 4.6.0
- com.fasterxml.jackson.core:jackson-annotations 2.13.3
- com.fasterxml.jackson.core:jackson-core 2.13.3
- com.fasterxml.jackson.core:jackson-databind 2.13.3
- com.fujitsu:annotations 4.4.3
- com.fujitsu:vdmj 4.4.3
- com.google.code.findbugs:jsr305 3.0.2
- com.google.guava:guava 20.0
- commons-beanutils:commons-beanutils 1.9.4
- commons-cli:commons-cli 1.4
- commons-codec:commons-codec 1.15
- commons-collections:commons-collections 3.2.2
- commons-io:commons-io 2.10.0
- commons-lang:commons-lang 2.6
- commons-logging:commons-logging 1.2
- guru.nidi.com.kitfox:svgSalamander 1.1.3
- guru.nidi:graphviz-java 0.17.0
- io.swagger:swagger-annotations 1.5.20
- jrt-fs:jrt-fs 11.0.16.1
- net.objecthunter:exp4j 0.4.8
- org.antlr:antlr4-runtime 4.8-1
- org.apache.commons:commons-compress 1.21
- org.apache.commons:commons-exec 1.3
- org.apache.commons:commons-lang3 3.11
- org.apache.commons:commons-text 1.9
- org.apache.logging.log4j:log4j-api 2.17.1
- org.apache.logging.log4j:log4j-core 2.17.1
- org.apache.logging.log4j:log4j-slf4j-impl 2.17.1
- org.into-cps.fmi:fmi2 1.3.5
- org.into-cps.fmi:jnifmuapi 1.3.5
- org.into-cps.maestro.codegen:mabl2cpp 2.3.0
- org.into-cps.maestro.faultinject:faultinject 1.0.0-SNAPSHOT
- org.into-cps.maestro.frameworks:builder 2.3.0
- org.into-cps.maestro.frameworks:core 2.3.0
- org.into-cps.maestro.frameworks:fmi2 2.3.0
- org.into-cps.maestro.frameworks:fmi2api 2.3.0
- org.into-cps.maestro.plugins:api 2.3.0
- org.into-cps.maestro.plugins:debuglogging 2.3.0
- org.into-cps.maestro.plugins:fixedstep 2.3.0
- org.into-cps.maestro.plugins:initializer 2.3.0
- org.into-cps.maestro.plugins:jacobianstepbuilder 2.3.0
- org.into-cps.maestro.plugins:sigver 2.3.0
- org.into-cps.maestro.plugins:topologicalsorting 2.3.0
- org.into-cps.maestro.plugins:typeconverter 2.3.0
- org.into-cps.maestro.plugins:verificationsuite 2.3.0
- org.into-cps.maestro:ast 2.3.0
- org.into-cps.maestro:core 2.3.0
- org.into-cps.maestro:fmi 2.3.0
- org.into-cps.maestro:interpreter 2.3.0
- org.into-cps.maestro:maestro 2.3.0
- org.into-cps.maestro:modeldefinitionchecker 2.3.0
- org.into-cps.maestro:parser 2.3.0
- org.into-cps.maestro:typechecker 2.3.0
- org.into-cps.vdmcheck.fmi2:static-model 1.1.1
- org.into-cps.vdmcheck.fmi2:vdmcheck2 1.1.1
- org.into-cps.vdmcheck:xsd2vdm 1.1.1
- org.javassist:javassist 3.21.0-GA
- org.jcodec:jcodec-javase 0.2.5
- org.jcodec:jcodec 0.2.5
- org.jetbrains:annotations 13.0
- org.jgrapht:jgrapht-core 1.5.1
- org.overturetool.core.codegen:codegen-runtime 2.4.4
- org.reflections:reflections 0.9.11
- org.slf4j:jcl-over-slf4j 1.7.30
- org.slf4j:jul-to-slf4j 1.7.30
- org.slf4j:slf4j-api 1.7.25
- org.slf4j:slf4j-reload4j 2.0.0-alpha7
- org.webjars.npm:viz.js-for-graphviz-java 2.1.3