BigX support
mrkmarron opened this issue · 0 comments
mrkmarron commented
Complete support for BigNat and BigInt
- ICPP -- need to provide implementations. Right now it is just uint64 and int64. Must decide if we want to do fixed big (like 256 bits) or dynamic allocable. Implementation needs to include a saturation value as well.
- Implement a saturation aware operators ++, --, **, .saturated() for them -- including parser, icpp, and solver support