Commit History

Autor SHA1 Mensaxe Data
  Hadrien Croubois 71aaca2d9d Extend Checkpoints with new sizes and lookup mechanisms (#3589) %!s(int64=3) %!d(string=hai) anos
  Igor Żuk 580b7ab816 Optimize safe casting of signed numbers (#3565) %!s(int64=3) %!d(string=hai) anos
  Hadrien Croubois b61faf8368 Procedural SafeCast.sol generation (#3245) %!s(int64=3) %!d(string=hai) anos