Here's another one: https://github.com/dafny-lang/dafny/issues/1325
<https://github.com/dafny-lang/dafny/issues/1325>
On Tue, Jul 20, 2021 at 11:02 AM Eric Eide <eeide@cs.utah.edu
<mailto:eeide@cs.utah.edu>> wrote:
Sorawee Porncharoenwase <sorawee.pwase@gmail.com
<mailto:sorawee.pwase@gmail.com>> writes:
> By the way, here are the results so far:
> - https://github.com/dafny-lang/dafny/issues/1291
<https://github.com/dafny-lang/dafny/issues/1291>
> - https://github.com/dafny-lang/dafny/issues/1297
<https://github.com/dafny-lang/dafny/issues/1297>
Thank you! We are eager to keep track of these.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu <mailto:eeide@cs.utah.edu>> .
University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ <https://www.cs.utah.edu/~eeide/> .
+1 801-585-5512 . Salt Lake City, Utah, USA