From: jrmarsha (jrmarsha_at_[hidden])
Date: 2019-08-18 15:31:41
Shout out to Rene Rivera for helping me get this stuff together.
I'm getting some useful results out of changing to using pre-compiled
headers.Â There isn't the speed-up I expected, but it has actually
turned out useful for finding out incorrect header inclusion patterns
and will certainly be making the code more reliable.Â This is something
that we ought to consider trying more broadly in the project.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk