MCRL2IDE(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💖 mCRL2ide(1) — the girlboss guide 💖

okay so first things first, we're in the User Commands section of the manual, and this page is MCRL2IDE(1), bestie. buckle up 🎀

🌸 NAME 🌸

mCRL2ide — a graphical IDE for creating, analyzing, visualizing and verifying mCRL2 specifications. yes, all four. she does it all. 👑

✨ SYNOPSIS ✨

mCRL2ide [OPTION]... [INFILE]

that's it. that's the whole vibe. 💅

🦋 DESCRIPTION 🦋

mCRL2ide is a graphical IDE for creating, analyzing, visualizing and verifying mCRL2 specifications. group project but make it pretty. 🫶

🎀 OPTIONS 🎀

OPTION can be any of the following, and yes we're listing every single one, no skipping, no cap:

  • --timings[=FILE] — appends timing measurements to FILE. and if you don't give her a FILE? the measurements go to standard error instead. lowkey handy. ⭐

💜 Standard options

the classics. the main characters.

  • -q, --quiet — do not display warning messages. silence is golden, honestly. 🙈
  • -v, --verbose — display short log messages. a little yapping, as a treat. 💬
  • -d, --debug — display detailed log messages. full lore dump. 🔥
  • --log-level=LEVEL — display log messages up to and including LEVEL; either warn, verbose, debug or trace. pick your poison, bestie. 🌈
  • -h, --help — display help information. she's helpful like that. 💖
  • --version — display version information. who is she? ✨
  • --help-all — display help information, including hidden and experimental options. the secret menu, iykyk. 👀

🌼 AUTHOR 🌼

Written by Olav Bunte. ty for your service, king. 🫡

💀 REPORTING BUGS 💀

found a bug? not cute. report it at <http://www.mcrl2.org/issuetracker> — the girls will handle it. 🐛

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 like, there is NO WARRANTY, to the extent permitted by law. read that again. no warranty. it's giving "use at your own risk" but make it legal. 😭

🧚 SEE ALSO 🧚

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/mCRL2ide.html> — more reading if you're obsessed (you should be). 📚

and that's the page!! mwah 💋 this was mCRL2ide from the mCRL2 toolset 202507...., dated October 2026 — slay, periodt, bye bestie 🌸💅🦋

📦 where this page comes from