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

Source code checked in, #7dda1ec0dff4

$
0
0
Update module export error messages. Also for "import Y" if there is at least one exported view, but no exported view is marked as default, then it is an error.

Viewing all articles
Browse latest Browse all 1106

Trending Articles



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