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

[creduce-bugs] CReduce crash

Subject: [creduce-bugs] CReduce crash
From: chenyang at cs.utah.edu (Yang Chen)
Date: Mon, 02 Jul 2012 22:46:10 +0800
In-reply-to: <20465.45935.601090.375538@bas.flux.utah.edu>
References: <9AD122D64E99E74388A5C886A65085BF6916043A@CAMEUREXM01.EUROPE.ROOT.PRI> <4FF1AE49.5040203@cs.utah.edu> <4FF1AFF1.6040607@cs.utah.edu> <20465.45935.601090.375538@bas.flux.utah.edu>

On 7/2/12 10:42 PM, Eric Eide wrote:
> 	Yang>  What's your clang version, Paulo?
>
> Remember that creduce-bugs is an "open list."  People do not need to subscribe
> in order to send email to the list.
>
> That said, I just approved Paulos's subscription request.  I will forward
> recent relevant email to him, so that he might answer your question.
>
> Thanks ---
>
> Eric.
>
>    

Oops, Thanks for the info!

- Yang

References:
- [creduce-bugs] CReduce crash
  - From: Paulo.Matos at csr.com (Paulo De Oliveira Cantante De Matos)
- [creduce-bugs] CReduce crash
  - From: regehr at cs.utah.edu (John Regehr)
- [creduce-bugs] CReduce crash
  - From: chenyang at cs.utah.edu (Yang Chen)
- [creduce-bugs] CReduce crash
  - From: eeide at cs.utah.edu (Eric Eide)

Prev by Date: [creduce-bugs] CReduce crash
Next by Date: [creduce-bugs] CReduce crash
Previous by thread: [creduce-bugs] CReduce crash
Next by thread: [creduce-bugs] CReduce crash
Index(es):
- Date
- Thread