Sorawee Porncharoenwase <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/1297
Thank you! We are eager to keep track of these.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA