creating stable branch that represents ein ir

add avail

 subst-on, and fixes in tree-il

added counter to avail and various baseline improvements

withsome sum

ASF

AVN

dvl,evf

DVF

CVF

 BVF

sample AVF

lowdoes-vec-sca-sanpv

add vec-to-sca function

alltrue+vecs

sample AV

vectors

sample d

sample C

sample 2

sample a

sample a

clean up rules and generic outer product

sample3

sample 2

sample 1

sample 2

sample a

setting 2

setting 1

added float-ein and avail-rhs

floats some ops

added hard limit to float size

added hard limit to float size

added hard limit to float size

removed unused types and ops

all-lift(no split),postpone ein-to-low,krn subterms in ein

all-lift(no split),postpone ein-to-low,krn subterms in ein

VKrn

more lift less split

generic ein ops

added field slicing

debug-don't use

adding split to different level

allows constant differentiation

tmp

blocked

new ein_exp

added trig

lift in high-il

val-num in evalkrn

cut vector fields

added programs

E.PowEmb

lift-fix

passes

mid-to-low uses set

mid-to-low uses set

partial mid-to-low update

sync files

sync files

look for re in mid-to-low as converting

making copyrights consistent for all code in the repository

tmp save

version for ridge

add size of programs

added lifted

sync computers

remove empty spaces

strategy  removes valnum and fieldlift

field splitting turn off

turn  local value-numbering off, added compiler flags

turn  local value-numbering off, added compiler flags

 with lift

no lift

lifts det

remove print

byhand and tensor subscript

set setting

added byhand examples

lifted substitution

dev branch

clean up print statements

iterate distribute summation

removed det loop-fusion

 ein-to-low scalar for matrices

project on i*j*k*l

compiles hessian mode

extend CONS

lift det field

lift field with constant index

double dot between arbitrary tensors and fields

some refactoring in tree-il, move sum function location

various load|store changes

comment out most vector support

does not use vectors, benchmarks all faster

change to function arguement types

clean up normalization rules

evecs evals 2x2

attempt at evecs 3x3

lift curl expression

high-to-mid subexpression limitation with mkops change

high-to-mid subexpression limitation

neg tensor change

hack

  more initialization fixes

  working on inputs

  porting some more input support from trunk

  working on fixing initialization of inputs

  formatting changes

without common subexpression

common subexpression

  add missing code generation for inputs

organize derivative-ein

organize derivative-ein

more fixes to unused variable tracking

  add missing setLoc for functions

lifted sine,cosine,arcsine,arccosine

sqrt fields

decCnt in high-il

change det 3x3

change det 3x3

det 3x3 field

matrix fields

load->image, det(), S*T

merge in inputs from trunk

commit to sync directories

first attempt

generic norm

mid to low clean up

derivative division

general outer product

  push version flag to all active branches

|matrix field| and speed up

  add missing checkIL pass after mid-to-low translation

sync branches

adding operators to SUPPORTED_OPS and some code-style fixes

adding operators to SUPPORTED_OPS and some code-style fixes

sync branches

  typechecking for inner product

  use IntRedBlackMap for index maps

move summation around

update todo list

added tensor +/- fields ops

removed print statements

curl2

added sqrt,pow, and examples

moved split around, added norm to typechecker, added sqrt to ein

moved over more regression tests

added regression tests

rewrote mid-to-low and added tests/EIN

typo in mkOps-fieldproduct, rewrite deltas

added field outer/inner/cross product and tensor slice

moved mkzero to handle ein, clears non-probed fields

added norm

code cleanup

added 2-d cross product, new rep. of 2-d curl

moved dy and dz in image loading

aligned is false

testing

edit split-ein

lerp and clamp

moved differentation kernels

imgaddr computation moved to mid-to-low

changed types for imgAddr and imgLd

field problem

Projection function

copy function()

added projection function name

change to vector ops

changed getPieces()

Cons Vector 

added trimVec

clean up tree-il

lift Save(tmp)=>store statement

lift Save(tmp)=>store statement

change bindings for E_tmp

mux, tmpmux

cleanup tree-il exp/stmts

update

printing matrices

MkVec2, takes multiple expressions

represent tensors with arrays

Change global types to arrays and print them

changed inlcude

mkVec as an ASSN

made changes to ld and mkvec funcitons

added opr to c-target

added decl

moved getTypes and getOpr functions to the target

opr to clang

add Types and oprators as sets in tree-il

  various changes

