Your message dated Wed, 17 Jun 2015 16:20:54 +0000 with message-id <E1Z5G58-00060d-4i@quantz.debian.org> and subject line closing ITP: klee -- symbolic virtual machine built on top of LLVM has caused the Debian Bug report #789057, regarding ITP: klee -- symbolic virtual machine built on top of LLVM 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 this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 789057: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789057 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: ITP: klee -- symbolic virtual machine built on top of LLVM
- From: Michael Tautschnig <mt@debian.org>
- Date: Wed, 17 Jun 2015 14:07:38 +0100
- Message-id: <[🔎] 20150617130738.GC13399@l04-3.local>
Package: wnpp Severity: wishlist Owner: Michael Tautschnig <mt@debian.org> * Package name : klee Version : 0.2.0 Upstream Author : Software Reliability Group at Imperial College London * URL : http://klee.github.io/ * License : UIUC open source license (BSD-like) Programming Lang: C++ Description : symbolic virtual machine built on top of LLVM KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: 1. The core symbolic virtual machine engine; this is responsible for executing LLVM bitcode modules with support for symbolic values. This is comprised of the code in lib/. 2. A POSIX/Linux emulation layer oriented towards supporting uClibc, with additional support for making parts of the operating system environment symbolic. Best regards, MichaelAttachment: pgpdAFipvYeHW.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
- To: 789057-done@bugs.debian.org
- Subject: closing ITP: klee -- symbolic virtual machine built on top of LLVM
- From: Bart Martens <bartm@quantz.debian.org>
- Date: Wed, 17 Jun 2015 16:20:54 +0000
- Message-id: <E1Z5G58-00060d-4i@quantz.debian.org>
Please retitle bug 576142 from RFP to ITP and set yourself as the owner.
--- End Message ---