Closed asleix closed 2 months ago
This PR addresses several issues regarding the speculation implementation:
$enable
NoneType
CFG.cpp:getBBPredecessorArcs
BBEndpoints
Looks good from my end, thanks Aleix!
This PR addresses several issues regarding the speculation implementation:
$enable
control signal of typeNoneType
to SpeculatorOp, which is responsible for enabling the Speculator.NoneType
.CFG.cpp:getBBPredecessorArcs
where not initializingBBEndpoints
could lead to unexpected errors.