* Rename execSan to SystemSan. All of the bug detectors we've built (or plan to build) relate to system state. * fix documentation * fix more documentation
Oliver Chang