making copyrights consistent for all code in the repository

merge vis12+fem+ein

added various support for mesh rep. from start to finish

added meshPtr to IR

creating a copy of branch of vis12

  We seem to need to include "-pthread" in the linking phase on Linux; not sure
  how it used to work (maybe a change in the compiler?)

  merging in changes from OpenCL branch and adding some more support
  for the initially method

  added "continue" statement inside the update method.  The effect is to exit
  the method, but to leave the strand active (unlike die and stabilize).

  fixed type error in CheckHighIL

  minor edits

  Fixed confusion between tensor[1] and tensor[] when testing Inside of 1D field.

  minor changes to make code more consistent with trunk

  Merging in name reorganization changes from OpenCL branch

  fix header comment

  detabbing

  Hack to avoid freeing images multiple times when border control is being used.

  bug fixing for border control

  adding runtime code for clamp, mirror, and wrap

  working on border control

  working on border control

  detabbing

  scheduling fix

  Fix bug in generated input functions

  fix a bug where the border control code was confused by input images

  detabbing

  tweaks to synchronization code

  fixing a bug in the initialization of the parallel world

  adding some missing timing code

  finish implementation of nan tensor support

  adding some runtime support for border control

  merging the input-handling code from the OpenCL branch.

  add missing case

  merging support for Lamont's syntax into vis12 branch

  push version flag to all active branches

  detabbing

  working on border control

  working on border controls

  beginning to add support for NaN tensors.

  working on border control

  working on border control

  working on border control for images

  implementation toto notes

  add missing IL checking pass

  pushing the ImageDim operator through the ILs

  working on image border controls

  fixed a bug in addPred.

  remove deprecated source code from simplify phase

added consistency checking of CFG edges

