ported changes from vis12 branch (C math functions)

  Fixed typo

  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

  Change "dof" to "dot".

  fix syntax errors in eigen code fragments

  fix regression test script

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

  break out of cl.h check loop

  Fix config name for OpenCL libraries

  porting updates from vis12 branch into trunk

  Added @CPPFLASG_CL@ for OpenCL target

  More OpenCL config work

  more configure tweaking

  Better OpenCL configuration support

  Use NEWVEC macro to allocate worker argument array

  restore building of regression test scripts

  porting some fixes from the vis12 branch

  porting bug fixes and other improvements from vis12 branch

  Minor improvements to regression testing scripts

  Add data for test/ridge3d

  VEC2_OK should be set for double precision

  Added diderotc manpage

  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

  Fixed spelling

  Removed manticore reference

  Add documentation about running scripts

  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

now with wiki URL

The todo list is being moved to the wiki.

  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

added need to convolve tensor[2,2] and tensor[3,3] images, and updated priorities

demo of inability to convolve with tensor[2,2] images

rename

new test dataset

new test dataset

test for convolution of 2nd-order tensors

  Add generated OpenCL file to cleanup

  Added runtime arguments to regression-test run script

  Moved random documents from source repository to papers repository.

adding infinity

  Port bugfix from pure-cfg branch

lic in turb2d

new 2d turbulent flow dataset

cleaning 

  update TODO list

  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

  merging changes from pure-cfg

  Remove fixed bug from TODO

  added some debugging code

  Fixed bug in translating mehods with a conditional as their entire body
  (e.g., lic2.diderot example).

updating to reflect progress

removing tabs, trying to be more informative

new bug

last commit was by mistake

a bug

using new +=, -=, *=, and clamp

changed implementation to make the code a more obvious implementation of Newton-Raphson, and also to create some obvious and not-so-obvious opportunties for optimization

  Better cleanup code

  Better cleanup

  Restore code to generate regression-test scripts

fixing typo

  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

  Add build support for teem example

  update TODO

  Adding support for assignment operators to the trunk.

  Added support for clamp to trunk

Added a C/TEEM implementation of vr-lite-cam.

  Edits to INSTALL instructions

adding info about svn co

  update TODO

clarified output/input issue

  Update language description

  update TODO list

Added the code for generating OpenCL

reformatting

useful for new programmers

new semantics for unu 3op max_sm

const-correctness on me

const-correctness on argv

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

changed output image size from 200 to 201 to avoid sensitivity to FP error on inside() test, and made assess.sh slightly more tolerant of FP error

test more lenient WRT FP round-off

test more lenient WRT FP round-off

making test more permissive of rounding errors

  remove ax_check_cl.m4, since it is broken

  Added ax_check_cl.m4

further info

a simple volume-rendering test

test axis dataset; human-readable nrrd file

have tweaked data

tweaking data

more high-minded ideas

another test dataset

making ring dataset less isotropic

  Added script to run a single regression test

  tweaking the regression-test script

  Added regions to TODO list

some comments

making slow tests run faster

another test

new datasets

new tests

more tests

basic test of 3D convolution

First go at a parallel runtime

  Don't generate a log file unless -log is specified

  added the ability to test a different version of the diderot compiler

  minor tweaks of messages

  added README for tests

  Scripting support for regression tests

  more scripting work

  Working on testing script

  Move regression tests into the tests subdirectory so that we can more easily
  script the testing process.

data for 2D convolution tests

previous commit an accident

beginnings of some regression test stuff

updated

  Redirect output to log file.

  minor edit to TODO

superficial changes

refreshed again

refreshed/reordered GLKs view of priorities

more ideas

  Added missing printing of initial strand creation to TreeILPP

  porting changes from development branch

tweaks

this test program has served its purpose

reformatting for legibility

  Remove die from TODO list

  Port updates from development branch to support die.

now using conditional expressions

actually, there isn't a bug?

some tweaks

