LPSPARELM(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

✨ NAME ✨

lpsparelm — remove unused parameters from an LPS. Yep, it's the LPSPARELM(1) User Commands page, bestie, and it's here to clean up your LPS. 💅

🦋 SYNOPSIS 🦋

lpsparelm [OPTION]... [INFILE [OUTFILE]]

🌸 DESCRIPTION 🌸

Okay so lpsparelm removes unused parameters from the linear process specification (LPS) in INFILE and writes the result to OUTFILE.

If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used. Easy, iconic, periodt. ✨

💖 OPTIONS 💖

OPTION can be any of the following:

  • --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided. (Timing tea ☕)

Standard options:

  • -q, --quiet — do not display warning messages. (Shh, no cap.)
  • -v, --verbose — display short log messages. (A little chatty, lowkey.)
  • -d, --debug — display detailed log messages. (Full lore mode 🔥)
  • --log-level=LEVEL — display log messages up to and including level; either warn, verbose, debug or trace.
  • -h, --help — display help information. (Emergency assist 🫶)
  • --version — display version information. (Who are you? 👑)
  • --help-all — display help information, including hidden and experimental options. (Secret menu energy 🙈)

🫶 AUTHOR 🫶

Written by Wieger Wesselink and Jeroen van der Wulp; Frank Stappers and Tim Willemse. Absolute legends, honestly. 👑

😭 REPORTING BUGS 😭

Report bugs at <http://www.mcrl2.org/issuetracker>. If something's giving broken vibes, that's the spot. 🐛

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. (Read that last part fr fr. 💀)

🌈 SEE ALSO 🌈

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpsparelm.html>. iykyk 💅

xoxo, your LPSPARELM(1) bestie from the mCRL2 toolset — source/version 202507..., dated October 2026. 💖🎀✨

📦 where this page comes from