Closed qwattash closed 7 months ago
Add extra definitions to work around the absence of INTMAX_WIDTH, UINTMAX_WIDTH and SIZE_WIDTH from CheriBSD stdint.h
This should resolve #126
Add extra definitions to work around the absence of INTMAX_WIDTH, UINTMAX_WIDTH and SIZE_WIDTH from CheriBSD stdint.h
This should resolve #126