Closed ascherer closed 7 years ago
Given that CWEBbin is compiled as C++ code anyway, it would be very advantageous to replace the complicated memory management in CWEB with standard containers like std::vector and std::string. This could also replace the *-memory.ch files.
std::vector
std::string
*-memory.ch
Given that CWEBbin is compiled as C++ code anyway, it would be very advantageous to replace the complicated memory management in CWEB with standard containers like
std::vectorandstd::string. This could also replace the*-memory.chfiles.