search for: 2012.1

Perhaps some of you might be interested in this: -- Carsten ################################################################## *---------------------------------------------------* * LLBMC: The Low-Level Bounded Model Checker * * for C (and C++) programs is now available! * * Version 2012.1 * *

Processing commands for control at bugs.debian.org: > found 661231 1:3.22+dfsg1-2 Bug #661231 [isdnlog] isdnlog: unowned files after purge (policy 6.8) violating FHS (policy 9.1) too Bug #331116 [isdnlog] isdnlog: fails to purge Marked as found in versions isdnutils/1:3.22+dfsg1-2. Marked as found in versions isdnutils/1:3.22+dfsg1-2. > found 527067 1.4.15+nmu2 Bug #527067

This looks very interesting. Do you plan to make the source code publicly available? -Hal On Tue, 2012-02-07 at 01:58 +0100, Carsten Sinz wrote: > Perhaps some of you might be interested in this: > -- Carsten > > > > > ################################################################## > > > *---------------------------------------------------* > *

On Tue, Feb 7, 2012 at 4:58 AM, Carsten Sinz <carsten.sinz at kit.edu> wrote: > Perhaps some of you might be interested in this: > -- Carsten > > > ################################################################## > > *---------------------------------------------------* > * LLBMC: The Low-Level Bounded Model Checker * > * for C (and C++)

Processing commands for control at bugs.debian.org: > # bts housekeeping - fixing up versions to enable automatic bug archival > notfound 706747 3.2p1.4-28.1 Bug #706747 {Done: Andreas Beckmann <anbe at debian.org>} [olvwm] olvwm: fails to install [i386]: update-alternatives: error: alternative path /usr/bin/X11/olvwm-x-window-manager doesn't exist. There is no source info for the