-
Notifications
You must be signed in to change notification settings - Fork 2
Open
Labels
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomersgood-titlehelp wantedExtra attention is neededExtra attention is needed
Description
See:
$ phino rewrite --help
Usage: phino rewrite [--log-level LEVEL] [--rule FILE] [--input FORMAT]
[--output FORMAT] [--sweet] [--normalize] [--nothing]
[--shuffle] [--omit-listing] [--omit-comments]
[--max-depth DEPTH] [FILE]
Rewrite the program
Available options:
--log-level LEVEL Log level (DEBUG, INFO, WARNING, ERROR, NONE)
(default: INFO)
--rule FILE Path to custom rule
--input FORMAT Program input format (phi, xmir) (default: phi)
--output FORMAT Program output format (phi, xmir) (default: phi)
--sweet Print 𝜑-program using syntax sugar
--normalize Use built-in normalization rules
--nothing Just desugar provided 𝜑-program
--shuffle Shuffle rules before applying
--omit-listing Omit full program listing in XMIR output
--omit-comments Omit comments in XMIR output
--max-depth DEPTH Max amount of rewritng cycles (default: 25)
FILE Path to input file
-h,--help Show this help text
-h,--help Show this help text
At the bottom, I see the last line duplicated.
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomersgood-titlehelp wantedExtra attention is neededExtra attention is needed