dafny-lang dafny Discussions
Sort by:
Latest activity
Label
Discussions
-
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 Havoc assignment vs {:external} result vs auto-init'ed vars
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` label -
You must be logged in to vote 🙏 -
You must be logged in to vote 📣 -
You must be logged in to vote 📣 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 💡 -
You must be logged in to vote 📣 -
You must be logged in to vote 🙌 -
You must be logged in to vote 💡 -
You must be logged in to vote 🙏 -
You must be logged in to vote 💬 -
You must be logged in to vote 🙏 -
You must be logged in to vote 📣 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 -
You must be logged in to vote 🙏 Is there a way to verify the equivalence of two dafny annotations?
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny -
You must be logged in to vote 💬 -
You must be logged in to vote 🙏