Added the opencl version of the probe code.

  Added BackwardDFAFn functor

  Added ForwardDFAFn functor

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

added line about how to do skeleton instead

more dvr examples

new dvr examples

new hand examples

fixing orientation info

  Adding more Unicode operators

  Using Unicode operators

  Switch to infix notation for convolution

  Added infix convolve syntax

 Output to log file

  Support evaluation for more functions

  Added smart constructors

  Made transfer file an input

  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

  A Didirot whitepaper based on the December 2009 NSF proposal

  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

oops

new debugging tool

  Remove Makefile, since it is generated from Makefile.in

  Update makefile

  Added E_Input and E_Field constructors to Simple AST

  Factor out image index computation

  fixed typo

  Debugging

new dataset

new dataset

new dataset

new camera positions

new debugging aids

new debugging aids

oops

new test renderings

oops

mrender for vox1

new vox1 renderings

added camera info for vox1 rendering

new simple dataset

  Add Makefile.in to test/MIP

Test Case now produces output that allows for viewing it as a png.

  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

Updated the mip test case

  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.

  Added inside test and default value for stepSz input

Added the Opencl files for the MIP test case.

  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

  Update examples with output variables

Added output state variable syntax

  Added discussion of image and field types

  Fix typos

  revising probe document

  Fix typo

  fixed bugs in probe doc.

  Adding notes on code for probing a field.

  Added kernel printing code

added MIP of txs.nrrd with bspln5

  Debugging kernel support using test driver

how Teem does MIPs of txs dataset

tweaked params

tweaked images

better params

better data

fixed bug that allowed named space to remain

rename

removed tabs, added example values for txs.nrrd MIP renderings

new test dataset

  Added min and max on reals.

  Update example to current syntax

  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

  Merge image-info into IL directory

  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

  Removed type comments, since that information has been collected

  Fixed syntax error

  Remove unused variables

added -h and now respects per-axis spacing

  New file

  Adding configuration support

  Fix syntax errors

  Adding makefile for dnorm program

right hand of Visible Female CT scan, with post-processing to nix the hip bone

data directory for various datasets, not necessarily in Diderot-normalized form

  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

  Add compiler diagram

  Workaround for compiler bug

  Bug fixes

  Changed grammar to restrict the type of parameters to ValueType

  Working on report

  Minor grammar tweak and started intro

  Better error messages

  Grammar fixes

  Created Didirot report document

  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 type errors in example

  Fixed some bugs in the basis

  Added initialization

  Working on typechecker

  Working on typechecker

  Fixed type errors

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

  Working on typechecker

  Fixed type error

  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

  Working on Diderot typing note

  editing

  Added TypeVar module

  Starting to write up some notes on the typechecking problem for Diderot.

  Working on typechecking for Diderot

  edit comments

  Fix representation of types

  Some work on typing the basis

  Minor edits

added annotations about types of operations

  Added names from tracto example

simple diffusion tensor tractography example

fixed bug in ray direction computation

fixed bug in ray direction computation

added tent kernel

txf is 1-D field of 4-tuples

  Convert to new syntax

  Fixed lexer bug

1-D txf as field

  Changed grammar to use different type syntax

  Starting to work on the basis environment

added a plausible phong-lighting volume renderer

  Added norm syntax

  Minor edits

  Change tensor type syntax

  Added NaNs and infinities

new example

  Added intialization syntax

  Parser hacking

  Added some more code

  Added value constructor syntax

  Create directory for test programs

  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

added different multiplications and some possibilities for their syntax

* addition of a "rawten" type, also parameterized by \rho, which represents the type of tensors as they are stored in an image on disk or in memory.  As it was, images were only of type \rho, with no indication of the tensor structure.  The only annoyance now is that this allows one to store on disk or in memory tensors with int coefficients, which is probably nonsense, but its harmless.

* renamed the mapping of image to field from "sample" to "convolve".  However, its not clear to me if the definition as I wrote it is sufficiently clear that the mapping is from an image of rawten<o,d,\rho> to an field of tensor<o,d>, where the "o"s and "d"s must match up.

* added negation of fields

* moved what was in "tensor arithmatic" to the "addition" section.

fixing typos

  Working on Diderot grammar

  Added tensor+/-field operations

  Fixes.

  Preliminary design document

  This got moved to the doc directory

  Starting to work on parser for Diderot

move math into doc

  comments and minor edits

added chain rul

some initial thoughts on math

  More work on type system

  More work on types; added well-formedness check

  Starting to work on internal-language representation of types.

  Minor edit

  Working on type and operator design-space summary

  new file

  Initial commits

  Remove

  Create repository