Devin Matthews

Details: - Having a space in the source directory, build directory, or install directory leads to major problems, both due to insufficient quoting in several bash scripts, but also due...

Steps to reproduce: 1. configure, build, and install BLIS 2. `rm $PREFIX/include/blis/blis.h` 3. `make install` does not reinstall `blis.h` This might possibly be due to checking the timestamp on `$PREFIX/include/blis.h`...

Details: - Adds a configuration flag `--harden-barriers` (disabled by default). - When enabled, threads record a) the currently-detected sense variable from the barrier object (in this mode, the sense variable...