fixed bug in IL.CFG.deleteNode

  added missing handler for TypeError exception

  adding image border-controls to basis

  added size function to basis; still needs implementation in later phases

  Finish support for redirecting output

  Added short/long option forms

  Working on output redirection

  fix printing of "if then else if ..."

  working on output redirection

  working on support for output redirection

  detabbing

  Fixed bug010 (unreachable control-flow nodes) by adding edges from EXIT nodes to JOINS
  and masking out the RHS of PHI nodes.

  new unreachable code pruning; checks for missing strands/initially (the parser prevents
  these errors currently, but future language evolution may change that)

  Added Slide operator to Mid and Low ILs

  detabbing

  Fixing some lingering issues with globals and inputs.

  fixing some regressions

  cleanup and detabbing

  Fix for bug 019 (allowing richer initializers for input globals).

  Changes from vis12-cl branch; detabbing

  adding file from vis12-cl branch

  Fix bug in shutdown fragment; proper tracking of HasGlobals property

  detabbing; some changes from vis12-cl branch

  Fixed bug 031

  new version of the Variable Analysis phase.  This mostly fixes bug 031, but
  there are still some C code generation issues that may (or may not) be
  related, so I'm not closing it yet.

  fixed a bug in the global promotion code

  working on globals

  Working on globals; split input initialization from the rest of
  global initialization in the SSA IL.

  Working on globals

  working on globals

  Working on representing globals as their own type in the SSA and Tree ILs.

  working on global translation

  Working on splitting out the representation of globals from local variables

  merging some changes from the vis12-cl branch

  Fix for bug013; it is now a type error to declare non-value-type strand variables.

  fix global-variable prefix for inputs

  Fix bug018 in a different place.

  Working on the fallout from fixing bug018

  Fixed bug018 (conflicts with C reserved words).  Also fixed issues for programs
  that do not define global or input variables.

  get rid of redundant name (globalTy) for globalsTy in code generator

  Fix for bug018

  Some minor changes from the stage branch

  tab expansion

  Fix bug022 (empty sequence not supported yet)

  Merging changes from vis12-cl branch.

  Better error checking for input initialization; removed Status_t type (just use bool
  for return status with true ==> error, false ==> ok)

  Merging some changes from the vis12-cl branch and fixing an issue with the
  dynamic sequence inputs.

  Fix for bug009; this change requires updating to SML/NJ 110.77.

  fix comment

  more accurate description of command-line options when "-h" is given

  add erfc to the supported math functions

  Add exp and erf as math functions.

  Fixed bug034 (issues with unused variable tracking)

  tab expansion

  Fixed normalization of 3D curl.

  additional debugging support.

  fix bookkeeping for unused variable elimination

  Added unused variable warnigns

  Working on unused variable warnings

  Starting to add support for detecting unused and shadowed variables.

  Remove extra newline when printing statement comments.

  revolved bug001 (unused inputs getting removed) by marking the Input operation
  as not pure.

  minor formatting edits

  tab conversion

  Fixed bug030 (problem with inlining functions whose bodies were conditionals)

  Resolved bug 023

  Working on a fix for bug023

  minor fix for dynamic sequences

  some minor fixes for dynamic sequences

  merging in new SimpleAST representation from stage

  Fix configuration (and INSTALL) to require SML/NJ 110.75.

  Added "make install" target and updated INSTALL documentation.

  Modify compiler to dynamically determine the intall location of the Diderot
  libraries and include files.  This feature will allow the diderot compiler
  to be installed in places other than where it is built.

  Added support for DIDEROT_TEEM_DIR environment variable.

  remove debug timing from forward DFA.

  Replace dnorm with the new "unu dnorm" command from teem.  We also dynamically
  search for teem so that the location of teem at runtime can be different from
  the location of teem at compile time.

  removed OpenCL specific VSUB macros, since they are not used.

  fix type error

  Code cleanup

  Bug fix: allow multiple output variables

  merging in changes from Lamont's branch.

  Change CFLAG_C64 to CFLAG_MXX

  changes from trunk (e.g., 32-bit support)

  detabbing files

  Fix bug024 (sequence append/prepend of expressions).

  Fixed bugs026 and bugs027.

  fix bookkeeping bug when deleting CFG nodes in VN

  added missing Diderot_DynSeqPrepend function (bug025)

  code cleanup

  Add support for matrix transpose.  Note that the runtime currently only
  supports transpose for 2x2, 3x3, and 4x4 matrices.

  Prune types when converting to SimpleAST and a better exception message.

  detabbing

  port bug fix from Lamont's branch

  Temporary fix for sequences.  Still need to handle memory management properly.

  Do not eliminate effectful operators

  added operator purity property

  tab expansion

  Subscript for dynamic sequences

  grammar cleanup and tab expansion

  tab expansion

  Working on support for empty sequences

  minor changes

  Fix for bug020 (updating of globals using the +=, etc. should not be allowed).

  bug fix (bug016): forgot to prune out metavariables when inspecting the type
  of a E_Cons element.

  Check for errors in initialization for stand-alone executables.

  bug fixes for nrrd loading

  fix type of dimensions array for loading nrrds

  Typecheck strand creation.

  code cleanup

  Use the RewriteFn functor for the MidIL contraction phase.  Also added some arithmetic
  optimizations.

  added comment

  Factor out the rewriting iteration strategy from the rewriting rules.

  Added some more rewriting for curl.

  resolved bug011

 Fix the typing of Slice.

  Fix issues in bug012.diderot.

  Fixed issue with scaling scalar fields.

  Added support for field +/- scalar and scalar +/- field expressions.

  Removed obsolete comment

  Fix uncaught exception when attempting to match argument types.

  Add support for "poor man's" curl (2D and 3D).

  Minor cleanup

  Fix the handling of function parameters to allow them to shadow previous declarations (bug005).

  Fixed multiple printing of warning messages

  Fixed typo

  Add comprehensive checking for bad control flow to the typechecker.

  Handle pruning of code following if-then-else.

  minor code cleanup

  Add check that strands have at least one output variable.

  Fixed it so that type errors are no longer reported as uncaught exceptions.  Note that we
  still only handle one error at a time.

  Allow programs without any global variables

  Fixed bug in the way that unreachable code was being pruned.

  Fix how globals are handled when inlining variables

  Added function inliner to simplify phase.

  Prune unreachable statements (we need this so that inlining is correct)

  Fixed type error

  starting work on inliner

  Working on functions.  Added to Simple AST representation.

  Bug fix: sequence dimensions are not limited to 1..3!

  Added parsing and typechecking support for user-defined functions

  Fix the handling of vector inputs.

  when integer literals are promoted to real, convert the literals instead of
  putting a type coercion into the AST.

  updates to CLang support.

  Fix prettyprinting of C code.

  minor edit to comment

  making size info available to the compiler

  Added Diderot_DefaultCLDevice function prototype.

  code cleanup

  Fixed the handling of variable names for the self and global parameters.

  Add no-bsp support for sequential execution and some minor code tweaks

  adding properties file

  More optimization of the case when we do not need BSP semantics (plus some
  cleanup)

  added flag to force BSP semantics even when the program would allow a faster implementation

  Optimize case where no barrier synchronization is required in parallel implementation.

  Pass program properties to target-specific code generator

  Added clinfo command-line tool

  Fix for linking on Linux

  Fixed memory management bug and added const specifiers.

  Fix some warnings

  Working on inputs

  working on input support cleanup

  fix high to mid translation to handle image inputs

  Added support for image and sequence input globals

  more work on inputs

  Working on sequence loading code generation.

  Working on image and sequence inputs for libraries

  Allow images as inputs

  Working on input handling

  Working on input initialization

  get the axis kinds right for output nrrds

  Added nrrdKindUnknown

  Add nrrdKindDomain to supported axis kinds

  working on inputs

  Working on handling sequences and images as inputs

  Fix check on nrrd file when loading a dynamic sequence

  Check for errors when loading dynamic sequences.

  better rutime error message formatting

  Working on dynamic sequence loading

  Working on sequence loading

  added placeholder

  dynamic sequence, etc. support

  working on inputs etc

  working on sequences, etc.

  Working on dynamic sequences

  working on nrrd inputs

  minor code cleanup

  adding missing support for dynamic sequence subscripting

  better printing

  fixed bug in typechecker

  Working on inputs

  include inputs in prettyprinting.

  working on inputs

  code fragment for input initialization translation

  working on inputs

  More work on input

  Working on inputs, dynamic sequences, etc.

  Working on inputs

  Added support for images w/o proxies.

  Working on dynamic sequence loading

  adding missing sources.cm file

  more work on dynamic sequence loading

  Working on dynamic sequence loading

  Working on dynamic sequence loading

  Moved nrrd support into its own directory

  working on dynamic sequence support

  Eliminate use of polyequal

  Working on dynamic sequence loading

  Working on dynamic sequence loading

  Working on dynamic sequences

  replace delta with tau

  Adding lexing support for using some lowercase greek letters in identifiers

  update TODO list

  Fix a few type errors, etc.

  Working on sequence loading

  Fix missing promotion cases

  Bug fixes for int to real promotion

  Implementing int -> real promotion

  Add log2 function

  add ToWorldSpace3x3x3 function

  Fleshing out various features, such as ":" and 3rd-order tensor support

  Added support for ":" operator on dimension 3 tensors/matrices and fixed bugs in the
  dimension 2 case.

  Added checking code for ColonMul operator.

  Fix missing piece for c4hexic support

  Added c4hexic kernel and some support code to make it easier to generate
  the kernel coefficients

  preparing to add c4hexic kernel

  Working on ":" support

  Added support for vec6 type and beginning of support for ":" operator.
  Also fixed some bugs.

  Minor edits ported from trunk

  Fix "dof" ==> "dot"

  Add support for 3rd-order tensor norm and fix issues with tensor/vector multiply

  Switch to using "image" to load images (instead of "load").

  Added length function on dynamic sequences

  Changed "ln" function to "log"; added "acos", "asin", and "atan" functions; restructured
  the way that C math functions are handled in the compiler.

  Fixes to tracking of number of active strands

  Fix loop termination condition

  Add support for snapshots

  port changes from trunk (addition of fmod, ln, and log10).

  fix bug in dynamic sequence append

  Fix bug where iteration variables were not handled correctly when used in non-trivial
  strand creation expressions.

