-config-excluder

Exclude speculation configurations that cannot lead to II = 1.

-mobility

Compute mobility information.

-schedule

A CIRCT scheduler wrapper for SpecHLS.