This repository was archived by the owner on Nov 16, 2023. It is now read-only.
BigX support #516
Description
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