Debian Bug report logs - #633762
RFP: csmith -- random generator of C programs

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: Peter Pentchev <roam@ringlet.net>

Date: Wed, 13 Jul 2011 13:54:05 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, roam@ringlet.net, debian-devel@lists.debian.org, wnpp@debian.org:
Bug#633762; Package wnpp. (Wed, 13 Jul 2011 13:54:08 GMT) Full text and rfc822 format available.

Acknowledgement sent to Peter Pentchev <roam@ringlet.net>:
New Bug report received and forwarded. Copy sent to roam@ringlet.net, debian-devel@lists.debian.org, wnpp@debian.org. (Wed, 13 Jul 2011 13:54:08 GMT) Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Peter Pentchev <roam@ringlet.net>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: csmith -- random generator of C programs
Date: Wed, 13 Jul 2011 15:04:35 +0300
[Message part 1 (text/plain, inline)]
Package: wnpp
Severity: wishlist
Owner: Peter Pentchev <roam@ringlet.net>

* Package name    : csmith
  Version         : 2.0.0
  Upstream Author : Xuejun Yang <jxyang@cs.utah.edu>,
                    Yang Chen <chenyang@cs.utah.edu>,
		    Eric Eide <eeide@cs.utah.edu>,
		    John Regehr <regehr@cs.utah.edu>
* URL             : http://embed.cs.utah.edu/csmith/
* License         : BSD-2
  Programming Lang: C++
  Description     : random generator of C programs

Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. Thus, it is useful for
stress-testing compilers, static analyzers, and other tools that
process C code.
[signature.asc (application/pgp-signature, inline)]

Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Peter Pentchev <roam@ringlet.net>:
Bug#633762; Package wnpp. (Wed, 13 Jul 2011 22:21:07 GMT) Full text and rfc822 format available.

Acknowledgement sent to Michael Tautschnig <mt@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Peter Pentchev <roam@ringlet.net>. (Wed, 13 Jul 2011 22:21:07 GMT) Full text and rfc822 format available.

Message #10 received at 633762@bugs.debian.org (full text, mbox):

From: Michael Tautschnig <mt@debian.org>
To: Peter Pentchev <roam@ringlet.net>, 633762@bugs.debian.org
Subject: Re: Bug#633762: ITP: csmith -- random generator of C programs
Date: Wed, 13 Jul 2011 23:08:05 +0100
[Message part 1 (text/plain, inline)]
Hi Peter,

[...]
>   Description     : random generator of C programs
> 
[...]

May I suggest to word this "generator of random C programs" or "random C program
generator"? 

Thanks a lot for considering this program, I'm looking forward to seeing it in
Debian!

Best,
Michael

[Message part 2 (application/pgp-signature, inline)]

Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Peter Pentchev <roam@ringlet.net>:
Bug#633762; Package wnpp. (Mon, 27 May 2013 13:39:06 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Peter Pentchev <roam@ringlet.net>. (Mon, 27 May 2013 13:39:06 GMT) Full text and rfc822 format available.

Message #15 received at 633762@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 633762@bugs.debian.org
Cc: control@bugs.debian.org
Subject: csmith: changing back from ITP to RFP
Date: Mon, 27 May 2013 15:24:24 +0200
retitle 633762 RFP: csmith -- random generator of C programs
noowner 633762
tag 633762 - pending
thanks

Hi,

This is an automatic email to change the status of csmith back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 12 months.

If you are still interested in adopting csmith, please send a mail to
<control@bugs.debian.org> with:

 retitle 633762 ITP: csmith -- random generator of C programs
 owner 633762 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <633762@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>



Changed Bug title to 'RFP: csmith -- random generator of C programs' from 'ITP: csmith -- random generator of C programs' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 27 May 2013 14:04:09 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Peter Pentchev <roam@ringlet.net>. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Mon, 27 May 2013 14:04:10 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Sat Apr 19 23:49:41 2014; Machine Name: beach.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.