Ward is a tool used for building HPC-GAP. It analyzes C source code and either generates or verifies the accuracy of guard instructions that protect the C code against data races.
Ward is made available under the permissive Boost License. Please see
the LICENSE file for details. Files in the ext directory are
third-party libraries and programs and come with their own, separate
licenses.