illustrative volume rendering

txf for illust-vr

further explanation

the road ahead

  one final merge

  One more update from pure-cfg

  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

Updated the defs.tex for the semantics.tex file

Adding defs.text

  remove generated files from repository

update config.guess and config.sub to latest version

update config.guess and config.sub to latest version

Removing old semantics directory and adding doc/semantics and latex components

  Fixed typos

pictures of inside

  Moved bib stuff to end of file

updated the global section in the semantics

  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

Fixed the structure of the semantics doc

Added the Commands and Update Rules to the semantics

Adding the semantics directory and semantics file

fixed little bug

  Added binary-ops table

fixed little bug

very initial stab at particles code

very initial stab at particles code

  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

  Add more type tests

  Working on language description

  Added type test example

  added missing hats

  Added additional operations on fields (F+F, F-F, sF, Fs, F/s)

  Added example

  New note

  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.

  Added comments about SSE

  Working on C version of MIP

  more work on MIP example

  Working on hand-translated example.

  Clarify description of simplify

  Add Diderot_Mat types

  added InvertTranspose operation

  Bug fix: change + to *

  Working on runtime

  More runtime work

  Working on Diderot runtime

  Working on C version of runtime

  Working on vr-mip in C example

  Add project URL

  Upated URL in header to diderot-language.cs.uchicago.edu

  Working on a hand translation of vr-MIP.diderot to C code.

  Beginnings of code generation infrastructure

  fix comment

  Starting to work on mid-to-low translation

  update descriptions of passes

  Slightly better error reporting

  Use the dummy transfer-function data for the vr-phong test

  Bug fix: realTy == VecTy 1 (not 0)

  Filter out dimensions of size one in tensor types

stand-in for RGBA transfer function

  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

  Separate tests with "===="

  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

  Added a script to run the compiler over a bunch of examples

  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

  Updated grammar to tack changes in implementation

  Use conditional-expression syntax

  Remove uneeded parens

  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

  Tweak defs

  Added conditional expression syntax

  Added conditional expression syntax

  Added missing package

  Debugging probe.sml.

  Added fld2d' test case

  Bug fixes to HigiIL optimization

  Update example

  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

  Fix continuity of ctmr

  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

  Added discussion of partial-derivative operators

  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

  Update compiler picture

  Working on HighIL optimization

  Put optimization passes in IL directories

  Added some comments

  Working on report

  Working on high to mid translation

  Tweaking MidIL definition

  Fixed bugs in mid-il and IL generator

  Adding file

  editing

  Working on report

  Working on HighIL to MidIL translation

  Added function types

  Starting to document the Diderot Basis

  Added compiler README file

  Adding placeholder directories

  Working on probe code generation

  removed stabilize command from stabilize method

  Added top-level Makefile

  Working on HighIL optimizer

  comments

  Edits

  Edits

some usage tips

added use of stabilize code block

  Working on compiler

fixing output value creating

int -> real

white space change

  updates to test code

initial pass at volume rendering lite

  remove generated files from repository

  minor edits

new vfrhand data

new vfrhand data

  tweaking mid IL

Updated verision of the mip code that appears to be working fine.

Updated verision of the mip code that appears to be working fine.

some tweaks

oops didnt mean to include GLK-specific paths

oops meant to do rename from run.sh

new test script

new test image

for gradient code

new test image

not as general purpose as hoped

  Update code to track code directory

  Update README

  Working on debugging

  Adding Gordon's test harness.

fixing up 1D and 3D convolution in C

  Added kernel definition

  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

  Added C code for (D F) probe

Added the OpenCL outlined in the probe paper

Added the OpenCL outlined in the probe paper

  fix bug

  Fixed bounds

  Fixed OpenCL code

  Minor fix

  Added OpenCL 3d probe code

  More revisions

  Revising probe document

  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

  Changed kernels to have 4 pieces

  Fixed makefile

  Added test/probe/Makefile

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