[XLScc] Support for > 64-bit IntTypeValue / DecimalTypeValue in metadata output

Open

#1,064 opened on Jul 13, 2023 1 comment 0 reactions 1 assignee Assigned to @crmymh View on GitHub

xlscc

Description

Currently these are represented with int64s:

https://github.com/google/xls/blob/e9520d8287982d0a04bd0fee8e8b357f223b03cc/xls/contrib/xlscc/metadata_output.proto#L220

This issue has not been assessed yet.