LPSACTIONRENAME(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

🌸 lpsactionrename(1) — the rename-your-actions era 🌸

okay so real talk, bestie: this is a User Commands manual page for lpsactionrename, and it's about to make your LPS action labels look completely different (in a good way, promise) 💅

✨ NAME ✨

lpsactionrename — rename actions of an LPS. that's it, that's the vibe 🎀

🦋 SYNOPSIS 🦋

lpsactionrename [OPTION]... (--renamefile=NAME | --regex=EXPR) [INFILE
[OUTFILE]]

💖 DESCRIPTION 💖

so here's the tea ☕ — you take the action rename specification that lives in FILE, apply it to the LPS sitting in INFILE, and save the glow-up into OUTFILE.

  • no OUTFILE? no problem, stdout gets it instead 🫶
  • no INFILE? also fine, it reads from stdin instead 🌈

like, it literally just pipes in, renames, pipes out. main character energy fr fr.

👑 OPTIONS 👑

OPTION can be any of the following, and yes we're going through all of them because i would never do you like that 💜

  • -o, --no-rewrite — do not rewrite data expressions while renaming. use this when the rewrite system does not terminate 😭 (like, it's stuck in a loop, bestie, save yourself)
  • -m, --no-sumelm — do not apply sum elimination to the final result. skipping the final polish, we respect it
  • -t, --no-typecheck — do not typecheck the resulting specfication. living dangerously, love that for you 🙈
  • -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 🧚)
  • -eEXPR, --regex=EXPR — use the provided regular expression to rename action labels. the argument should be shaped like 'matching pattern/replacement'. matched groups can be substituted in the result with $n, where n is the index of the group. it is generally good to surround the matching expression with ^$. example incoming, screenshot it:
'^(.*)_send$/$1_receive'
  • -fNAME, --renamefile=NAME — use the rename rules from NAME 📄
  • -rNAME, --rewriter=NAME — pick your rewrite strategy NAME, and there are three icons to choose from:
    • 'jitty' — jitty rewriting (default, the OG ⭐)
    • 'jittyc' — compiled jitty rewriting 🔥
    • 'jittyp' — jitty rewriting with prover 🧠
  • --timings[=FILE] — append timing measurements to FILE. if no FILE is provided, the measurements go to standard error instead ⏱️

🌟 Standard options 🌟

the classic lil lineup, always here for you:

  • -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; either 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, iykyk)

🎀 AUTHOR 🎀

Written by Jan Friso Groote and Tom Haenen. legends, honestly 👑

💀 REPORTING BUGS 💀

found a bug? do NOT suffer in silence, report it at <http://www.mcrl2.org/issuetracker>. we don't gatekeep problems here 🙏

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. ngl please don't come for us 😭)

🦋 SEE ALSO 🦋

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpsactionrename.html>. go read it, it's giving documentation excellence ✨

and that's the whole page, bestie 🫶 this lil sign-off comes straight from the footer: it's from the mCRL2 toolset, and the page is dated October 2026 — so yeah, lpsactionrename, mCRL2 toolset, October 2026, LPSACTIONRENAME(1). now go rename some actions, you absolute icon 💅🌸

📦 where this page comes from