Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Log of /trunk
ViewVC logotype

Log of /trunk

View Directory Listing Directory Listing


Sticky Revision:

Revision 95 - Directory Listing
Modified Thu May 27 17:22:20 2010 UTC (9 years, 4 months ago) by jhr
  export more functions from TypeUtil

Revision 94 - Directory Listing
Modified Thu May 27 17:03:13 2010 UTC (9 years, 4 months ago) by jhr
  Working on the pretty printer

Revision 93 - Directory Listing
Modified Thu May 27 15:32:06 2010 UTC (9 years, 4 months ago) by jhr
  Added placeholder for pretty-printing AST after typechecking

Revision 92 - Directory Listing
Modified Thu May 27 15:16:48 2010 UTC (9 years, 4 months ago) by jhr
  Fixed type errors in example

Revision 91 - Directory Listing
Modified Thu May 27 15:16:36 2010 UTC (9 years, 4 months ago) by jhr
  Fixed some bugs in the basis

Revision 90 - Directory Listing
Modified Thu May 27 02:52:07 2010 UTC (9 years, 4 months ago) by jhr
  Added initialization

Revision 89 - Directory Listing
Modified Thu May 27 01:37:21 2010 UTC (9 years, 4 months ago) by jhr
  Working on typechecker

Revision 88 - Directory Listing
Modified Wed May 26 23:07:50 2010 UTC (9 years, 4 months ago) by jhr
  Working on typechecker

Revision 87 - Directory Listing
Modified Wed May 26 23:07:39 2010 UTC (9 years, 4 months ago) by jhr
  Fixed type errors

Revision 86 - Directory Listing
Modified Wed May 26 22:23:17 2010 UTC (9 years, 4 months ago) by jhr
  Added new syntax for tensor-value construction and more work on typechecker.

Revision 85 - Directory Listing
Modified Wed May 26 19:51:10 2010 UTC (9 years, 4 months ago) by jhr
  Working on typechecker

Revision 84 - Directory Listing
Modified Wed May 26 18:51:51 2010 UTC (9 years, 4 months ago) by jhr
  Fixed type error

Revision 83 - Directory Listing
Modified Wed May 26 18:50:44 2010 UTC (9 years, 4 months ago) by jhr
  More work on the typechecker

Revision 82 - Directory Listing
Modified Wed May 26 18:20:49 2010 UTC (9 years, 4 months ago) by jhr
  Working on typechecker

Revision 81 - Directory Listing
Modified Wed May 26 17:28:54 2010 UTC (9 years, 4 months ago) by jhr
  Working on typechecker

Revision 80 - Directory Listing
Modified Tue May 25 03:05:33 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecker

Revision 79 - Directory Listing
Modified Tue May 25 01:55:48 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecker

Revision 78 - Directory Listing
Modified Mon May 24 22:31:49 2010 UTC (9 years, 5 months ago) by jhr
  Rosking on type checker

Revision 77 - Directory Listing
Modified Mon May 24 21:57:10 2010 UTC (9 years, 5 months ago) by jhr
  Move env.sml to env directory

Revision 76 - Directory Listing
Modified Mon May 24 21:56:08 2010 UTC (9 years, 5 months ago) by jhr
  New directory

Revision 75 - Directory Listing
Modified Mon May 24 20:41:18 2010 UTC (9 years, 5 months ago) by jhr
  Propoagating changes to meta variables

Revision 74 - Directory Listing
Modified Mon May 24 16:38:42 2010 UTC (9 years, 5 months ago) by jhr
  Refined meta-variable representation

Revision 73 - Directory Listing
Modified Sun May 23 22:54:59 2010 UTC (9 years, 5 months ago) by jhr
  Comment out raw types, which are not used yet.

Revision 72 - Directory Listing
Modified Sat May 22 22:48:47 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecker

Revision 71 - Directory Listing
Modified Sat May 22 22:16:04 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecker

Revision 70 - Directory Listing
Modified Sat May 22 14:23:32 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecker

Revision 69 - Directory Listing
Modified Tue May 18 21:23:53 2010 UTC (9 years, 5 months ago) by jhr
  Starting to write a typechecker

Revision 68 - Directory Listing
Modified Tue May 18 16:51:30 2010 UTC (9 years, 5 months ago) by jhr
  Working on Basis

Revision 67 - Directory Listing
Modified Fri May 14 14:11:21 2010 UTC (9 years, 5 months ago) by jhr
  Working on Diderot typing note

Revision 66 - Directory Listing
Modified Thu May 13 23:12:28 2010 UTC (9 years, 5 months ago) by jhr
  editing

Revision 65 - Directory Listing
Modified Thu May 13 21:04:35 2010 UTC (9 years, 5 months ago) by jhr
  Added TypeVar module

Revision 64 - Directory Listing
Modified Thu May 13 17:32:28 2010 UTC (9 years, 5 months ago) by jhr
  Starting to write up some notes on the typechecking problem for Diderot.

Revision 63 - Directory Listing
Modified Thu May 13 00:29:39 2010 UTC (9 years, 5 months ago) by jhr
  Working on typechecking for Diderot

