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

SCM Repository

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

Log of /trunk/src/compiler/typechecker/typechecker.sml

Parent Directory Parent Directory


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

Revision 2462 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 9 20:28:22 2013 UTC (5 years, 10 months ago) by jhr
File length: 51429 byte(s)
Diff to previous 2356 , to selected 435
  Merging in changes from the staging branch

Revision 2356 - (view) (download) (annotate) - [select for diffs]
Modified Sun Apr 7 14:45:25 2013 UTC (6 years, 4 months ago) by jhr
File length: 50930 byte(s)
Diff to previous 1923 , to selected 435
  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 (7 years, 1 month ago) by jhr
File length: 27109 byte(s)
Diff to previous 1640 , to selected 435
  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, 9 months ago) by jhr
File length: 27103 byte(s)
Diff to previous 1444 , to selected 435
  Merging in changes from pure-cfg branch.

Revision 1444 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 11 12:11:53 2011 UTC (8 years, 1 month ago) by jhr
File length: 25279 byte(s)
Diff to previous 1301 , to selected 435
  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 (8 years, 2 months ago) by jhr
File length: 25226 byte(s)
Diff to previous 1296 , to selected 435
  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 (8 years, 2 months ago) by jhr
File length: 24883 byte(s)
Diff to previous 1116 , to selected 435
  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 (8 years, 3 months ago) by jhr
File length: 24383 byte(s)
Diff to previous 511 , to selected 435
  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, 6 months ago) by jhr
File length: 18841 byte(s)
Diff to previous 475 , to selected 435
  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, 9 months ago) by jhr
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) - [selected]
Modified Tue Oct 19 13:14:20 2010 UTC (8 years, 10 months ago) by jhr
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, 10 months ago) by jhr
File length: 18704 byte(s)
Diff to previous 399 , to selected 435
  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, 10 months ago) by jhr
File length: 18677 byte(s)
Diff to previous 381 , to selected 435
  Working on slice support

Revision 381 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 5 21:42:17 2010 UTC (8 years, 10 months ago) by jhr
File length: 18705 byte(s)
Diff to previous 370 , to selected 435
  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, 10 months ago) by jhr
File length: 17805 byte(s)
Diff to previous 235 , to selected 435
  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 (9 years ago) by jhr
File length: 17268 byte(s)
Diff to previous 228 , to selected 435
  Bug fixes

Revision 228 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 4 13:36:35 2010 UTC (9 years ago) by jhr
File length: 17274 byte(s)
Diff to previous 173 , to selected 435
  Made typechecking more strict.

Revision 173 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 15:37:50 2010 UTC (9 years ago) by jhr
File length: 16174 byte(s)
Diff to previous 171 , to selected 435
  Cleanup and simplification of AST representation

Revision 171 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 14:13:10 2010 UTC (9 years ago) by jhr
File length: 16089 byte(s)
Diff to previous 170 , to selected 435
  Adding simple-ast representation

Revision 170 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 13:30:47 2010 UTC (9 years ago) by jhr
File length: 16197 byte(s)
Diff to previous 169 , to selected 435
  Restrict polymorphism to operators/functions.

Revision 169 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 22 20:07:37 2010 UTC (9 years, 1 month ago) by jhr
File length: 16172 byte(s)
Diff to previous 164 , to selected 435
  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 (9 years, 1 month ago) by jhr
File length: 15543 byte(s)
Diff to previous 110 , to selected 435
  Added output state variables and stabilize methods

Revision 110 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 23 19:28:48 2010 UTC (9 years, 1 month ago) by jhr
File length: 15525 byte(s)
Diff to previous 99 , to selected 435
  Moving compiler sources into src/compiler

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

Revision 96 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 17:57:31 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14781 byte(s)
Diff to previous 91 , to selected 435
  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 (9 years, 2 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 14769 byte(s)
Diff to previous 89 , to selected 435
  Fixed some bugs in the basis

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

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

Revision 86 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 22:23:17 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12232 byte(s)
Diff to previous 85 , to selected 435
  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 (9 years, 2 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 12031 byte(s)
Diff to previous 83 , to selected 435
  Working on typechecker

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

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

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

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

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

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

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

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

Revision 69 - (view) (download) (annotate) - [select for diffs]
Added Tue May 18 21:23:53 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src/typechecker/typechecker.sml
File length: 709 byte(s)
Diff to selected 435
  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