diff --git a/docs/configuring.html b/docs/configuring.html index d0a46310e5..7bd5bbf01c 100644 --- a/docs/configuring.html +++ b/docs/configuring.html @@ -152,7 +152,7 @@

(Note that you run redex-all here, not the redex.py wrapper!)

This emits a JSON document detailing parameters, their types, defaults and possibly documentation.

-
Last updated on 1/19/2024 by Nikolai Tillmann
InstallationPasses

The source code for this example can be found in this directory.

-
Last updated on 1/19/2024 by Nikolai Tillmann
UsageRedex Synth Pass Example