GitLab

the XSLT stylesheet file is always created in the same directory as the
main XML metadata file.

object.

thread_pool.  Previously, each separation oracle call was dispatched
to a thread individually.  This is inefficient when there are a whole
lot of samples (and thus separation oracle calls which need to be made).
So now entire batches of separation oracle calls are dispatched to
each thread.  This minimizes the thread switching and synchronization
overhead.

this component will be caught by the unit tests.

type_safe_union class to avoid a compiler bug in an older version of gcc.

if the PNG saving routine was #included.

This only happens if the user implements the separation oracle wrong.  In this
case I had the code setup to force the risk to zero but this just ends up
obscuring the fact that the user's separation oracle is incorrect.  So I'm
removing this check.  This should make debugging separation oracles a little
easier.