Revision 7477f8e96d8b5701fcfa44c384171478d920ab49

Language
View JSON

Package: dezyne @ 2.18.1

Synopsis

Programming language with verifyable formal semantics

Description

Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. The Dezyne language has formal semantics expressed in mCRL2.

Home page
https://dezyne.org
Location
gnu/packages/dezyne.scm (line: 35, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/r5w01p8z4hkpdvaqkczccyihdiyw2wab-dezyne-2.18.1.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/h6sxay5pcdzls1i3w32qdmjhw60a7vzb-dezyne-2.18.1.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/04ib25cvfmbdzf0f586w6841nhsqn2c8-dezyne-2.18.1.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/nawwrd9af7k3r3s96jxmmy177ijmg1j6-dezyne-2.18.1.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/b9gclirzac4mp92hh6s4qnbvkn9wvr3s-dezyne-2.18.1.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/6kvpf21csk02f4qaz3g46y6qpm7jpxpz-dezyne-2.18.1.drv
      x86_64-linuxpowerpc64-linux-gnu/gnu/store/wv4sc9ppijzmvbh40z2idfyp3isbls3d-dezyne-2.18.1.drv
        x86_64-linuxpowerpc64le-linux-gnu/gnu/store/clkkj4zq9gkrc92xdmsygi56hlx7173a-dezyne-2.18.1.drv
        x86_64-linuxor1k-elf/gnu/store/gw40a832w9w2wiq3h51gciwz2pgasprw-dezyne-2.18.1.drv
          x86_64-linuxmips64el-linux-gnu/gnu/store/j05p76hmrlznp060r7rhwqlll0jkz09h-dezyne-2.18.1.drv
          x86_64-linuxi686-w64-mingw32/gnu/store/pbylgyvvxvl1dxg81xbdnq9a9clpj35b-dezyne-2.18.1.drv
          x86_64-linuxi586-pc-gnu/gnu/store/24msmfql9rfnfb3h13jlsk5bnyk4x8ha-dezyne-2.18.1.drv
          x86_64-linuxavr/gnu/store/qyx59cc4aj9gaw5abrnzl3wv7pxg15d1-dezyne-2.18.1.drv
            x86_64-linuxarm-linux-gnueabihf/gnu/store/8bm4aa41r8vbga5kf7mb5f1f9ycc5wam-dezyne-2.18.1.drv
            x86_64-linuxaarch64-linux-gnu/gnu/store/slhcq8jchjsyhsdlqjy3magkcn1n5gfc-dezyne-2.18.1.drv
            riscv64-linux/gnu/store/0zasivsq3v77z0jirjwdy5781zvvysmg-dezyne-2.18.1.drv
            powerpc-linux/gnu/store/5s8nxr4bqflw6ggg7v5jdrffj41i6zmy-dezyne-2.18.1.drv
              powerpc64le-linux/gnu/store/4y2y8j3shq9bfjyzxcfxcm47q1mxi9mi-dezyne-2.18.1.drv
              mips64el-linux/gnu/store/h2pcm0n2r3lh60b828flzl0dnjly86dp-dezyne-2.18.1.drv
                i686-linux/gnu/store/9vanhpzzz4byp4j0hmnyymca4wg8k6i5-dezyne-2.18.1.drv
                i586-gnu/gnu/store/hdw3rpkidajq6fmfcwdqczn8g1fs08vb-dezyne-2.18.1.drv
                armhf-linux/gnu/store/4qwgxzvhsim0h5hbjsciaycqc0hpl8a3-dezyne-2.18.1.drv
                aarch64-linux/gnu/store/8p6wqlbpp415mjqh5v77fyq44rm2q56j-dezyne-2.18.1.drv

                Lint warnings

                LinterMessageLocation
                No lint warnings ✓