GitLab

too much propagation to implicit clocks)

SpecBuilder is identical for Choc and SAT4J

empty

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

priority models