• POTTIER Francois's avatar
    Update fix to version 20201120. · d6874f85
    POTTIER Francois authored
    The main change is that Fix.DataFlow now requires [leq_join] instead
    of separate [leq] and [join] functions.
    The rest of the changes are documentation comments and a few new
    features which Menhir does not use.
    There should be no change in functionality.
To find the state of this project's repository at the time of any of these versions, check out the tags.