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

Bug#266474: marked as done (ITP: cinterlang -- C program analysis and transformation (C Intermediate Language, CIL))

Your message dated Thu, 22 Sep 2005 17:17:47 -0600
with message-id <E1EIaK3-0006mq-00@merkel.debian.org>
and subject line WNPP bug closing
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Received: (at submit) by bugs.debian.org; 17 Aug 2004 22:37:56 +0000
>From jgb@debian.org Tue Aug 17 15:37:56 2004
Return-path: <jgb@debian.org>
Received: from gsyc064.dat.escet.urjc.es (gsyc.escet.urjc.es) [] (postfix)
	by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
	id 1BxCaa-0004Ag-00; Tue, 17 Aug 2004 15:37:56 -0700
Received: from bicho.casa.net (212.Red-80-24-39.pooles.rima-tde.net [])
	by gsyc.escet.urjc.es (Postfix) with ESMTP
	id 47C485C41E2; Wed, 18 Aug 2004 00:38:15 +0200 (CEST)
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: "Jesus M. Gonzalez-Barahona" <jgb@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: ITP: cinterlang -- C program analysis and transformation (C Intermediate
 Language, CIL)
X-Mailer: reportbug 2.60
Date: Wed, 18 Aug 2004 00:37:44 +0200
X-Debbugs-Cc: debian-devel@lists.debian.org
Message-Id: <20040817223815.47C485C41E2@gsyc.escet.urjc.es>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-9.5 required=4.0 tests=BAYES_10,HAS_PACKAGE,
	X_DEBBUGS_CC autolearn=ham version=2.60-bugs.debian.org_2004_03_25

Package: wnpp
Severity: wishlist

* Package name    : cinterlang
  Version         : 1.2.5
  Upstream Author : George C. Necula <necula@cs.berkeley.edu>, Scott McPeak <smcpeak@cs.berkeley.edu>, Wes Weimer <weimer@cs.berkeley.edu>, Ben Liblit <liblit@cs.berkeley.edu>
* URL             : http://manju.cs.berkeley.edu/cil/
* License         : BSD-like
  Description     : C program analysis and transformation (C Intermediate Language, CIL)

 CIL (C Intermediate Language) is a high-level representation along
 with a set of tools that permit easy analysis and source-to-source
 transformation of C programs. It is written in OCaml.
 CIL is both lower-level than abstract-syntax trees, by clarifying
 ambiguous constructs and removing redundant ones, and also
 higher-level than typical intermediate languages designed for
 compilation, by maintaining types and a close relationship with the
 source program. The main advantage of CIL is that it compiles all
 valid C programs into a few core constructs with a very clean
 semantics. Also CIL has a syntax-directed type system that makes it
 easy to analyze and manipulate C programs. Furthermore, the CIL
 front-end is able to process not only ANSI-C programs but also those
 using Microsoft C or GNU C extensions.

-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.6.3-1-686

Received: (at 266474-done) by bugs.debian.org; 22 Sep 2005 23:17:48 +0000
>From damog@merkel.debian.org Thu Sep 22 16:17:48 2005
Return-path: <damog@merkel.debian.org>
Received: from merkel.debian.org [] (mail)
	by spohr.debian.org with esmtp (Exim 3.36 1 (Debian))
	id 1EIaK4-00011C-00; Thu, 22 Sep 2005 16:17:48 -0700
Received: from damog by merkel.debian.org with local (Exim 3.36 1 (Debian))
	id 1EIaK3-0006mq-00; Thu, 22 Sep 2005 17:17:47 -0600
To: 266474-done@bugs.debian.org
Subject: WNPP bug closing
Message-Id: <E1EIaK3-0006mq-00@merkel.debian.org>
From: David Moreno Garza <damog@merkel.debian.org>
Date: Thu, 22 Sep 2005 17:17:47 -0600
Delivered-To: 266474-done@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02 
	(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-5.0 required=4.0 tests=BAYES_00,VALID_BTS_CONTROL 
	autolearn=no version=2.60-bugs.debian.org_2005_01_02


This is an automatic mail sent to close the ITP you have reported or 
are involved with.

Your ITP wnpp bug is being closed because of the following reasons:
- It is, as of today, older than 365 days.
- It hasn't had any activity recently.

As this an automatic procedure, it could of course have something
wrong and probably it would be closing some bugs that are not 
intended by owners and submitters (like you) to be closed, for
example if the ITP is still of your interest, or there has been 
some kind of activity around it. In that case, please reopen the
bug, do it, DO IT NOW! (I don't want to be blamed because of
mass closing and not let people know that they can easily reopen
their bugs ;-).

To re-open it, you simply have to mail control@bugs.debian.org
with a body text like this:

reopen 266474
thanks bts

Further comments on the work done in the bug sent to
266474@bugs.debian.org would be truly welcomed.
Anyway, if you have any kind of problems when dealing with
the BTS, feel free to contact me and I'd be more than happy to help
you on this: <damog@debian.org>.

This is the second massive wnpp closing that is being done. The next close
will be done on inactive ITPs older than 365 days and finally, an automatic
script will close, by default, *inactive* ITPs when they reach one year of

A similar process is being applied to other kind of wnpp bugs.

Thanks for your cooperation,

 -- David Moreno Garza <damog@debian.org>  Thu, 22 Sep 2005 17:06:42 -0500

Reply to: