cxxrtl: use unique_ptr<value<>[]> to store memory contents.
authorwhitequark <whitequark@whitequark.org>
Sun, 20 Dec 2020 17:17:37 +0000 (17:17 +0000)
committerCatherine <whitequark@whitequark.org>
Sat, 11 Dec 2021 14:52:37 +0000 (14:52 +0000)
commit7c9e498662c378ea5e20aebd14918ac3d8df7c05
tree4b698a9fabaec5c30d652137695d402cdbc39d1c
parent8e91857fabe75e032810bb09a22af1b18cb8172f
cxxrtl: use unique_ptr<value<>[]> to store memory contents.

This makes the depth properly immutable.
backends/cxxrtl/cxxrtl.h