Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add flags for graphical output of exploration #24

Closed
wants to merge 14 commits into from
Closed

Add flags for graphical output of exploration #24

wants to merge 14 commits into from

Commits on Feb 4, 2019

  1. Use unique_ptr for TraceBuilder::errors

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    ba979d4 View commit details
    Browse the repository at this point in the history

  2. Use unique_ptr for Trace::errors

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    07315f6 View commit details
    Browse the repository at this point in the history

  3. Add vector clocks to IIDSeqTrace 

    It is thus renamed IIDVCSeqTrace.
    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    8850525 View commit details
    Browse the repository at this point in the history

  4. TSOTraceBuilder, PSOTraceBuilder: Delete errors on reset

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    7fc7b66 View commit details
    Browse the repository at this point in the history

  5. Don't derive PATB_impl::TraceRecorder from Trace 

    For now, the utility functions that were shared have been made public on
Trace.
    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    c9aa3e6 View commit details
    Browse the repository at this point in the history

  6. Add --dump-traces flag to dump partial orders

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    2102c43 View commit details
    Browse the repository at this point in the history

  7. Add IID accessor to Trace

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    7ac37e6 View commit details
    Browse the repository at this point in the history

  8. Add --dump-tree flag to dump exploration tree

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    9f909db View commit details
    Browse the repository at this point in the history

  9. Better POWER&ARM support for --dump-tree 

    TraceRecorder now stores which messages correspond to a certain event,
which allows them to be shown in the exploration tree.
    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    25c5edd View commit details
    Browse the repository at this point in the history

  10. TraceDumper: Trace graph layout hints

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    034cb06 View commit details
    Browse the repository at this point in the history

  11. Add --dump-spec flag to generate a trace_set_spec

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    e94e9f6 View commit details
    Browse the repository at this point in the history

  12. Bias --dump-spec towards earlier edges over later 

    This is an attempted fix aimed at a perceived flaw in --dump-spec, in
that it generates specs that are "technically correct", by only matching
one trace due to containing IIDs that are unique to that trace, but
"miss the point" in what characterises the trace.

This change does sometimes result in larger specs, but hopefully closer
to what a human would write.
    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    29a43a4 View commit details
    Browse the repository at this point in the history

  13. Document the three trace dumping switches

    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    472ee18 View commit details
    Browse the repository at this point in the history

  14. DPORDriver_test: Unconditionally expose typedefs 

    They are also used by TraceDumper, even when
HAVE_BOOST_UNIT_TEST_FRAMEWORK is undefined.
    @margnus1
    margnus1 committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    ba8a213 View commit details
    Browse the repository at this point in the history