-
MALLET Frederic authored
intermediate clocks were not propagated to ClockCollector when unfolding ternary expressions like inf or sup. Fix semantics of implies to implies union of clocks, we can add more constraints to mean implies intersection of clocks
bb60db95