added -s and -c options

  Some cleanup in the freeing code

Fixed memory leaks.

Fixed bug with error reporting code.

  Switch to using a biffMsg struct to record errors in the world.

  Clear out unused suffixes in Makefile

  Fix copy code for reals and vectors

  Bug fix for copyToC.

  Move Strand substructure to before Program structure

  more makefile edits

  minor change to makefile

  cleanup some FIXMEs

  Add global input registration support for standalone executable

  Add support for setting the number of workers for the parallel target

  porting new OpenCL configuration from trunk

  bug fixing for parallel target

  Fix comment

  Working on support for parallel target

  initialization of scheduler structure

  Adding support for parallel target in library mode

  Fix typo.

  Working on support for parallel target

  Cleaning up the header files; support C++ as application language.

  adding finer-grain phase timers

  minor cleanup

  Clean up the handling of translation from TreeIL types to C types.  There are two cases:
  translating to the external C API amd translating to the internal Diderot types.

  Remove const from Diderot string typedef.

  Working on factoring out the generation of code to translate between the internal
  Diderot representation of types (e.g., Diderot_vec3_t) and the external C API
  (e.g., float[3]).

  Update comment

  factor out input/output names into RuntimeNames module and change
  naming scheme

  Remove setBindings, since the smart constructors take care of this.

  Correct minor typos

  Change convention for naming inputs and outputs

  Fix grammar error that did not allow negative numbers as initializers

  Fixe some type errors in generated code.

  Added support for setting image inputs from nrrd objects; better propogation of
  errors; better use of world err field for error messages.

  Working on input support