cFn added

scan for types

Tree-IL fixed printer and GlobalVar problem

spltiVec

moved target functions

moved some things around

added load/store vec

added tree-il expressions and types

embedded summation split

clean up mid-to-low

InnerProduct, DoubleDot:

  indentation fix

Quotient rule

added files

code cleanup

  added some bug fixes and other edits from the trunk

Added Lift Constructor

normalize

Outer product

Outer product

Multiply Fields

Added field product

Added to Eqfn

Code Clean up

Value numbering

Value numbering

uncomment dot product

type checker

type checker

Change dot-times op

Change dot-times op

change to image ops

eintypes->mid-iltypes

fixed type problems

fixed type problems

added gentypes to mid-il and split to High-to-mid il

Added type Checker

ein to gen-ein functions and tests

 gen-ein

added kernels to gen

regular check-in

generate code

Added Tests

add app-ein.sml to high-il

Added divergence & hessian

 divide field

mid-il fixes

old version

old version

remove generic rep, change Summation index, and add tests

add type checking

changes to high-to-mid

 ein

  porting changes from trunk

  Merging in changes from trunk

changes to expand Conv

add expand-conv

probe.sml

working in einTest so won'te compile

normalize test

  Fix compiler issues

Change Sum term

value numbering?

changed mu to alpha

design changes

added deltas

Changed index type

changes

Add dim to Fields

add operators

test

Fix printing

FIx printing

  minor edits

Tester

addchecks

name changes

  style edits

  removing obsolete operators

  Mostly style changes; removed tensor and field ops from high-il.spec

modified printer

few changes 

added ein

matchedup

  Create new branch for Charisee's Einstein stuff

  more updates from vis12 branch (related to dnorm)

  Forgot to commit translate-basis.sml

  Merging in bug fixes and language enhancements from the vis12 branch (via staging).
  Features include type promotion, the curl and colon operator, transpose, and functions.

  Fix pretty printing of C and OpenCL code.

  minor tweaks

Fixed name misspelling for stabilize function in CL 

  Add documentation

  fix spelling error

  minor formatting fixes

  Added --enable-32-bit configure option

Removed old code that caused problems on AMD GPUs and fixed the type conversion problems that caused problems for Mandelbrot. the GPU backend calls stabalize properly now. 

  il-basis.sml moved to basis/math-funs.sml

  ported changes from vis12 branch (C math functions)

  Added basis functions fmod, ln, log10, while removing some deprecated functions.

  Added FIXME for bug in the handling of parameters

  merge bug fix from vis12 branch

  fix for indexing into sequences of reals

  revert premature change

  merge in some minor changes from the diderot-cl branch

  fix syntax errors in eigen code fragments

  Change "eval->" to "(*eval)." to satisfy the AMD OpenCL compiler.

  Fix config name for OpenCL libraries

  porting updates from vis12 branch into trunk

  More OpenCL config work

  porting some fixes from the vis12 branch

  porting bug fixes and other improvements from vis12 branch

  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

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

  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.

  Clarify description of simplify

  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.

  Renamed internal variable input to optInput and added input variable.

  Working on translation

  Working on translation to HighIL

  Added toType, toDiff, toShape, and toDim functions

  Added file

  Working on translation to HighIL

  Simplified AST code now uses default input values when no input is given.

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

  Added pretty printing for simplified AST

  Adding simplify pass to driver

  Cleanup and simplification of AST representation

  New file: working on pretty printing for Simple AST

  Adding simple-ast representation

  Restrict polymorphism to operators/functions.

  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

  Working on translation to HighIL

  Added comment

  New file

  Adding equality tests and hashing support

  Added output state variables and stabilize methods

  Added kernel printing code

  Debugging kernel support using test driver

  Added min and max on reals.

  Added RawTypes module

  Starting to write a test driver for the kernel code

  Made kernel type abstract and added derivative cache.

  Added toReal function

  Working on IR

  Added variable sets and maps

  Working on IL representation

  Merging image-info into IL directory

  merge image-info directory into the IL directory

  Added normalize function

  Working on IL

  Parameterize the SSA representation over the operators

  Fixed syntax error

  New file

  Adding configuration support

  Fix syntax errors

  Added compare to Rational

  Switched kernels to use rational coefficients and added definitions of common
  kernels.

  Fix bugs

  Working on rational numbers for the kernels

  Restore Gordon's edits

  Moving compiler sources into src/compiler