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

SCM Repository

[diderot] Log of /trunk/src/compiler/typechecker
ViewVC logotype

Log of /trunk/src/compiler/typechecker

View Directory Listing Directory Listing


Sticky Revision:

Revision 2356 - Directory Listing
Modified Sun Apr 7 14:45:25 2013 UTC (6 years, 7 months ago) by jhr
  Merging in bug fixes and language enhancements from the vis12 branch (via staging).
  Features include type promotion, the curl and colon operator, transpose, and functions.

Revision 1923 - Directory Listing
Modified Sat Jun 23 12:02:18 2012 UTC (7 years, 4 months ago) by jhr
  ported changes from vis12 branch (C math functions)

Revision 1640 - Directory Listing
Modified Wed Nov 16 02:19:51 2011 UTC (8 years ago) by jhr
  Merging in changes from pure-cfg branch.

Revision 1444 - Directory Listing
Modified Mon Jul 11 12:11:53 2011 UTC (8 years, 4 months ago) by jhr
  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

Revision 1301 - Directory Listing
Modified Thu Jun 9 23:58:40 2011 UTC (8 years, 5 months ago) by jhr
  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

Revision 1296 - Directory Listing
Modified Thu Jun 9 12:42:09 2011 UTC (8 years, 5 months ago) by jhr
  Adding support for assignment operators to the trunk.

Revision 1116 - Directory Listing
Modified Thu May 5 04:49:02 2011 UTC (8 years, 6 months ago) by jhr
  more merging of pure-cfg changes back into trunk

Revision 1113 - Directory Listing
Modified Thu May 5 04:11:52 2011 UTC (8 years, 6 months ago) by jhr
  Starting to merge pure-cfg changes back into trunk

Revision 511 - Directory Listing
Modified Tue Feb 8 17:01:43 2011 UTC (8 years, 9 months ago) by jhr
  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

Revision 475 - Directory Listing
Modified Thu Nov 4 18:57:11 2010 UTC (9 years ago) by jhr
  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
  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
  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
  Working on slice support

Revision 381 - Directory Listing
Modified Tue Oct 5 21:42:17 2010 UTC (9 years, 1 month ago) by jhr
  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, 1 month ago) by jhr
  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, 3 months ago) by jhr
  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, 3 months ago) by jhr
  Bug fixes

Revision 228 - Directory Listing
Modified Wed Aug 4 13:36:35 2010 UTC (9 years, 3 months ago) by jhr
  Made typechecking more strict.

Revision 173 - Directory Listing
Modified Sat Jul 24 15:37:50 2010 UTC (9 years, 3 months ago) by jhr
  Cleanup and simplification of AST representation

Revision 171 - Directory Listing
Modified Sat Jul 24 14:13:10 2010 UTC (9 years, 3 months ago) by jhr
  Adding simple-ast representation

Revision 170 - Directory Listing
Modified Sat Jul 24 13:30:47 2010 UTC (9 years, 3 months ago) by jhr
  Restrict polymorphism to operators/functions.

Revision 169 - Directory Listing
Modified Thu Jul 22 20:07:37 2010 UTC (9 years, 3 months ago) by jhr
  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
  Added output state variables and stabilize methods

Revision 110 - Directory Listing
Modified Wed Jun 23 19:28:48 2010 UTC (9 years, 4 months ago) by jhr
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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 5 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, 8 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