Improvements to the replaceOutEdge and added RHS.vars

  Create RHS substructure in SSAFn functor

  A lot of changes to better handle variable scoping etc.

  Added standard method names to BasisNames module

  Added Node.uses and Node.defs to SSAFn functor

  Add support for strand-local field variables.

  Working on value-numbering optimization

  Overhaul in the way that the MidIL and LowIL represent tensor types (especially
  for orders > 1).  We still need to deal with the flattening of tensor-value
  construction

  Added mechanism for supporting "black box" functions (e.g., sin and sqrt).
  Also added atan2, sqrt, and tan functions to Basis

  Bug fix: better CFG editing

  Added support for tracking output state variables through ILs and generating
  a print function in the C target.

  Started to add field normalization code to high-opt

  Switch to compiler-generated initially code.

  Since initially only supports rectangular-shaped iteration, we can lift the range
  computation outside the iterations.  This allows us to determine the dimensions and
  to change the order of loop nesting.

  Adding support for initially to IL.  Also factored out more common code from
  high-to-mid and mid-to-low into translate-fn.sml

  Fixed bug in construction of CFG.  The order of predecessors was backwards

  Working on code generation

  Adding documentation

  Working on code generation

  Many changes to IL operators for fields and images.

  Debugging new IL

  Debugging new IL

  Debugging new IL

  Debugging new IL

  Working on porting to new IL

  Change "actor" to "strand"

  Working on porting to new IL

  Working on porting to new IR

  Working on porting to new IL

  Porting code to new IL

  Fixing type errors

  Added splice implementation

  Fixing type errors

  Working on pure CFG representation

  Creating a branch to explore a pure CFG IL

  Working on codegen

  Upated URL in header to diderot-language.cs.uchicago.edu

  Better error messages

  Working on IL checking

  Added types to IL variables

  Moving IL types out of the Op structures into their own per-IL structures.

  Working on optimization and translation

  Added HighIL to MidIL translation phase

  Working on high to mid translation

  Working on translation functor

  working on translation

  Adding new file for translation support

  Implementing the census functor

  comments

  Added newProp and newFlag functions for nodes, stmts, and vars

  Added ForwardDFAFn functor

  New version of IL with translation to HighIL and pretty printing.

  Added Var substructure to SSAFn

  Starting to add utility code for SSA representations

  Working on translation to HighIL

  Working on translation to IL

  Working on translation to IL

  Working on IL representation

  Switch the translate code to take simple AST as its input type

  Working on translation to HighIL

  Working on IR

  Parameterize the SSA representation over the operators

  New file