Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/test/iso2d.diderot
ViewVC logotype

Diff of /branches/pure-cfg/test/iso2d.diderot

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1101, Wed May 4 20:52:56 2011 UTC revision 1102, Wed May 4 20:55:19 2011 UTC
# Line 48  Line 48 
48      }      }
49  }  }
50    
51  initially [ sample(ui, vi) | vi in 0..(gridSize-1), ui in 0..(gridSize-1) ];  initially { sample(ui, vi) | vi in 0..(gridSize-1), ui in 0..(gridSize-1) };

Legend:
Removed from v.1101  
changed lines
  Added in v.1102

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0