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

Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)

To: Xuejun Yang <jxyang@cs.utah.edu>
Subject: Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
From: Eric Eide <eeide@cs.utah.edu>
Date: Sat, 19 Nov 2011 12:03:22 -0700
Cc: Csmith Dev Mailing List <csmith-dev@flux.utah.edu>
In-reply-to: John Regehr's message of Monday, November 14 2011 <4EC1731A.2080000@cs.utah.edu>
List-archive: </listarchives/csmith-dev>
List-help: <mailto:csmith-dev-request@flux.utah.edu?subject=help>
List-id: Csmith Development Mailing List <csmith-dev.flux.utah.edu>
List-post: <mailto:csmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-dev>, <mailto:csmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <4EBD919E.2000303@cs.utah.edu> <20158.52827.197394.369997@bas.flux.utah.edu> <4EBED1CB.4090209@cs.utah.edu> <CAOH62Jj1N1d4zfZ2GsUWXPCZqjTUDpYn3AkJhQ0Q08ZcDNm+Dg@mail.gmail.com> <006801cca303$5b1d2d90$115788b0$@cs.utah.edu> <4EC1731A.2080000@cs.utah.edu>

Are all of your expected patches now in, Xuejun?

	John> Cool.  Then Eric and I will push out the 2.1 release.  There's a
	John> lot of good stuff added since 2.0.

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

Follow-Ups:
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>

References:
- [csmith-dev] Csmith TODO list
  - From: John Regehr <regehr@cs.utah.edu>
- [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: John Regehr <regehr@cs.utah.edu>
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: Pascal Cuoq <pascal.cuoq@gmail.com>
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: "Xuejun Yang" <jxyang@cs.utah.edu>
- Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
  - From: John Regehr <regehr@cs.utah.edu>

Prev by Date: Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
Next by Date: Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
Previous by thread: Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
Next by thread: Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)
Index(es):
- Date
- Thread