Difference between revisions of "Tracer's gallery: PacMan game"

From WeizmannWiki
Jump to: navigation, search
(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...)
 
 
(One intermediate revision by one user not shown)
Line 2: Line 2:
  
 
Main view and overview:
 
Main view and overview:
 +
 
[[Image: mainviewandoverview.PNG]]
 
[[Image: mainviewandoverview.PNG]]
  
 
Filters:
 
Filters:
[[Image:Example.jpg]]
+
 
 +
[[Image: filters.PNG]]
  
 
Multiplicity:
 
Multiplicity:
[[Image:Example.jpg]]
+
 
 +
[[Image: multiplicity.PNG]]
  
 
Comparing traces:
 
Comparing traces:
[[Image:Example.jpg]]
+
 
 +
[[Image: comparemainview.PNG]]
  
 
Completion information:
 
Completion information:
[[Image:Example.jpg]]
+
 
 +
[[Image: completioninfo.PNG]]
  
 
Event-normalized view:
 
Event-normalized view:
[[Image:Example.jpg]]
+
 
 +
[[Image: eventnormalized.PNG]]

Latest revision as of 11:50, 18 October 2010

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 PacMan game.

Main view and overview:

Mainviewandoverview.PNG

Filters:

Filters.PNG

Multiplicity:

Multiplicity.PNG

Comparing traces:

Comparemainview.PNG

Completion information:

Completioninfo.PNG

Event-normalized view:

Eventnormalized.PNG