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

SCM Repository

[diderot] Log of /branches/vis15/src/compiler/typechecker/check-expr.sml
ViewVC logotype

Log of /branches/vis15/src/compiler/typechecker/check-expr.sml

Parent Directory Parent Directory


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

Revision 3719 - (view) (download) (annotate) - [select for diffs]
Modified Mon Apr 4 16:53:00 2016 UTC (3 years, 6 months ago) by jhr
File length: 33364 byte(s)
Diff to previous 3712
  Added FIXMEs for tensor/field slicing

Revision 3712 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 1 22:57:48 2016 UTC (3 years, 6 months ago) by jhr
File length: 33330 byte(s)
Diff to previous 3499
  Added missing check that tensor indices are constant

Revision 3499 - (view) (download) (annotate) - [select for diffs]
Modified Wed Dec 16 14:34:52 2015 UTC (3 years, 10 months ago) by jhr
File length: 32947 byte(s)
Diff to previous 3467
added check for second argument of pow_si operator

Revision 3467 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 29 20:45:59 2015 UTC (3 years, 10 months ago) by jhr
File length: 32393 byte(s)
Diff to previous 3464
working on reductions for merge

Revision 3464 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 29 17:38:34 2015 UTC (3 years, 10 months ago) by jhr
File length: 32392 byte(s)
Diff to previous 3463
working on reductions for merge

Revision 3463 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 29 15:07:26 2015 UTC (3 years, 10 months ago) by jhr
File length: 32368 byte(s)
Diff to previous 3455
working on global reductions in merge

Revision 3455 - (view) (download) (annotate) - [select for diffs]
Modified Mon Nov 23 13:54:15 2015 UTC (3 years, 10 months ago) by jhr
File length: 32040 byte(s)
Diff to previous 3433
working on merge

Revision 3433 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 15 15:40:14 2015 UTC (3 years, 11 months ago) by jhr
File length: 32038 byte(s)
Diff to previous 3431
bug fixing in merge

Revision 3431 - (view) (download) (annotate) - [select for diffs]
Modified Sat Nov 14 14:03:58 2015 UTC (3 years, 11 months ago) by jhr
File length: 32246 byte(s)
Diff to previous 3428
  Working on merge; some bug fixing and code cleanup

Revision 3428 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 17:47:12 2015 UTC (3 years, 11 months ago) by jhr
File length: 30982 byte(s)
Diff to previous 3427
bug fixing in merge

Revision 3427 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 17:07:04 2015 UTC (3 years, 11 months ago) by jhr
File length: 31008 byte(s)
Diff to previous 3426
added tensor indexing/slicing to merged typechecker

Revision 3426 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 16:49:21 2015 UTC (3 years, 11 months ago) by jhr
File length: 30535 byte(s)
Diff to previous 3424
  Adding more support for deprecated syntax

Revision 3424 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 15:44:42 2015 UTC (3 years, 11 months ago) by jhr
File length: 30420 byte(s)
Diff to previous 3422
more merging

Revision 3422 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 14:17:49 2015 UTC (3 years, 11 months ago) by jhr
File length: 28114 byte(s)
Diff to previous 3421
  bug fixing mnerge

Revision 3421 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 13:05:06 2015 UTC (3 years, 11 months ago) by jhr
File length: 27218 byte(s)
Diff to previous 3418
  added typechecking support for 'kernal#diff' syntax

Revision 3418 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 13 00:00:26 2015 UTC (3 years, 11 months ago) by jhr
File length: 26585 byte(s)
Diff to previous 3413
  debugging merged version

Revision 3413 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 12 15:21:54 2015 UTC (3 years, 11 months ago) by jhr
File length: 26617 byte(s)
Diff to previous 3410
working on merge

Revision 3410 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 12 02:57:49 2015 UTC (3 years, 11 months ago) by jhr
File length: 26615 byte(s)
Diff to previous 3408
working on merge

Revision 3408 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 20:26:18 2015 UTC (3 years, 11 months ago) by jhr
File length: 26479 byte(s)
Diff to previous 3407
working on merge

Revision 3407 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 18:53:18 2015 UTC (3 years, 11 months ago) by jhr
File length: 26481 byte(s)
Diff to previous 3405
working on merge

Revision 3405 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 14:46:13 2015 UTC (3 years, 11 months ago) by jhr
File length: 18891 byte(s)
Diff to previous 3402
working on merge

Revision 3402 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 02:54:23 2015 UTC (3 years, 11 months ago) by jhr
File length: 15680 byte(s)
Diff to previous 3398
working on merge

Revision 3398 - (view) (download) (annotate) - [select for diffs]
Modified Wed Nov 11 01:17:58 2015 UTC (3 years, 11 months ago) by jhr
File length: 15648 byte(s)
Diff to previous 3396
working on merge

Revision 3396 - (view) (download) (annotate) - [select for diffs]
Added Tue Nov 10 18:45:38 2015 UTC (3 years, 11 months ago) by jhr
File length: 13167 byte(s)
  working on merge

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