Revision 62 - Directory Listing
Modified Tue May 11 16:03:31 2010 UTC (9 years, 5 months ago) by jhr
  edit comments

Revision 61 - Directory Listing
Modified Tue May 11 16:02:48 2010 UTC (9 years, 5 months ago) by jhr
  Fix representation of types

Revision 60 - Directory Listing
Modified Tue May 4 15:55:00 2010 UTC (9 years, 5 months ago) by jhr
  Some work on typing the basis

Revision 59 - Directory Listing
Modified Tue May 4 15:54:33 2010 UTC (9 years, 5 months ago) by jhr
  Minor edits

Revision 58 - Directory Listing
Modified Mon May 3 03:46:16 2010 UTC (9 years, 5 months ago) by glk
added annotations about types of operations

Revision 57 - Directory Listing
Modified Fri Apr 30 14:41:31 2010 UTC (9 years, 5 months ago) by jhr
  Added names from tracto example

Revision 56 - Directory Listing
Modified Mon Apr 26 00:57:58 2010 UTC (9 years, 5 months ago) by glk
simple diffusion tensor tractography example

Revision 55 - Directory Listing
Modified Tue Apr 20 15:59:05 2010 UTC (9 years, 6 months ago) by glk
fixed bug in ray direction computation

Revision 54 - Directory Listing
Modified Tue Apr 20 15:58:46 2010 UTC (9 years, 6 months ago) by glk
fixed bug in ray direction computation

Revision 53 - Directory Listing
Modified Tue Apr 20 15:58:22 2010 UTC (9 years, 6 months ago) by glk
added tent kernel

Revision 52 - Directory Listing
Modified Tue Apr 20 15:18:15 2010 UTC (9 years, 6 months ago) by glk
txf is 1-D field of 4-tuples

Revision 51 - Directory Listing
Modified Wed Apr 14 21:50:03 2010 UTC (9 years, 6 months ago) by jhr
  Convert to new syntax

Revision 50 - Directory Listing
Modified Wed Apr 14 21:49:50 2010 UTC (9 years, 6 months ago) by jhr
  Fixed lexer bug

Revision 49 - Directory Listing
Modified Tue Apr 13 23:16:22 2010 UTC (9 years, 6 months ago) by glk
1-D txf as field

Revision 48 - Directory Listing
Modified Tue Apr 13 23:11:15 2010 UTC (9 years, 6 months ago) by jhr
  Changed grammar to use different type syntax

Revision 47 - Directory Listing
Modified Tue Apr 13 14:57:27 2010 UTC (9 years, 6 months ago) by jhr
  Starting to work on the basis environment

Revision 46 - Directory Listing
Modified Tue Apr 6 17:02:18 2010 UTC (9 years, 6 months ago) by glk
added a plausible phong-lighting volume renderer

Revision 45 - Directory Listing
Modified Tue Apr 6 15:51:03 2010 UTC (9 years, 6 months ago) by jhr
  Added norm syntax

Revision 44 - Directory Listing
Modified Tue Apr 6 15:36:27 2010 UTC (9 years, 6 months ago) by jhr
  Minor edits

Revision 43 - Directory Listing
Modified Fri Mar 12 04:28:29 2010 UTC (9 years, 7 months ago) by jhr
  Change tensor type syntax

Revision 42 - Directory Listing
Modified Wed Mar 3 18:26:50 2010 UTC (9 years, 7 months ago) by jhr
  Added NaNs and infinities

Revision 41 - Directory Listing
Modified Wed Mar 3 17:38:27 2010 UTC (9 years, 7 months ago) by glk
new example

Revision 40 - Directory Listing
Modified Wed Mar 3 14:51:38 2010 UTC (9 years, 7 months ago) by jhr
  Added intialization syntax

Revision 39 - Directory Listing
Modified Thu Feb 11 16:58:32 2010 UTC (9 years, 8 months ago) by jhr
  Parser hacking

Revision 38 - Directory Listing
Modified Thu Feb 11 03:51:54 2010 UTC (9 years, 8 months ago) by jhr
  Added some more code

Revision 37 - Directory Listing
Modified Thu Feb 11 03:51:36 2010 UTC (9 years, 8 months ago) by jhr
  Added value constructor syntax

Revision 36 - Directory Listing
Modified Thu Feb 11 01:04:40 2010 UTC (9 years, 8 months ago) by jhr
  Create directory for test programs

Revision 35 - Directory Listing
Modified Thu Feb 11 01:04:20 2010 UTC (9 years, 8 months ago) by jhr
  Fixing parser/scanner bugs

Revision 34 - Directory Listing
Modified Thu Feb 11 00:38:12 2010 UTC (9 years, 8 months ago) by jhr
  Remove CM files

Revision 33 - Directory Listing
Modified Thu Feb 11 00:37:51 2010 UTC (9 years, 8 months ago) by jhr
  New directory

Revision 32 - Directory Listing
Modified Wed Feb 10 22:24:56 2010 UTC (9 years, 8 months ago) by jhr
  New file

