package lutin

  1. Overview
  2. Docs
Lutin: modeling stochastic reactive systems

Install 

dune-project
 Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier
  2. P
    Pascal Raymond
  3. B
    Bertrand Jeannnet (polka)
  4. Y
    Yvan Roux

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.56-fix.tgz
sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5
md5=282c7b3d0fa57385a6b4395239bc8e13

Description

Lutin is a language to model stochastic reactive systems. It has been initially designed to model environments and perform automated testing of reactive systems with Lurette.

Tags

clib:stdc clib:camlidl

Published: 01 Aug 2018

Dependencies (20)

  1. stdlib-shims
  2. rdbg >= "1.170" & <= "1.184.1"
  3. ocamlfind
  4. ocamlbuild build & != "0.9.0"
  5. oasis-mirage build & >= "0.4.7"
  6. oasis build & >= "0.4.7"
  7. mlgmpidl
  8. lutils >= "1.9" & < "1.48"
  9. lustre-v6
  10. extlib-compat build
  11. extlib build
  12. camlp4
  13. camlidl
  14. num
  15. base-unix build
  16. conf-perl build
  17. conf-m4 build
  18. conf-mpfr
  19. conf-gmp
  20. ocaml >= "4.02" & < "4.12"

Dev Dependencies

None

Used by

None

Conflicts

None