<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Recent changes to bugs</title><link>https://sourceforge.net/p/cvtk/bugs/</link><description>Recent changes to bugs</description><atom:link href="https://sourceforge.net/p/cvtk/bugs/feed.rss" rel="self"/><language>en</language><lastBuildDate>Mon, 30 Jul 2001 00:34:09 -0000</lastBuildDate><atom:link href="https://sourceforge.net/p/cvtk/bugs/feed.rss" rel="self" type="application/rss+xml"/><item><title>pointer error while matching history</title><link>https://sourceforge.net/p/cvtk/bugs/2/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;in class CHistoryMatching:&lt;br /&gt;
when using the resolver to match some found instances &lt;br /&gt;
of the same template: if it's neccessary to delete &lt;br /&gt;
more than one history, the deletion loop may produce &lt;br /&gt;
an erase on a bad pointer (due to pointers to inner &lt;br /&gt;
structure of the history vector!!!)&lt;/p&gt;
&lt;p&gt;historylist&lt;br /&gt;
p1-&amp;amp;gt;      a&lt;br /&gt;
p2-&amp;amp;gt;      b&lt;/p&gt;
&lt;p&gt;if the history list is implemented using a vector, and &lt;br /&gt;
is erased first, p2 is definetly invalid!&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Sascha Lange</dc:creator><pubDate>Mon, 30 Jul 2001 00:34:09 -0000</pubDate><guid>https://sourceforge.neteefa2737f641031946add3d23fad285352f1a889</guid></item><item><title>DELETE_AFTER_MATCH option buggy</title><link>https://sourceforge.net/p/cvtk/bugs/1/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;Using the DELETE_AFTER_MATCH option of the template&lt;br /&gt;
matching algorithm causes the algoritm to miss some&lt;br /&gt;
areas. Some matches remain undetected!&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Anonymous</dc:creator><pubDate>Mon, 16 Jul 2001 14:40:21 -0000</pubDate><guid>https://sourceforge.net7640dc5ec16e5ef2ca8232193a9b4c72157d87c4</guid></item></channel></rss>