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