<?xml version="1.0"?>
<?xml-stylesheet type="text/css" href="https://wiki.weizmann.ac.il/playgo/skins/common/feed.css?303"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://wiki.weizmann.ac.il/playgo/index.php?action=history&amp;feed=atom&amp;title=PacMan_game</id>
		<title>PacMan game - Revision history</title>
		<link rel="self" type="application/atom+xml" href="https://wiki.weizmann.ac.il/playgo/index.php?action=history&amp;feed=atom&amp;title=PacMan_game"/>
		<link rel="alternate" type="text/html" href="https://wiki.weizmann.ac.il/playgo/index.php?title=PacMan_game&amp;action=history"/>
		<updated>2026-06-25T13:25:44Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.22.4</generator>

	<entry>
		<id>https://wiki.weizmann.ac.il/playgo/index.php?title=PacMan_game&amp;diff=244&amp;oldid=prev</id>
		<title>Shahar.maoz: New page: The scenario-based execution traces for the examples below were generated for the Tracer using the S2A compiler.  The program traced for the examples below is adopted from a public...</title>
		<link rel="alternate" type="text/html" href="https://wiki.weizmann.ac.il/playgo/index.php?title=PacMan_game&amp;diff=244&amp;oldid=prev"/>
				<updated>2010-10-17T21:04:09Z</updated>
		
		<summary type="html">&lt;p&gt;New page: The scenario-based execution traces for the examples below were generated for &lt;a href=&quot;/playgo/index.php?title=The_Tracer&quot; title=&quot;The Tracer&quot;&gt;the Tracer&lt;/a&gt; using the &lt;a href=&quot;/playgo/index.php?title=S2A&quot; class=&quot;mw-redirect&quot; title=&quot;S2A&quot;&gt;S2A&lt;/a&gt; compiler.  The program traced for the examples below is adopted from a public...&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;The scenario-based execution traces for the examples below were generated for [[the Tracer]] using the [[S2A]] compiler.  The program traced for the examples below is adopted from a publicly available Java implementation of the classic [http://www.bennychow.com/ PacMan game].&lt;br /&gt;
&lt;br /&gt;
Main view and overview:&lt;br /&gt;
[[Image:Example.jpg]]&lt;br /&gt;
&lt;br /&gt;
Filters:&lt;br /&gt;
[[Image:Example.jpg]]&lt;br /&gt;
&lt;br /&gt;
Multiplicity:&lt;br /&gt;
[[Image:Example.jpg]]&lt;br /&gt;
&lt;br /&gt;
Comparing traces:&lt;br /&gt;
[[Image:Example.jpg]]&lt;br /&gt;
&lt;br /&gt;
Completion information:&lt;br /&gt;
[[Image:Example.jpg]]&lt;br /&gt;
&lt;br /&gt;
Event-normalized view:&lt;br /&gt;
[[Image:Example.jpg]]&lt;/div&gt;</summary>
		<author><name>Shahar.maoz</name></author>	</entry>

	</feed>