ada-runtime icon indicating copy to clipboard operation
ada-runtime copied to clipboard

Published 20 hours ago • verified publisher icon Componolit

Support for executing function contracts

Open senier opened this issue 4 years ago • 0 comments

Potentially relevant: Support for Ada.Numerics.Big_Numbers.Big_Integers (#68) for overflow elimination in contracts (cf. [T416-051])

senier avatar Apr 17 '20 10:04 senier