This PR makes the precommit method in ROB runnable only if the rob_id from its argument matches. This allows to eliminate m.If expressions comparing rob_ids in FUs.
What do you think? Is this a good idea? I kind of like it because this seems to fit better to Transactron's philosophy: actions which are impossible due to external factors are not performed because of methods not being ready.
This PR makes the
precommitmethod in ROB runnable only if therob_idfrom its argument matches. This allows to eliminatem.Ifexpressions comparingrob_ids in FUs.What do you think? Is this a good idea? I kind of like it because this seems to fit better to Transactron's philosophy: actions which are impossible due to external factors are not performed because of methods not being ready.
This PR depends on #663 and #679.
TODO: