verilator
verilator copied to clipboard
Change `--lint-only` to imply `--timing`
Currently using -lint-only does not imply --timing nor --no-timing and on any timing construct a NOTIMING warning will ask the user to be more specific.
Given timing is now more common and well supported, I propose to make --lint-only to imply --timing. If a user wants the lint mode to match what e.g. -cc -no-timing does they can (continue to) use --lint-only --notiming.
Opening this to see if any comments/concerns. If no objections I will make this change in the next week or so to hit the next release (probably ~2026-1-1).