Julian Seward 56e04256a7 Rationalise --vex-guest* flags in the new IRSB construction framework ...

* removes --vex-guest-chase-cond=no|yes.  This was never used in practice.

* rename --vex-guest-chase-thresh=<0..99> to --vex-guest-chase=no|yes.  In
  otherwords, downgrade it from a numeric flag to a boolean one, that can
  simply disable all chasing if required.  (Some tools, notably Callgrind,
  force-disable block chasing, so this functionality at least needs to be
  retained).

2020-01-02 06:42:21 +01:00

..

design-impl.xml

Overhaul design+implementation chapter.

2009-08-07 04:07:20 +00:00

dist-docs.xml

Bug 345248 - add support for Solaris OS in valgrind

2015-07-21 14:44:28 +00:00

FAQ.xml

Mention --keep-debuginfo=yes in the FAQ for unloaded shared objects.

2018-09-13 21:12:56 +02:00

index.xml

Very minor changes.

2007-11-25 00:56:51 +00:00

licenses.xml

Post-release changes:

2005-11-27 04:10:00 +00:00

manpages-index.xml

Add (minimal) manual page for valgrind-di-server.

2019-04-07 18:29:02 +02:00

manual-core-adv.xml

Rationalise --vex-guest* flags in the new IRSB construction framework

2020-01-02 06:42:21 +01:00

manual-core.xml

Allow the user to change a set of command line options during execution.

2019-08-31 14:41:10 +02:00

manual-intro.xml

Remove references to Ptrcheck in the documentation, and replace

2011-06-26 19:57:26 +00:00

manual-writing-tools.xml

Update references to non-existent configure.in

2019-07-14 13:55:20 +02:00

manual.xml

Overhaul DHAT.

2019-02-01 14:54:34 +11:00

quick-start-guide.xml

Documentation update for 3.6.0 (not including NEWS).

2010-10-13 21:47:29 +00:00

tech-docs.xml

Went over the FAQ. Also tweaked vg-entities.xml a bit.

2009-08-07 02:58:11 +00:00

valgrind-manpage.xml

Enhance the "Author" section of the manpage as suggested

2014-12-13 18:55:35 +00:00

vg-entities.xml

Misc doc updates for upcoming 3.15.0 release.

2019-04-08 08:08:19 +02:00

xml_help.txt

We currently use a mix of <option> and <computeroutput> tags for command

2009-07-30 02:57:52 +00:00