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

fixed bug that allowed named space to remain

  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

added -h and now respects per-axis spacing

  New file

  Adding configuration support

  Fix syntax errors

  Adding makefile for dnorm program

  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

  New directory to hold tool for getting NRRD-file summary info

  Moved to src/compiler

  Restore Gordon's edits

  Moving compiler sources into src/compiler

  Moving compiler sources into src/compiler

clarified restriction between dimension and space dimension

  Adding file

info about restricted NRRD format coming out of dnorm program

  Adding image-info directory

  Bug fixes

  Changed grammar to restrict the type of parameters to ValueType

  Better error messages

  Code reorg and added type arguments to variable printing in ASTPP.

  export more functions from TypeUtil

  Working on the pretty printer

  Added placeholder for pretty-printing AST after typechecking

  Fixed some bugs in the basis

  Working on typechecker

  Working on typechecker

  Added new syntax for tensor-value construction and more work on typechecker.

  Working on typechecker

  More work on the typechecker

  Working on typechecker

  Working on typechecker

  Working on typechecker

  Working on typechecker

  Rosking on type checker

  Move env.sml to env directory

  New directory

  Propoagating changes to meta variables

  Refined meta-variable representation

  Comment out raw types, which are not used yet.

  Working on typechecker

  Working on typechecker

  Working on typechecker

  Starting to write a typechecker

  Working on Basis

  Added TypeVar module

  Working on typechecking for Diderot

  edit comments

  Fix representation of types

  Some work on typing the basis

  Added names from tracto example

added tent kernel

  Fixed lexer bug

  Changed grammar to use different type syntax

  Starting to work on the basis environment

  Added norm syntax

  Added NaNs and infinities

  Added intialization syntax

  Parser hacking

  Added value constructor syntax

  Fixing parser/scanner bugs

  Remove CM files

  New directory

  New file

  Type-error fixes

  Working on Diderot parser

  Adding sources.cm and fixing some type errors

  More parser hacking

  Working on Diderot parser

  Working on Diderot parser

  Working on Diderot parser

  Working on grammar

  Working on Diderot grammar

  Working on Diderot grammar

  Starting to work on parser for Diderot

  comments and minor edits

  More work on type system

  More work on types; added well-formedness check

  Starting to work on internal-language representation of types.

  Initial commits