Quantcast
Channel: Dafny: An Automatic Program Verifier for Functional Correctness
Viewing all articles
Browse latest Browse all 1106

Source code checked in, #af36356da4e3

$
0
0
Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_short call EuclideanModulus_int, not the BigInteger EuclideanModulus. (Same for EuclideanDivision.)

Viewing all articles
Browse latest Browse all 1106

Trending Articles