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

SCM Repository

[diderot] Log of /branches/pure-cfg/src/compiler/typechecker
ViewVC logotype

Log of /branches/pure-cfg/src/compiler/typechecker

View Directory Listing Directory Listing


Sticky Revision:

Revision 1507 - Directory Listing
Modified Wed Sep 21 14:38:19 2011 UTC (8 years, 2 months ago) by jhr
  Added typechecking support for sequences and for evals and evecs.

Revision 1505 - Directory Listing
Modified Tue Sep 20 13:24:45 2011 UTC (8 years, 2 months ago) by jhr
  Renamed the MethodName module StrandUtil and added the strand properties to it.  Also added
  strand properties to the IL representation.

Revision 1443 - Directory Listing
Modified Mon Jul 11 10:36:10 2011 UTC (8 years, 5 months ago) by jhr
  Added datatype to represent method names.

Revision 1297 - Directory Listing
Modified Thu Jun 9 12:44:43 2011 UTC (8 years, 6 months ago) by jhr
  Added clamp and assignment operators.

Revision 1250 - Directory Listing
Modified Thu May 19 02:20:28 2011 UTC (8 years, 6 months ago) by jhr
  Push input descriptor string through compiler phases.

Revision 1249 - Directory Listing
Modified Thu May 19 00:37:17 2011 UTC (8 years, 6 months ago) by jhr
  Changed syntax of input variables to require literal definitions and to
  allow a description string.

Revision 1012 - Directory Listing
Modified Fri Apr 29 16:37:58 2011 UTC (8 years, 7 months ago) by jhr
  Added standard method names to BasisNames module

Revision 903 - Directory Listing
Modified Thu Apr 21 14:09:20 2011 UTC (8 years, 7 months ago) by jhr
  Change syntax for field probing.

Revision 895 - Directory Listing
Modified Wed Apr 20 17:20:44 2011 UTC (8 years, 7 months ago) by jhr
  Added check for variable redefinition in the same scope

Revision 824 - Directory Listing
Modified Thu Apr 14 15:54:24 2011 UTC (8 years, 7 months ago) by jhr
  Some debugging and added "^" as power operator.

Revision 822 - Directory Listing
Modified Thu Apr 14 14:24:20 2011 UTC (8 years, 7 months ago) by jhr
  Adding support for zeros[shape] and changed I to identity[d]

Revision 807 - Directory Listing
Modified Tue Apr 12 15:41:18 2011 UTC (8 years, 8 months ago) by jhr
  Generalized dot product to inner product of tensor types.  Added IL support for
  vector-matrix, matrix-vector, and matrix-matrix multiplications.  Code generation
  and runtime support is still missing.

Revision 766 - Directory Listing
Modified Thu Apr 7 20:24:42 2011 UTC (8 years, 8 months ago) by jhr
  Adding support for infix dot and cross-product operators

Revision 762 - Directory Listing
Modified Thu Apr 7 19:57:34 2011 UTC (8 years, 8 months ago) by jhr
  Added identity matrix support (still needs codegen support)

Revision 753 - Directory Listing
Modified Thu Apr 7 14:48:23 2011 UTC (8 years, 8 months ago) by jhr
  Allow for overloaded functions (like lerp)

Revision 707 - Directory Listing
Modified Tue Mar 29 20:42:41 2011 UTC (8 years, 8 months ago) by jhr
  Added TODO list to typechecker.sml

Revision 691 - Directory Listing
Modified Fri Mar 25 01:31:46 2011 UTC (8 years, 8 months ago) by jhr
  Working on support for sequences

Revision 650 - Directory Listing
Modified Fri Mar 18 20:51:42 2011 UTC (8 years, 8 months ago) by jhr
  Add stabilize method for strands that don't have them

Revision 620 - Directory Listing
Modified Mon Mar 14 13:46:59 2011 UTC (8 years, 8 months ago) by jhr
  Fixed a typechecking issue with iteration

Revision 499 - Directory Listing
Modified Tue Feb 1 17:37:51 2011 UTC (8 years, 10 months ago) by jhr
  Change "actor" to "strand"

Revision 477 - Directory Listing
Modified Sat Nov 13 16:02:07 2010 UTC (9 years ago) by jhr
  Creating a branch to explore a pure CFG IL

Revision 475 - Directory Listing
Modified Thu Nov 4 18:57:11 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

Revision 435 - Directory Listing
Modified Tue Oct 19 13:14:20 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Upated URL in header to diderot-language.cs.uchicago.edu

Revision 416 - Directory Listing
Modified Sun Oct 17 00:32:07 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Bug fix: get the result type of condtional expressions right when simplifying

Revision 399 - Directory Listing
Modified Thu Oct 14 20:08:35 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Working on slice support

Revision 381 - Directory Listing
Modified Tue Oct 5 21:42:17 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Working on adding slice notation and fixed precedence of differentiation

Revision 370 - Directory Listing
Modified Sat Oct 2 17:19:14 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Added parse-tree support for conditional expressions (still need parser support)

Revision 242 - Directory Listing
Modified Fri Aug 6 15:25:03 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Bug fix: get the order of instantiated meta variables right

Revision 235 - Directory Listing
Modified Thu Aug 5 21:57:46 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Bug fixes

Revision 228 - Directory Listing
Modified Wed Aug 4 13:36:35 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Made typechecking more strict.

Revision 173 - Directory Listing
Modified Sat Jul 24 15:37:50 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Cleanup and simplification of AST representation

Revision 171 - Directory Listing
Modified Sat Jul 24 14:13:10 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Adding simple-ast representation

Revision 170 - Directory Listing
Modified Sat Jul 24 13:30:47 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Restrict polymorphism to operators/functions.

Revision 169 - Directory Listing
Modified Thu Jul 22 20:07:37 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

Revision 164 - Directory Listing
Modified Tue Jul 20 18:56:04 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Added output state variables and stabilize methods

Revision 110 - Directory Listing
Modified Wed Jun 23 19:28:48 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
Copied from: trunk/src/typechecker revision 108
  Moving compiler sources into src/compiler

Revision 99 - Directory Listing
Modified Fri May 28 00:14:34 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Better error messages

Revision 96 - Directory Listing
Modified Thu May 27 17:57:31 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Code reorg and added type arguments to variable printing in ASTPP.

Revision 91 - Directory Listing
Modified Thu May 27 15:16:36 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Fixed some bugs in the basis

Revision 89 - Directory Listing
Modified Thu May 27 01:37:21 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 88 - Directory Listing
Modified Wed May 26 23:07:50 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 86 - Directory Listing
Modified Wed May 26 22:23:17 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  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, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

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

Revision 82 - Directory Listing
Modified Wed May 26 18:20:49 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 81 - Directory Listing
Modified Wed May 26 17:28:54 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 80 - Directory Listing
Modified Tue May 25 03:05:33 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 77 - Directory Listing
Modified Mon May 24 21:57:10 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Move env.sml to env directory

Revision 75 - Directory Listing
Modified Mon May 24 20:41:18 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Propoagating changes to meta variables

Revision 72 - Directory Listing
Modified Sat May 22 22:48:47 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 71 - Directory Listing
Modified Sat May 22 22:16:04 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

Revision 70 - Directory Listing
Modified Sat May 22 14:23:32 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/typechecker
  Working on typechecker

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

Revision 40 - Directory Listing
Added Wed Mar 3 14:51:38 2010 UTC (9 years, 9 months ago) by jhr
Original Path: trunk/src/typechecker
  Added intialization syntax

Sort log by:

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