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

SCM Repository

[diderot] Log of /branches/lamont/src/compiler/typechecker
ViewVC logotype

Log of /branches/lamont/src/compiler/typechecker

View Directory Listing Directory Listing


Sticky Revision:

Revision 2120 - Directory Listing
Modified Thu Feb 7 13:46:31 2013 UTC (6 years, 8 months ago) by lamonts
Adding distance function and fixes to spatial communication

Revision 2101 - Directory Listing
Modified Thu Dec 6 06:37:07 2012 UTC (6 years, 10 months ago) by lamonts
Global Reduction code fixes

Revision 2098 - Directory Listing
Modified Mon Nov 26 17:14:36 2012 UTC (6 years, 10 months ago) by lamonts
Added Reduction to IL stages

Revision 2096 - Directory Listing
Modified Sat Nov 24 19:15:25 2012 UTC (6 years, 10 months ago) by lamonts
Adding Global Reduction Support

Revision 2095 - Directory Listing
Modified Tue Nov 20 15:15:55 2012 UTC (6 years, 10 months ago) by lamonts
Submitting global reduction code

Revision 2089 - Directory Listing
Modified Sun Nov 11 14:15:31 2012 UTC (6 years, 11 months ago) by lamonts
Added checks for making sure pos was defined

Revision 2088 - Directory Listing
Modified Sun Nov 11 02:07:16 2012 UTC (6 years, 11 months ago) by lamonts
Added checks for making sure pos was defined

Revision 2084 - Directory Listing
Modified Fri Nov 9 21:55:00 2012 UTC (6 years, 11 months ago) by lamonts
Fixed problem with foreach

Revision 2083 - Directory Listing
Modified Thu Nov 8 18:42:05 2012 UTC (6 years, 11 months ago) by lamonts
added grid code and dot notation

Revision 2081 - Directory Listing
Modified Mon Nov 5 23:26:06 2012 UTC (6 years, 11 months ago) by lamonts
Creating new developmented branch based on vis12

Revision 2050 - Directory Listing
Modified Mon Oct 22 14:11:49 2012 UTC (6 years, 11 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Allow images as inputs

Revision 2019 - Directory Listing
Modified Wed Oct 10 11:48:09 2012 UTC (7 years ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  fixed bug in typechecker

Revision 2011 - Directory Listing
Modified Sun Oct 7 21:14:31 2012 UTC (7 years ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Working on inputs

Revision 1992 - Directory Listing
Modified Thu Sep 27 10:23:12 2012 UTC (7 years ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Working on dynamic sequence loading

Revision 1991 - Directory Listing
Modified Sun Aug 12 15:25:39 2012 UTC (7 years, 2 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Working on dynamic sequences

Revision 1981 - Directory Listing
Modified Fri Jul 27 23:14:13 2012 UTC (7 years, 2 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  update TODO list

Revision 1975 - Directory Listing
Modified Mon Jul 16 01:01:19 2012 UTC (7 years, 3 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Fix missing promotion cases

Revision 1973 - Directory Listing
Modified Sun Jul 15 20:45:59 2012 UTC (7 years, 3 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Bug fixes for int to real promotion

Revision 1971 - Directory Listing
Modified Sun Jul 15 16:24:43 2012 UTC (7 years, 3 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Implementing int -> real promotion

Revision 1945 - Directory Listing
Modified Fri Jul 6 14:54:21 2012 UTC (7 years, 3 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Working on ":" support

Revision 1925 - Directory Listing
Modified Sat Jun 23 14:16:09 2012 UTC (7 years, 3 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Added length function on dynamic sequences

Revision 1688 - Directory Listing
Modified Wed Jan 25 13:36:13 2012 UTC (7 years, 8 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  More work on dynamic sequences.

Revision 1687 - Directory Listing
Modified Wed Jan 25 13:02:32 2012 UTC (7 years, 8 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Working on support for dynamic sequences; also adding support for type coercions.

Revision 1685 - Directory Listing
Modified Sun Jan 22 15:23:36 2012 UTC (7 years, 8 months ago) by jhr
Original Path: branches/vis12/src/compiler/typechecker
  Create a branch to implement things that we need for the Vis 2012 paper

Revision 1640 - Directory Listing
Modified Wed Nov 16 02:19:51 2011 UTC (7 years, 11 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Merging in changes from pure-cfg branch.

Revision 1444 - Directory Listing
Modified Mon Jul 11 12:11:53 2011 UTC (8 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  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, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  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, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  Adding support for assignment operators to the trunk.

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

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

Revision 511 - Directory Listing
Modified Tue Feb 8 17:01:43 2011 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker
  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 (8 years, 11 months 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 (8 years, 11 months 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 (8 years, 11 months 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 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 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 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, 2 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, 2 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, 2 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, 2 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, 2 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, 2 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, 2 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, 2 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, 3 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 4 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, 7 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