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

SCM Repository

[diderot] Log of /branches/ein16/src/compiler/typechecker/typechecker.sml
ViewVC logotype

Log of /branches/ein16/src/compiler/typechecker/typechecker.sml

Parent Directory Parent Directory


Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 3946 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 11 00:39:19 2016 UTC (2 years, 9 months ago) by cchiw
File length: 66159 byte(s)
Diff to previous 3682
 added outer prod

Revision 3682 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 18 20:13:18 2016 UTC (3 years, 1 month ago) by cchiw
File length: 63349 byte(s)
Diff to previous 3472
creating stable branch that represents ein ir

Revision 3472 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 1 18:45:25 2015 UTC (3 years, 3 months ago) by cchiw
Original Path: branches/charisee_dev/src/compiler/typechecker/typechecker.sml
File length: 63349 byte(s)
Diff to previous 3349
adding split to different level

Revision 3349 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 27 15:16:36 2015 UTC (3 years, 4 months ago) by jhr
Original Path: branches/charisee_dev/src/compiler/typechecker/typechecker.sml
File length: 63111 byte(s)
Diff to previous 3269
making copyrights consistent for all code in the repository

Revision 3269 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 9 00:54:03 2015 UTC (3 years, 5 months ago) by cchiw
Original Path: branches/charisee_dev/src/compiler/typechecker/typechecker.sml
File length: 63058 byte(s)
Diff to previous 3229
dev branch

Revision 3229 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 30 16:10:54 2015 UTC (3 years, 7 months ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 63058 byte(s)
Diff to previous 3148
double dot between arbitrary tensors and fields

Revision 3148 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 27 16:30:52 2015 UTC (4 years ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 60548 byte(s)
Diff to previous 3146
more fixes to unused variable tracking

Revision 3146 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 27 16:18:00 2015 UTC (4 years ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 60349 byte(s)
Diff to previous 3060
  add missing setLoc for functions

Revision 3060 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 13 22:12:44 2015 UTC (4 years ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 60232 byte(s)
Diff to previous 2955
merge in inputs from trunk

Revision 2955 - (view) (download) (annotate) - [select for diffs]
Modified Wed Mar 4 23:06:28 2015 UTC (4 years ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 54963 byte(s)
Diff to previous 2926
sync branches

Revision 2926 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 3 22:38:29 2015 UTC (4 years ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 54959 byte(s)
Diff to previous 2923
  typechecking for inner product

Revision 2923 - (view) (download) (annotate) - [select for diffs]
Modified Tue Mar 3 15:33:44 2015 UTC (4 years ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 56799 byte(s)
Diff to previous 2906
move summation around

Revision 2906 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 2 17:44:30 2015 UTC (4 years ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 56791 byte(s)
Diff to previous 2611
added tensor +/- fields ops

Revision 2611 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 5 21:21:12 2014 UTC (4 years, 10 months ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 54459 byte(s)
Diff to previous 2610
InnerProduct, DoubleDot:

Revision 2610 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 2 18:31:56 2014 UTC (4 years, 10 months ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 52461 byte(s)
Diff to previous 2606
  indentation fix

Revision 2606 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 30 16:05:25 2014 UTC (4 years, 10 months ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 52764 byte(s)
Diff to previous 2585
added files

Revision 2585 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 17 03:52:19 2014 UTC (4 years, 11 months ago) by cchiw
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 52243 byte(s)
Diff to previous 2490
Outer product

Revision 2490 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 21 21:17:25 2013 UTC (5 years, 5 months ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 51429 byte(s)
Diff to previous 2377
  Merging in changes from trunk

Revision 2377 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jun 3 19:41:56 2013 UTC (5 years, 9 months ago) by jhr
Original Path: branches/charisee/src/compiler/typechecker/typechecker.sml
File length: 50930 byte(s)
Diff to previous 2356
  Create new branch for Charisee's Einstein stuff

Revision 2356 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 7 14:45:25 2013 UTC (5 years, 11 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 50930 byte(s)
Diff to previous 1923
  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 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 23 12:02:18 2012 UTC (6 years, 9 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 27109 byte(s)
Diff to previous 1640
  ported changes from vis12 branch (C math functions)

Revision 1640 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 16 02:19:51 2011 UTC (7 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 27103 byte(s)
Diff to previous 1444
  Merging in changes from pure-cfg branch.

Revision 1444 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 11 12:11:53 2011 UTC (7 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 25279 byte(s)
Diff to previous 1301
  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

Revision 1301 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 23:58:40 2011 UTC (7 years, 9 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 25226 byte(s)
Diff to previous 1296
  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

Revision 1296 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 12:42:09 2011 UTC (7 years, 9 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 24883 byte(s)
Diff to previous 1116
  Adding support for assignment operators to the trunk.

Revision 1116 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 5 04:49:02 2011 UTC (7 years, 10 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 24383 byte(s)
Diff to previous 511
  more merging of pure-cfg changes back into trunk

Revision 511 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 8 17:01:43 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18841 byte(s)
Diff to previous 475
  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

Revision 475 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 4 18:57:11 2010 UTC (8 years, 4 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18812 byte(s)
Diff to previous 435
  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

Revision 435 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 19 13:14:20 2010 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18713 byte(s)
Diff to previous 416
  Upated URL in header to diderot-language.cs.uchicago.edu

Revision 416 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 17 00:32:07 2010 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18704 byte(s)
Diff to previous 399
  Bug fix: get the result type of condtional expressions right when simplifying

Revision 399 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 20:08:35 2010 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18677 byte(s)
Diff to previous 381
  Working on slice support

Revision 381 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 5 21:42:17 2010 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 18705 byte(s)
Diff to previous 370
  Working on adding slice notation and fixed precedence of differentiation

Revision 370 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 2 17:19:14 2010 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17805 byte(s)
Diff to previous 235
  Added parse-tree support for conditional expressions (still need parser support)

Revision 235 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 5 21:57:46 2010 UTC (8 years, 7 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17268 byte(s)
Diff to previous 228
  Bug fixes

Revision 228 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 4 13:36:35 2010 UTC (8 years, 7 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 17274 byte(s)
Diff to previous 173
  Made typechecking more strict.

Revision 173 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 15:37:50 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16174 byte(s)
Diff to previous 171
  Cleanup and simplification of AST representation

Revision 171 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 14:13:10 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16089 byte(s)
Diff to previous 170
  Adding simple-ast representation

Revision 170 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 13:30:47 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16197 byte(s)
Diff to previous 169
  Restrict polymorphism to operators/functions.

Revision 169 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 22 20:07:37 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 16172 byte(s)
Diff to previous 164
  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

Revision 164 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 20 18:56:04 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 15543 byte(s)
Diff to previous 110
  Added output state variables and stabilize methods

Revision 110 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 23 19:28:48 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src/compiler/typechecker/typechecker.sml
File length: 15525 byte(s)
Diff to previous 99
  Moving compiler sources into src/compiler

Revision 99 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 28 00:14:34 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 15525 byte(s)
Diff to previous 96
  Better error messages

Revision 96 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 17:57:31 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14781 byte(s)
Diff to previous 91
  Code reorg and added type arguments to variable printing in ASTPP.

Revision 91 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 15:16:36 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14769 byte(s)
Diff to previous 89
  Fixed some bugs in the basis

Revision 89 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 01:37:21 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14718 byte(s)
Diff to previous 88
  Working on typechecker

Revision 88 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 23:07:50 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12974 byte(s)
Diff to previous 86
  Working on typechecker

Revision 86 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 22:23:17 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12232 byte(s)
Diff to previous 85
  Added new syntax for tensor-value construction and more work on typechecker.

Revision 85 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 19:51:10 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12031 byte(s)
Diff to previous 83
  Working on typechecker

Revision 83 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:50:44 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 11313 byte(s)
Diff to previous 82
  More work on the typechecker

Revision 82 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:20:49 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 10444 byte(s)
Diff to previous 81
  Working on typechecker

Revision 81 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 17:28:54 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 8962 byte(s)
Diff to previous 80
  Working on typechecker

Revision 80 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 25 03:05:33 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6051 byte(s)
Diff to previous 75
  Working on typechecker

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6011 byte(s)
Diff to previous 72
  Propoagating changes to meta variables

Revision 72 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:48:47 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 6010 byte(s)
Diff to previous 71
  Working on typechecker

Revision 71 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 22:16:04 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 4003 byte(s)
Diff to previous 70
  Working on typechecker

Revision 70 - (view) (download) (annotate) - [select for diffs]
Modified Sat May 22 14:23:32 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 3123 byte(s)
Diff to previous 69
  Working on typechecker

Revision 69 - (view) (download) (annotate) - [select for diffs]
Added Tue May 18 21:23:53 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 709 byte(s)
  Starting to write a typechecker

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

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