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

Source code checked in, #622a1a909b78

$
0
0
Allow underscores in numeric literals (and in field/destructor names that are written as numeric strings). The underscores have no semantic meaning, but can help a human parse the numbers.

Viewing all articles
Browse latest Browse all 1106

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>