Completed 'vector * rank 3 tensor' functions.

  Working on input variable support

  Drop data axis n output nrrd when data is scalar

  added tensor times vector code

  Add support for building 3rd order tensors

  Fix error in type names and include inline-tensor3.h in diderot.h

  Generalize probing to handle higher-order tensors

  added TODO comments

  Rewrite of nrrd code to handle a single data axis for tensor data (and no axis for
  scalar data)

  Output functions now use a single axis for data and set the axis kind field of the nrrd.

  more work on nrrd file formats

  Working on supporting nrrd file formats

  Minor debugging tweaks

  Bug fix: incorrect dominance tree was being constructed when the join of an if
  was also the then or else branch.

  Working on better axis support for dnorm

  Switch to using PathUtil.findExe

  Working on standalone executables

  Working on standalone executable support

  minor cleanup to main fragments

  Code cleanup

  Bug fix: the CFG was not getting constructed correctly in certain
  situations.

  Fix issue with non-deterministic behavior

  Bug fix: matrix assignment when rhs is state variable

putting declaration at beginning of block

hadn't correctly zero-ed out existing space in case of trivialOrient

added -to option

  a bit more work on standalone executables

  Starting to add support for standalone executables

  Bug fix for output

  Preliminary library support for dynamic sequences.

add log message

  Fixed typo

  change back to using the same runtime for both libraries and standalone executables

  Working on library support

  bugfix

  Working on library support; made iso2d-polyline into a library test case

  Working on library support

  Working on library support

  Working on library support

  Add rules for generating more fragment files

  Add fragments for sequential and parallel main functions, which will be used
  to generate standalone executables

  Working on library support

  Working on library support

  Working on library support

  Fixing bugs in generated code

  Working on library generation

  Working on library support

  Fix substitutions

  Finished coding output generation support

  Finished up coding of dynamic sequence output generation

  more work on output generation

  Working on output generation

  Working on code to generate get output library functions

  more work on library support

  Working on library support

  Working on adding library support to compiler

  generate fragment files

  add D_Proto to the CLang module

  Working on library and output generation

  Fragments for the generated header file

  working on vis paper stuff

  Update instructions

  Working on 3rd-order tensor support

  In preperation of making library generation the default, I'm adding
  a flag for specifying that the target is a standalone executable

  Working on new approach for output

  Working on dynamic sequences.

  Working on dynamic sequence support

  pushing dynamic sequences through the compiler

  More work on dynamic sequences.

  Working on support for dynamic sequences; also adding support for type coercions.

  Create a branch to implement things that we need for the Vis 2012 paper

  Porting changes from opencl branch

  Merging changes from pure-cfg branch back into trunk

  Merging in changes from pure-cfg branch.

  Added "-o" option to compiler

  Minor syntax editing

  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.

  Fix comment

  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

  Port bugfix from pure-cfg branch

  Remove CL from compiler

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  merging changes from pure-cfg

  added some debugging code

  Fixed bug in translating mehods with a conditional as their entire body
  (e.g., lic2.diderot example).

  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

  Adding support for assignment operators to the trunk.

  Added support for clamp to trunk

const-correctness on me

const-correctness on argv

  Porting many changes from the pure-cfg branch, including value numbering
  and support for parallel execution on SMP systems.

