DIAGRAPHICA(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 DIAGRAPHICA(1) — like, the manual page for DiaGraphica, bestie 🦋

okay so real quick, this is a User Commands page from the mCRL2 toolset, and it's literally about DiaGraphica. yes the tool and the page have the same name, iconic behavior tbh 👑

✨ NAME ✨

DiaGraphica — interactive visual analysis of an LTS 🌸

🎀 SYNOPSIS 🎀

DiaGraphica [OPTION]... [INFILE]

🦋 DESCRIPTION 🦋

okay so picture this: multivariate state visualisation and simulation analysis for labelled transition systems (aka LTS's, iykyk) that are in the FSM format. that's the whole vibe 💅

and here's the cute part — if you don't hand it an INFILE, DiaGraphica just starts up without opening an LTS. no file, no problem, it still pulls up 🫶

⭐ OPTIONS ⭐

so OPTION can be literally any of these, periodt:

  • --timings[=FILE] — appends timing measurements to FILE. and if you don't give it a FILE, no worries — the measurements get written to standard error instead 💖

🌈 Standard options

these are the classics, the main characters of the flag world:

  • -q, --quiet — do not display warning messages. shhh, silence, let her focus 🙈
  • -v, --verbose — display short log messages. a lil bit of tea ☕
  • -d, --debug — display detailed log messages. now we're getting into it 🔥
  • --log-level=LEVEL — display log messages up to and including LEVEL. and LEVEL has to be one of: warn, verbose, debug or trace ✨
  • -h, --help — display help information 🫶
  • --version — display version information 👑
  • --help-all — display help information, including hidden and experimental options. yes bestie, the secret menu 💀

💜 AUTHOR 💜

Written by Hannes Pretorius, Ruud Koolen, Rimco Boudewijns. legends, honestly 🎀

🍓 REPORTING BUGS 🍓

found a bug? don't suffer in silence, report it at <http://www.mcrl2.org/issuetracker> — that's literally what it's for 🧚

Copyright © 2025 Technische Universiteit Eindhoven.

This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>.

and just so we're clear — there is NO WARRANTY, to the extent permitted by law. like none. zero. ngl please don't come for us 😭

🌸 SEE ALSO 🌸

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/DiaGraphica.html> — go read it, it's giving required reading 💅

k that's the whole page! this cutie is part of the mCRL2 toolset 2025 and the page is dated October 2026 — and yes, it's still called DIAGRAPHICA(1) at the bottom, we keep the branding consistent around here 😌✨

📦 where this page comes from