2 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	12c180bfd9	pypeline: convert uses of pypeline_logger.log ... The `pypeline_logger.log` functions should only be used to convey information to the user, all other uses should fall under `debug_log`.	2025-12-17 11:58:46 +01:00
Tommaso Fontana	8ae70d85d4	Pypeline: replace logging with custom log ... Now the pype command has a `--verbose` argument that to enable debug logging in the pypelien code. Adapted the codebase to use this new logging format but replacing `logging` with `revng.pypeline.utils.logger`, this is done in preparation of debug-log.	2025-11-11 17:15:28 +01:00