First go at a parallel runtime

  Don't generate a log file unless -log is specified

  Redirect output to log file.

  Added missing printing of initial strand creation to TreeILPP

  porting changes from development branch

  Port updates from development branch to support die.

  Final merges from pure-cfg branch

  more merging of pure-cfg changes back into trunk

  More merging of pure-cfg back into trunk

  Starting to merge pure-cfg changes back into trunk

  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

  Added additional operations on fields (F+F, F-F, sF, Fs, F/s)

  Fixed typos

  Fix typos

  Working on mid-to-low translation

  Working on MidIL to LowIL translation

  Working on MidIL to LowIL translation

  Added fromDigits function

  Added explode function

  Working on mid-to-low translation

  Working on Mid to Low translation

  Working on LowIL

  Working on low-il

  Working on codegen

  Working on codegen

  Working on coed generation

  Minor edit

  Working on code generator API

  Change name of MidIL Transform operator to PosToImgSpace.  Also added GradToWorldSpace operator to MidIL.

  Added comments about SSE

  Working on C version of MIP

  Clarify description of simplify

  Add Diderot_Mat types

  added InvertTranspose operation

  Bug fix: change + to *

  Working on runtime

  More runtime work

  Working on Diderot runtime

  Working on C version of runtime

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

  Beginnings of code generation infrastructure

  fix comment

  Starting to work on mid-to-low translation

  update descriptions of passes

  Slightly better error reporting

  Bug fix: realTy == VecTy 1 (not 0)

  Filter out dimensions of size one in tensor types

  Starting to work on the LowIL representation

  Bug fix: get type of Inside right

  Bug fix: wrong signature for EvalKernel

  Bug fix: get type of Select right

  Adding MidIL checking

  Better error messages

  Bug fix: add missing code to set CFG edges in destination

  Added checking for HighIL representation

  Bug fix: get the result type of condtional expressions right when simplifying

  bug fix for conditional expressions

  Working on checking

  More work on checking

  Working on IL checking

  Rename file

  Working on checking code

  Working on HighIL checking code

  Added more type info to HighIL operators to aid checking.

  Simplify basis by removing cruft that is not being used.

  Working on checking for HighIL

  Started to work on checking code for HighIL

  Minor edits

  reorganize operators a bit

  fixed typo

  Slice support in HighIL

  Working on slice support

  Added types to pretty printing

  bug fixes

  Fix inexhaustive matches by adding E_Slice placeholders

  Added types to IL variables

  new files

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

  Move MidIL types into their own module

  Copy some of the translation boilerplate from the high-to-mid translation
  into the mid-to-low translation

  normalize tensor shapes in prune functions (e.g., tensor[1] ==> tensor[]).

  Fixed bug in grammar

  Working on adding slice notation and fixed precedence of differentiation

  Added conditional expression syntax

  Debugging probe.sml.

  Added fld2d' test case

  Bug fixes to HigiIL optimization

  Added parse-tree support for conditional expressions (still need parser support)

  Started to work on IL checker

  Working on optimization and translation

  Added HighIL to MidIL translation phase

  Working on translation

  Working on high to mid translation

  removed Transform from high IL

  Working on translation functor

  working on translation

  Adding new file for translation support

  Working on high to mid translation

  Move test-kernel stuff to fields directory

  Added hash-cons representation of IL expressions

  Debugging generation of probe code

  Debugging probe.sml

  Working on test driver for probe code

  Added assignToString function

  working on HighIL to MidIL translation

  Fixed header comment

deleting a random file

adding the translate directory for mid-to-low il

Adding the files for the low-il specs

  Adding comments

  New files

  Implementing the census functor

  Working on debugging HighIL optimization

  Working on HighIL optimization

  Put optimization passes in IL directories

  Added some comments

  Working on high to mid translation

  Tweaking MidIL definition

  Fixed bugs in mid-il and IL generator

  Working on HighIL to MidIL translation

  Added compiler README file

  Adding placeholder directories

  Working on probe code generation

  Working on HighIL optimizer

  comments

  Working on compiler

  tweaking mid IL

  new files

  added convolve function

  Added Stats module

  More general representation of image samples

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

  Made the IL generator more general to handle MidIL features

  Working on MidIL representation

  New directory

  Make the "lift" phase be more agressive about evaluating

  merge DIFF and CONV constructors

  tweaking printing of SSA IL

  Moving high-IL stuff to its own directory

  Some work on SSA checking code

  Change kernel representation to not rely on symmetry

  Bug fix

  Added BackwardDFAFn functor

  Added ForwardDFAFn functor

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

  Adding more Unicode operators

  Added infix convolve syntax

 Output to log file

  Support evaluation for more functions

  Added smart constructors

  Bug fix: get the order of instantiated meta variables right

  Bug fix: add missing case to pruneShape

  Working on lifting and translation

  Working on image-info input

  Use the log file for debugging output

  Added Log structure

  Hook in evaluation of statics

  Bug fixes

  Working on static evalution

  Working on static evaluation

  Working on evaluation of static globals

  Added Inputs module to handle static input variables

  Added type field to E_Input in Simple AST.

  Made typechecking more strict.

  Working on lifting

  Working on translation to HighIL

  Added E_Input and E_Field constructors to Simple AST

  Reorganize stuff to do with images, kernels, and fields into its own directory.

  Reorganizing source

  Working on translateion

  Added Var substructure to SSAFn

  Starting to add utility code for SSA representations

  Working on translation to HighIL

  Update

  Adding operations for fields

  Working on translation to IL

  Added Tbl structure

  Working on translation to IL

  Minor work on translation

  Working on translation to HighIL

  Working on translation to IL

  Working on IL representation

  Add generator for IL operator structures.