Revision 258e69e10479173fba3064dee0611f1e8f8b6a60

Language
View JSON

Package: dezyne @ 2.15.2

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: 32, column: 2)
Licenses

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/c77dflx1c7jdl5zpl8b5vfix7m9ffl67-dezyne-2.15.2.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/yxdxznmm9qp10xg9mnnwypqi320waisz-dezyne-2.15.2.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/hiwih5qj6qy1zc7k8f4xi4cv89rz1823-dezyne-2.15.2.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/jwrr4brjx9v8gdjkccdgay6ycjbv7w1s-dezyne-2.15.2.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/cqpp5c59b6h4dblhdjabv1ib80ndqhn7-dezyne-2.15.2.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/jldmwmh5921rzg70xl8fg3r6bzqmaw88-dezyne-2.15.2.drv
x86_64-linuxi686-w64-mingw32/gnu/store/9klsaig3qfkccwi0gzngqdviijcp9mhj-dezyne-2.15.2.drv
x86_64-linuxi586-pc-gnu/gnu/store/30w5bzbd0a9b8ykk608wi3kagzwg9zb0-dezyne-2.15.2.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/g3apaqy5mjzr7snzlsl109bzdzh0wq31-dezyne-2.15.2.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/cimcanl1844r4cw6x4rfj2gncgap50fb-dezyne-2.15.2.drv
riscv64-linux/gnu/store/6n8zxnjhaj9nrvnhz06d3i1g678n680r-dezyne-2.15.2.drv
    powerpc-linux/gnu/store/fxdp4v1dx1wsg46byq0zkf7d8wx9m157-dezyne-2.15.2.drv
      powerpc64le-linux/gnu/store/01px3mqmagja02z754979q3m1mz8clp9-dezyne-2.15.2.drv
      mips64el-linux/gnu/store/dn2zkifr72sfdh31ih0glqsvh89fb4br-dezyne-2.15.2.drv
        i686-linux/gnu/store/6z5dg73cv9k293kk9k1smlandw81sj8p-dezyne-2.15.2.drv
        i586-gnu/gnu/store/5wbbvlnmh0v4x6y3by061spxhyvdidqd-dezyne-2.15.2.drv
        armhf-linux/gnu/store/vdkr2wldnw4krip0ns3ykkavffmayd5n-dezyne-2.15.2.drv
        aarch64-linux/gnu/store/acngbiw4vhhxdj3xfkfiqi1jq4b3ypp6-dezyne-2.15.2.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