[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)

To: Xsmith Dev Mailing List <xsmith-dev@flux.utah.edu>
Subject: Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
From: Eric Eide <eeide@cs.utah.edu>
Date: Fri, 20 Aug 2021 12:57:32 -0600
In-reply-to: <CADcuegvcNmB1A6dyRE2hu0tpUgmO3D6v94ffH0GobE1csSSuGg@mail.gmail.com> (Sorawee Porncharoenwase's message of "Fri, 20 Aug 2021 11:38:14 -0700")
List-archive: </listarchives/xsmith-dev>
List-help: <mailto:xsmith-dev-request@flux.utah.edu?subject=help>
List-id: Xsmith Development Mailing List <xsmith-dev.flux.utah.edu>
List-post: <mailto:xsmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/xsmith-dev>, <mailto:xsmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/xsmith-dev>, <mailto:xsmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <CADcuegsyjqiu6XejSyaM0EGVrRimQwQ_VHR88VpMYW2Ye-ek_w@mail.gmail.com> <CADcuegvrmwkq9S7FBFdxddo3Lco2bG8RwxNfeU+hO6n9g+DQ1A@mail.gmail.com> <YO4BcQbhPxhfYGIc@conspirator.d.p.hatch.uno> <CADcuegtm6Lq=yCWCtdcnT-nAaR-L6vxwKfTw=MMCvrYaqjv=Bw@mail.gmail.com> <YPD2I67Gx2q/OUp/@conspirator.d.p.hatch.uno> <CADcuegtDagdV5o58RdiYRM5_SZUVAb4UG8GheySFstwH_BKHJA@mail.gmail.com> <YPEJTZvG4EqB564b@conspirator.d.p.hatch.uno> <CADcuegspLT5=RUf_xDbXyaeoTgjVGYYLb6W9eu_78_7Mr4NjVA@mail.gmail.com> <CADcuegvpQbnDH-40W9ebk1uZaWYXGhUnkqsjusCHR4upiuHSZQ@mail.gmail.com> <YPb7HgSm2hp9SNwa@conspirator.d.p.hatch.uno> <CADcuegvFuCd7PgtbYiyggMRvKyhT1PSHRiYNHx9cTyXLtSeyHQ@mail.gmail.com> <CADcuegssLhh9+SKrTmabrA2-sisz79CwsHAgHzFxpivwqqe5aQ@mail.gmail.com> <m135s8q2z6.fsf_-_@cs.utah.edu> <CADcuegtu3rPDbnGnuCe+uMYdcrLbwiQxiD4yZ5SC7ZbQjpCZ0g@mail.gmail.com> <095e7eca-7276-cb50-21b8-1581bb9624bb@cs.utah.edu> <CADcueguVrKmWZ1bNaJz7zFGTpJSpCG9QCpjq7qtszCsqLS3ZXg@mail.gmail.com> <CADcuegshYjH75m_kapNydDZSimSDQ5X+6EfxZrw_gKE019rHcA@mail.gmail.com> <CADcuegs2zkqc1Ri9YWdR4LDxXxkdFAoo8ooR3E16Z0RbeQOiEg@mail.gmail.com> <m1sfz47vfj.fsf@cs.utah.edu> <CADcuegtnRkW+k4iwyhBbJzRmaJiFWffO2RvQFTEBCz=Ycmgsww@mail.gmail.com> <CADcuegvcNmB1A6dyRE2hu0tpUgmO3D6v94ffH0GobE1csSSuGg@mail.gmail.com>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)

Sorawee Porncharoenwase <sorawee.pwase@gmail.com> writes:

> A lot more bugs: [...]

Lots of bugs related to multisets.  I don't know Dafny well --- maybe multisets
are not heavily used?

-- 
-------------------------------------------------------------------------------
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

Follow-Ups:
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>

References:
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: William G Hatch <william@hatch.uno>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: William G Hatch <william@hatch.uno>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: William G Hatch <william@hatch.uno>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: William G Hatch <william@hatch.uno>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] XSmith questions
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
- Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
  - From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>

Prev by Date: Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
Next by Date: Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
Previous by thread: Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
Next by thread: Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
Index(es):
- Date
- Thread