ocamlPackages.rdbg

Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages)

Name
rdbg
Programs
  • call-via-socket
  • ecexe-rif
  • luciole-rif
  • rdbg
  • rdbg-batch
  • rdbg-top
  • read-rif.sh
  • simec_trap
  • unit-test
Homepage
Version
1.199.0
License
Maintainers
Platforms
  • aarch64-linux
  • armv5tel-linux
  • armv6l-linux
  • armv7a-linux
  • armv7l-linux
  • i686-linux
  • loongarch64-linux
  • m68k-linux
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • powerpc-linux
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv64-linux
  • s390-linux
  • s390x-linux
  • x86_64-linux
  • x86_64-darwin
  • aarch64-darwin
Defined
Source