• Alexandre Duret-Lutz's avatar
    add options to %x to list atomic propositions · 18283d69
    Alexandre Duret-Lutz authored
    * bin/common_aoutput.cc, bin/common_aoutput.hh, bin/common_output.cc,
    bin/common_output.hh: Add options to %x to list atomic propositions
    with various quoting scheme.  Deprecate --format=%a in favor of the
    new --format=%x for consistency with --stats=%x.
    * tests/core/format.test, tests/core/remprop.test: Adjust and add more
    tests.
    * NEWS: Mention these changes.
    18283d69
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 153 KB