c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
13 stars 1 forks source link

Implement C++ emitter support #181

Open MattWindsor91 opened 4 years ago

MattWindsor91 commented 4 years ago

Once #180 happens, we should add a separate emission path for C++ that emits idiomatic C++ for intermediate representation concepts. For example, we’d use std::atomic types, memory order enums, etc.