LPSXSIM(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

💅 LPSXSIM(1) — the mCRL2 toolset glow-up, user commands edition 🎀

okay bestie, so this is the manual page for LpsXSim, part of the mCRL2 toolset (version 202507.0, dated October 2026, if you're keeping score 🗓️). it's your lil' graphical bestie for simulating an LPS, and yes, we're gonna walk through every single flag together because that's what friends do 🫶.

✨ NAME ✨

LpsXSim — graphical simulation of an LPS. that's it, that's the vibe. a whole simulator with a window and everything 🦋

🌸 SYNOPSIS 🌸

LpsXSim [OPTION]... [INFILE]

💖 DESCRIPTION 💖

so LpsXSim simulates linear process descriptions in a graphical environment. like, an actual GUI. main character energy fr fr 👑.

if you pass it an INFILE, that file gets loaded into the simulator and you're off to the races ✨.

🎀 OPTIONS 🎀

OPTION can be any of the following, and yes, i'm listing all of them, i would never do you dirty like that 💅:

  • -y, --nodummy — do not replace global variables in the LPS with dummy values. skip the whole dummy-value glow-down 🙈
  • -QNUM, --qlimit=NUM — caps the enumeration of universal and existential quantifiers in data expressions at NUM iterations. default is NUM=10, and NUM=0 means unlimited (go off, no cap, literally 🔥)
  • -rNAME, --rewriter=NAME — picks your rewrite strategy NAME, and your choices are:
    • 'jitty' — jitty rewriting, and that's the default 💖
    • 'jittyc' — compiled jitty rewriting
    • 'jittyp' — jitty rewriting with prover

pick your fighter, they're all iconic in their own way 🧚

  • --timings[=FILE] — appends timing measurements to FILE. if you don't give it a FILE, the measurements go to standard error instead. she'll always find somewhere to put them 😌

⭐ standard options (the group-chat classics) ⭐

  • -q, --quiet — do not display warning messages. silence is golden, periodt 🤫
  • -v, --verbose — display short log messages. a lil' bit of tea, nothing too deep ☕
  • -d, --debug — display detailed log messages. for when you really wanna know everything 👀
  • --log-level=LEVEL — display log messages up to and including LEVEL, which has to be one of warn, verbose, debug or trace. pick your spiciness level 🌶️
  • -h, --help — display help information. when in doubt, ask for help, bestie 🫶
  • --version — display version information 🏷️
  • --help-all — display help information, including hidden and experimental options. the secret menu, iykyk 🔓

🦋 AUTHOR 🦋

Written by Ruud Koolen. thank you ruud, we stan 💜

😭 REPORTING BUGS 😭

Report bugs at <http://www.mcrl2.org/issuetracker>. if something's acting up, don't suffer in silence — tell the tracker, they'll 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>.

There is NO WARRANTY, to the extent permitted by law. like, none, zero, nada — don't come for them if it breaks 💀

🍓 SEE ALSO 🍓

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/LpsXSim.html>. more reading material for your enrichment 📚✨

okay that's the whole page, every last flag and footnote, no cap 💯. this was LpsXSim from the mCRL2 toolset 202507.0, dated October 2026 — and that's the manual page, LPSXSIM(1), signing off. slay, bye bestie 💅🎀🦋

📦 where this page comes from