This PR adds "fakes" for C++11 concurrency includes that allow the project and test written with relacy to build successfully.
Test plan: The make all build now builds test/main.cpp, and I verified all tests pass except for the memory.hpp test, which segfaults. I haven't looked into why yet, but I think overall this change brings the state of the project into a more usable state with modern compilers (at least GCC 11, and Clang 18).
ccotter
commented
3 months ago
This PR adds "fakes" for C++11 concurrency includes that allow the project and test written with relacy to build successfully.
Test plan: The
make allbuild now builds test/main.cpp, and I verified all tests pass except for the memory.hpp test, which segfaults. I haven't looked into why yet, but I think overall this change brings the state of the project into a more usable state with modern compilers (at least GCC 11, and Clang 18).