feat(runtime-include): support std::atomic_ref in C++ programs - #73

feat(runtime-include): support std::atomic_ref in C++ programs#73

Ignition wants to merge 1 commit into

MPI-SWS:masterMPI-SWS/genmc:masterfrom

Ignition:worktree-atomic-ref-issue-72Ignition/genmc:worktree-atomic-ref-issue-72Copy head branch name to clipboard