this is the code related to TimeSquare (http://timesquare.inria.fr)

  • MALLET Frederic's avatar
    Fix Issue #1 and #2 · bb60db95
    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
Name
Last commit
Last update
core Loading commit data...
deployment Loading commit data...
examples Loading commit data...
fr.inria.aoste.timesquare.feature Loading commit data...
fr.inria.aoste.timesquare.nobackend.feature Loading commit data...
optional Loading commit data...
thirdparty Loading commit data...
addPointTobuild.properties.sh Loading commit data...