BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:-//Mozilla/Bugzilla 3.6.1//EN
VERSION:2.0
BEGIN:VTODO
DTSTART:20090331T154430Z
SUMMARY:implement timeout for external solver
UID:217%40http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2F
URL;VALUE=URI:http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2Fshow_bug.cg
 i%3Fid%3D217
STATUS:NEEDS-ACTION
DTSTAMP:20130519T194455Z
PRIORITY:5
X-BUGZILLA-PRODUCT:satchmo
END:VTODO
BEGIN:VTODO
DTSTART:20090401T092940Z
SUMMARY:optimized-away variables must still be assigned
UID:219%40http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2F
URL;VALUE=URI:http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2Fshow_bug.cg
 i%3Fid%3D219
STATUS:NEEDS-ACTION
DTSTAMP:20130519T194455Z
PRIORITY:5
X-BUGZILLA-PRODUCT:satchmo
END:VTODO
BEGIN:VTODO
DTSTART:20110617T091608Z
SUMMARY:Wrong decoding of first bit (Yices backend)
UID:259%40http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2F
URL;VALUE=URI:http%3A%2F%2Fdfa.imn.htwk-leipzig.de%2Fbugzilla%2Fshow_bug.cg
 i%3Fid%3D259
STATUS:NEEDS-ACTION
DTSTAMP:20130519T194455Z
PRIORITY:5
X-BUGZILLA-PRODUCT:satchmo
END:VTODO
END:VCALENDAR