diff options
| author | whitequark <whitequark@whitequark.org> | 2020-06-18 21:51:30 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2020-06-19 02:31:35 +0000 |
| commit | 962a2f3bff9da3ae1ccf0bf05fabdbecf30f15c8 (patch) | |
| tree | af91ada1c50ac0e40e5495135f9bcfd71a5bb009 /libs/minisat | |
| parent | dfde1cf1c540d5580d7bc7d24f9f59a004202d60 (diff) | |
| download | yosys-962a2f3bff9da3ae1ccf0bf05fabdbecf30f15c8.tar.gz yosys-962a2f3bff9da3ae1ccf0bf05fabdbecf30f15c8.tar.bz2 yosys-962a2f3bff9da3ae1ccf0bf05fabdbecf30f15c8.zip | |
cxxrtl: add .get() and .set() accessors on value<> and wire<>.
For several reasons:
* They're more convenient than accessing .data.
* They accommodate variably-sized types like size_t transparently.
* They statically ensure that no out of range conversions happen.
For now these are only provided for unsigned integers, but eventually
they should be provided for signed integers too. (Annoyingly this
affects conversions to/from `char` at the moment.)
Fixes #2127.
Diffstat (limited to 'libs/minisat')
0 files changed, 0 insertions, 0 deletions