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