Revision 31 - Directory Listing
Modified Wed Feb 10 22:24:40 2010 UTC (9 years, 8 months ago) by jhr
  Type-error fixes

Revision 30 - Directory Listing
Modified Wed Feb 10 22:17:50 2010 UTC (9 years, 8 months ago) by jhr
  Working on Diderot parser

Revision 29 - Directory Listing
Modified Wed Feb 10 21:45:00 2010 UTC (9 years, 8 months ago) by jhr
  Adding sources.cm and fixing some type errors

Revision 28 - Directory Listing
Modified Tue Feb 9 02:55:41 2010 UTC (9 years, 8 months ago) by jhr
  More parser hacking

Revision 27 - Directory Listing
Modified Tue Feb 9 02:36:31 2010 UTC (9 years, 8 months ago) by jhr
  Working on Diderot parser

Revision 26 - Directory Listing
Modified Tue Feb 9 00:43:01 2010 UTC (9 years, 8 months ago) by jhr
  Working on Diderot parser

Revision 25 - Directory Listing
Modified Mon Feb 8 22:51:42 2010 UTC (9 years, 8 months ago) by jhr
  Working on Diderot parser

Revision 24 - Directory Listing
Modified Mon Feb 1 22:43:55 2010 UTC (9 years, 8 months ago) by jhr
  Working on grammar

Revision 23 - Directory Listing
Modified Mon Feb 1 03:29:06 2010 UTC (9 years, 8 months ago) by jhr
  Working on Diderot grammar

Revision 22 - Directory Listing
Modified Thu Jan 21 05:34:09 2010 UTC (9 years, 9 months ago) by glk
added different multiplications and some possibilities for their syntax

Revision 21 - Directory Listing
Modified Sat Jan 16 18:16:32 2010 UTC (9 years, 9 months ago) by glk
* 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.

Revision 20 - Directory Listing
Modified Sat Jan 16 17:32:12 2010 UTC (9 years, 9 months ago) by glk
fixing typos

Revision 19 - Directory Listing
Modified Fri Jan 15 14:17:29 2010 UTC (9 years, 9 months ago) by jhr
  Working on Diderot grammar

Revision 18 - Directory Listing
Modified Fri Jan 15 02:36:12 2010 UTC (9 years, 9 months ago) by jhr
  Added tensor+/-field operations

Revision 17 - Directory Listing
Modified Fri Jan 15 02:35:26 2010 UTC (9 years, 9 months ago) by jhr
  Fixes.

Revision 16 - Directory Listing
Modified Wed Jan 13 23:03:09 2010 UTC (9 years, 9 months ago) by jhr
  Preliminary design document

Revision 15 - Directory Listing
Modified Wed Jan 13 21:37:09 2010 UTC (9 years, 9 months ago) by jhr
  This got moved to the doc directory

Revision 14 - Directory Listing
Modified Tue Jan 12 23:03:22 2010 UTC (9 years, 9 months ago) by jhr
  Starting to work on parser for Diderot

Revision 13 - Directory Listing
Modified Mon Jan 11 19:54:46 2010 UTC (9 years, 9 months ago) by glk
move math into doc

Revision 12 - Directory Listing
Modified Mon Jan 11 19:28:12 2010 UTC (9 years, 9 months ago) by jhr
  comments and minor edits

Revision 11 - Directory Listing
Modified Sun Jan 10 20:20:41 2010 UTC (9 years, 9 months ago) by glk
added chain rul

Revision 10 - Directory Listing
Modified Sun Jan 10 19:42:44 2010 UTC (9 years, 9 months ago) by glk
some initial thoughts on math

Revision 9 - Directory Listing
Modified Fri Jan 8 22:06:11 2010 UTC (9 years, 9 months ago) by jhr
  More work on type system

Revision 8 - Directory Listing
Modified Fri Jan 8 21:50:42 2010 UTC (9 years, 9 months ago) by jhr
  More work on types; added well-formedness check

Revision 7 - Directory Listing
Modified Fri Jan 8 20:44:57 2010 UTC (9 years, 9 months ago) by jhr
  Starting to work on internal-language representation of types.

Revision 6 - Directory Listing
Modified Fri Jan 8 19:50:47 2010 UTC (9 years, 9 months ago) by jhr
  Minor edit

Revision 5 - Directory Listing
Modified Fri Jan 8 19:50:13 2010 UTC (9 years, 9 months ago) by jhr
  Working on type and operator design-space summary

Revision 4 - Directory Listing
Modified Wed Jan 6 14:14:35 2010 UTC (9 years, 9 months ago) by jhr
  new file

Revision 3 - Directory Listing
Modified Wed Jan 6 04:47:22 2010 UTC (9 years, 9 months ago) by jhr
  Initial commits

Revision 2 - Directory Listing
Modified Wed Jan 6 04:24:15 2010 UTC (9 years, 9 months ago) by jhr
  Remove

Revision 1 - Directory Listing
Added Wed Jan 6 04:22:13 2010 UTC (9 years, 9 months ago) by jhr
  Create repository

Sort log by:

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0