<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/css" href="http://www.haskell.org/wikistatic/skins//common/feed.css?116"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
	<channel>
		<title>Applications and libraries/Hardware verification - Revision history</title>
		<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;action=history</link>
		<description>Revision history for this page on the wiki</description>
		<language>en</language>
		<generator>MediaWiki 1.12.0</generator>
		<lastBuildDate>Fri, 24 May 2013 03:28:57 GMT</lastBuildDate>
		<item>
			<title>Lenny222: the link http://funhdl.org/wiki/doku.php/atom points to advertisemnt only</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=34140&amp;oldid=prev</link>
			<description>&lt;p&gt;the link http://funhdl.org/wiki/doku.php/atom points to advertisemnt only&lt;/p&gt;
</description>
			<pubDate>Thu, 18 Mar 2010 12:52:29 GMT</pubDate>			<dc:creator>Lenny222</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>AlfonsoAcosta at 12:00, 30 September 2008</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=23183&amp;oldid=prev</link>
			<description>&lt;p&gt;&lt;/p&gt;
</description>
			<pubDate>Tue, 30 Sep 2008 12:00:38 GMT</pubDate>			<dc:creator>AlfonsoAcosta</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>Bart Massey: last fixes</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=23045&amp;oldid=prev</link>
			<description>&lt;p&gt;last fixes&lt;/p&gt;
</description>
			<pubDate>Mon, 22 Sep 2008 00:32:35 GMT</pubDate>			<dc:creator>Bart Massey</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>Bart Massey: marked Hawk link dead; moved Chortl to alphabetical order</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=23044&amp;oldid=prev</link>
			<description>&lt;p&gt;marked Hawk link dead; moved Chortl to alphabetical order&lt;/p&gt;
</description>
			<pubDate>Mon, 22 Sep 2008 00:30:37 GMT</pubDate>			<dc:creator>Bart Massey</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>Bart Massey: added Chortl</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=23043&amp;oldid=prev</link>
			<description>&lt;p&gt;added Chortl&lt;/p&gt;
</description>
			<pubDate>Mon, 22 Sep 2008 00:26:31 GMT</pubDate>			<dc:creator>Bart Massey</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>MarcWeber: added link to Lava for Xilinx</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=21731&amp;oldid=prev</link>
			<description>&lt;p&gt;added link to Lava for Xilinx&lt;/p&gt;
</description>
			<pubDate>Fri, 11 Jul 2008 11:26:53 GMT</pubDate>			<dc:creator>MarcWeber</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>Tomahawkins at 18:57, 3 May 2007</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=12835&amp;oldid=prev</link>
			<description>&lt;p&gt;&lt;/p&gt;
</description>
			<pubDate>Thu, 03 May 2007 18:57:38 GMT</pubDate>			<dc:creator>Tomahawkins</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>ARG: Libraries and tools/Hardware verification moved to Applications and libraries/Hardware verification</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=12786&amp;oldid=prev</link>
			<description>&lt;p&gt;Libraries and tools/Hardware verification moved to Applications and libraries/Hardware verification&lt;/p&gt;
</description>
			<pubDate>Wed, 02 May 2007 18:32:47 GMT</pubDate>			<dc:creator>ARG</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>DonStewart: fmt</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=8913&amp;oldid=prev</link>
			<description>&lt;p&gt;fmt&lt;/p&gt;
</description>
			<pubDate>Wed, 06 Dec 2006 02:44:09 GMT</pubDate>			<dc:creator>DonStewart</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
		<item>
			<title>DonStewart: + a digital circuit simulator</title>
			<link>http://www.haskell.org/haskellwiki/index.php?title=Applications_and_libraries/Hardware_verification&amp;diff=3349&amp;oldid=prev</link>
			<description>&lt;p&gt;+ a digital circuit simulator&lt;/p&gt;
</description>
			<pubDate>Thu, 30 Mar 2006 06:07:48 GMT</pubDate>			<dc:creator>DonStewart</dc:creator>			<comments>http://www.haskell.org/haskellwiki/Talk:Applications_and_libraries/Hardware_verification</comments>		</item>
	</channel>
</rss>