Robin Salkeld
Robin Salkeld
Hi there! Thanks for contributing this fix. We have pulled it into the latest release: https://github.com/awslabs/amazon-sqs-java-extended-client-lib/releases/tag/1.0.2
Reopening because we had to revert the PR to fix nightly: https://github.com/dafny-lang/dafny/pull/5492
This is a more serious gap for Go in particular, because although we include the file `DafnyRuntime.go` in Dafny releases, but Go can't use this file to resolve symbols under...
Yes, my intention once we created that second copy was that as part of the Dafny release process, we'd copy the contents of it to github.com/dafny-lang/DafnyRuntimeGo.
One other thought for when we come back to this: the option name should be more explicit that it's only skipping verification somehow - `dafny test --skip-included-files ...` sounds too...
> also: why does forall statement use "old-ish" syntax forall x | x in xs not newer forall x
Love this idea. I'd also suggest we have a standard way for a Dafny codebase to indicate what version of Dafny it works with, so we have the opportunity to...
If we implement a Dafny plugin for https://asdf-vm.com/ or https://vfox.lhan.me/, we could rely on [`.tool-versions`](https://github.com/asdf-vm/asdf/blob/master/.tool-versions)
After waffling a bit :) I feel this deserves the `during 4: execution of correct program` soundness issue label. If nothing else we hadn't defined correct program behavior in this...