Commit Verlauf

Autor SHA1 Nachricht Datum
  Hadrien Croubois 71aaca2d9d Extend Checkpoints with new sizes and lookup mechanisms (#3589) vor 3 Jahren
  Igor Żuk 580b7ab816 Optimize safe casting of signed numbers (#3565) vor 3 Jahren
  Hadrien Croubois b61faf8368 Procedural SafeCast.sol generation (#3245) vor 3 Jahren