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

SCM Repository

[diderot] View of /trunk/src/compiler/gen/opt/test-rules
ViewVC logotype

View of /trunk/src/compiler/gen/opt/test-rules

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1484 - (download) (annotate)
Sun Sep 4 14:35:20 2011 UTC (9 years ago) by jhr
File size: 443 byte(s)
  Created a compiler/gen directory to hold code for the generation tools.  Moved
  compiler/IL/gen to compiler/gen/il and created compiler/gen/opt for Charisee's tool.
// some test rules

ProbeField(AddField(F,G),x)         => AddField(ProbeField(F,x), ProbeField(G,x));
ProbeField(SubField(F,G),x)         => SubField(ProbeField(F,x), ProbeField(G,x));
ProbeField(DotField (F,G),x)        => DotField(ProbeField(F,x), ProbeField(G,x));
ProbeField(ScaleField(s,F),x)       => ScaleField(s,ProbeField(F,x));
DiffField(DotField(F,G))            => AddField(DotField(DiffField(F),G), DotField(F, DiffField (G)));


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