MCRL2XI(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 mCRL2xi 💅

okay so bestie, welcome to mCRL2xi — that's the graphical mCRL2 data specification editor ✨ (and yes, this is a User Commands manual page, we're getting fancy today 🎀).

✨ SYNOPSIS ✨

mCRL2xi [OPTION]... [INFILE]

🦋 DESCRIPTION 🦋

A graphical mCRL2 data specification editor. That's the whole vibe — it's a GUI editor for mCRL2 data specifications, and honestly? iconic. 🫶

🌸 OPTIONS 🌸

OPTION can be any of the following, bestie 👇

  • -QNUM, --qlimit=NUM — caps how many iterations we do when enumerating universal and existential quantifiers in data expressions, at NUM iterations (default NUM=10, and NUM=0 means unlimited, no cap, go off 👑).
  • -rNAME, --rewriter=NAME — picks your rewrite strategy, NAME being one of these three cuties:
    • 'jitty' — jitty rewriting, and that's the default 💖
    • 'jittyc' — compiled jitty rewriting
    • 'jittyp' — jitty rewriting with prover
  • --timings[=FILE] — appends timing measurements to FILE ⏱️. If you don't hand it a FILE, the measurements go to standard error instead, ngl.

⭐ Standard options ⭐

  • -q, --quiet — do not display warning messages 🤫
  • -v, --verbose — display short log messages 📝
  • -d, --debug — display detailed log messages 🔍
  • --log-level=LEVEL — display log messages up to and including LEVEL, which 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 🙈 (the secret menu, fr fr)

🧚 AUTHOR 🧚

Written by Rimco Boudewijns and Frank Stappers. legends 💜

💀 REPORTING BUGS 💀

Report bugs at <http://www.mcrl2.org/issuetracker>. bugs found = besties doing their civic duty 🐛🔨

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>. There is NO WARRANTY, to the extent permitted by law. (like, none. zero. don't come for them 😭)

🌈 SEE ALSO 🌈

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/mCRL2xi.html>. go read it, iykyk 💅✨

okay that's the whole page, hope you slayed 💖 this was mCRL2xi, part of the mCRL2 toolset 202507.0..., dated October 2026 — see you in the next one, mwah 🎀🦋

📦 where this page comes from