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

SCM Repository

[diderot] Log of /branches/vis12/src/compiler/simplify/simplify.sml
ViewVC logotype

Log of /branches/vis12/src/compiler/simplify/simplify.sml

Parent Directory Parent Directory


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

Revision 3322 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 19 19:39:09 2015 UTC (4 years ago) by jhr
File length: 20082 byte(s)
Diff to previous 3291
  Fixed bug042.  This bug was a side effect of the change in precedence, which
  required a different treatment of negative literals.  We now constant fold
  them during simplification.

Revision 3291 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 14 21:25:00 2015 UTC (4 years ago) by jhr
File length: 20604 byte(s)
Diff to previous 3191
code is copyright University of Chicago

Revision 3191 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 4 00:33:02 2015 UTC (4 years, 6 months ago) by jhr
File length: 20762 byte(s)
Diff to previous 2826
  added "continue" statement inside the update method.  The effect is to exit
  the method, but to leave the strand active (unlike die and stabilize).

Revision 2826 - (view) (download) (annotate) - [select for diffs]
Modified Mon Nov 10 21:06:46 2014 UTC (4 years, 11 months ago) by jhr
File length: 20702 byte(s)
Diff to previous 2823
  detabbing

Revision 2823 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 9 03:57:35 2014 UTC (4 years, 11 months ago) by jhr
File length: 19770 byte(s)
Diff to previous 2814
  new unreachable code pruning; checks for missing strands/initially (the parser prevents
  these errors currently, but future language evolution may change that)

Revision 2814 - (view) (download) (annotate) - [select for diffs]
Modified Sat Nov 8 21:55:25 2014 UTC (4 years, 11 months ago) by jhr
File length: 17244 byte(s)
Diff to previous 2813
  cleanup and detabbing

Revision 2813 - (view) (download) (annotate) - [select for diffs]
Modified Sat Nov 8 21:48:17 2014 UTC (4 years, 11 months ago) by jhr
File length: 17223 byte(s)
Diff to previous 2782
  Fix for bug 019 (allowing richer initializers for input globals).

Revision 2782 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 17:05:56 2014 UTC (5 years ago) by jhr
File length: 18544 byte(s)
Diff to previous 2778
  Fix bug018 in a different place.

Revision 2778 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 13:49:38 2014 UTC (5 years ago) by jhr
File length: 18948 byte(s)
Diff to previous 2722
  Fix for bug018

Revision 2722 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 23 20:56:24 2014 UTC (5 years ago) by jhr
File length: 18544 byte(s)
Diff to previous 2633
  Fix bug022 (empty sequence not supported yet)

Revision 2633 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 26 13:31:50 2014 UTC (5 years, 4 months ago) by jhr
File length: 18528 byte(s)
Diff to previous 2512
  tab conversion

Revision 2512 - (view) (download) (annotate) - [select for diffs]
Modified Thu Nov 21 16:22:48 2013 UTC (5 years, 11 months ago) by jhr
File length: 18318 byte(s)
Diff to previous 2481
  some minor fixes for dynamic sequences

Revision 2481 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 14 15:00:53 2013 UTC (6 years ago) by jhr
File length: 18233 byte(s)
Diff to previous 2365
  merging in new SimpleAST representation from stage

Revision 2365 - (view) (download) (annotate) - [select for diffs]
Modified Fri Apr 12 12:52:31 2013 UTC (6 years, 6 months ago) by jhr
File length: 16032 byte(s)
Diff to previous 2328
  merging in changes from Lamont's branch.

Revision 2328 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 22 18:21:07 2013 UTC (6 years, 7 months ago) by jhr
File length: 16005 byte(s)
Diff to previous 2272
  Prune types when converting to SimpleAST and a better exception message.

Revision 2272 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 7 20:10:07 2013 UTC (6 years, 7 months ago) by jhr
File length: 15804 byte(s)
Diff to previous 2211
  tab expansion

Revision 2211 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 26 12:13:36 2013 UTC (6 years, 7 months ago) by jhr
File length: 12230 byte(s)
Diff to previous 2156
  Typecheck strand creation.

Revision 2156 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 18 17:02:06 2013 UTC (6 years, 8 months ago) by jhr
File length: 12218 byte(s)
Diff to previous 2154
  Fixed typo

Revision 2154 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 18 16:54:22 2013 UTC (6 years, 8 months ago) by jhr
File length: 12216 byte(s)
Diff to previous 2147
  Handle pruning of code following if-then-else.

Revision 2147 - (view) (download) (annotate) - [select for diffs]
Modified Sun Feb 17 17:30:09 2013 UTC (6 years, 8 months ago) by jhr
File length: 12123 byte(s)
Diff to previous 2141
  Fixed bug in the way that unreachable code was being pruned.

Revision 2141 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 15 13:13:46 2013 UTC (6 years, 8 months ago) by jhr
File length: 11930 byte(s)
Diff to previous 2140
  Added function inliner to simplify phase.

Revision 2140 - (view) (download) (annotate) - [select for diffs]
Modified Thu Feb 14 23:58:15 2013 UTC (6 years, 8 months ago) by jhr
File length: 11802 byte(s)
Diff to previous 2135
  Prune unreachable statements (we need this so that inlining is correct)

Revision 2135 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 11 12:33:24 2013 UTC (6 years, 8 months ago) by jhr
File length: 11307 byte(s)
Diff to previous 2059
  Working on functions.  Added to Simple AST representation.

Revision 2059 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 30 17:46:04 2012 UTC (6 years, 11 months ago) by jhr
File length: 11031 byte(s)
Diff to previous 2026
  working on input support cleanup

Revision 2026 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 11 00:26:15 2012 UTC (7 years ago) by jhr
File length: 10913 byte(s)
Diff to previous 2014
  working on sequences, etc.

Revision 2014 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 8 14:58:19 2012 UTC (7 years ago) by jhr
File length: 10433 byte(s)
Diff to previous 2013
  working on inputs

Revision 2013 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 8 14:52:41 2012 UTC (7 years ago) by jhr
File length: 10425 byte(s)
Diff to previous 2012
  More work on input

Revision 2012 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 8 14:27:53 2012 UTC (7 years ago) by jhr
File length: 10056 byte(s)
Diff to previous 2011
  Working on inputs, dynamic sequences, etc.

Revision 2011 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 7 21:14:31 2012 UTC (7 years ago) by jhr
File length: 9883 byte(s)
Diff to previous 1996
  Working on inputs

Revision 1996 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 4 10:42:57 2012 UTC (7 years ago) by jhr
File length: 8894 byte(s)
Diff to previous 1993
  working on dynamic sequence support

Revision 1993 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 28 14:51:23 2012 UTC (7 years ago) by jhr
File length: 8282 byte(s)
Diff to previous 1992
  Working on dynamic sequence loading

Revision 1992 - (view) (download) (annotate) - [select for diffs]
Modified Thu Sep 27 10:23:12 2012 UTC (7 years ago) by jhr
File length: 8280 byte(s)
Diff to previous 1688
  Working on dynamic sequence loading

Revision 1688 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 25 13:36:13 2012 UTC (7 years, 8 months ago) by jhr
File length: 7625 byte(s)
Diff to previous 1687
  More work on dynamic sequences.

Revision 1687 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 25 13:02:32 2012 UTC (7 years, 8 months ago) by jhr
File length: 7515 byte(s)
Diff to previous 1685
  Working on support for dynamic sequences; also adding support for type coercions.

Revision 1685 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jan 22 15:23:36 2012 UTC (7 years, 9 months ago) by jhr
File length: 7233 byte(s)
Diff to previous 1640
  Create a branch to implement things that we need for the Vis 2012 paper

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

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

Revision 1140 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 6 14:16:00 2011 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 7042 byte(s)
Diff to previous 1116
  porting changes from development branch

Revision 1116 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 5 04:49:02 2011 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 6949 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, 8 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5731 byte(s)
Diff to previous 435
  Backporting changes from pure-cfg branch.  These include the "actor" ==> "strand"
  changes.

Revision 435 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 19 13:14:20 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5722 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 (9 years ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5713 byte(s)
Diff to previous 415
  Bug fix: get the result type of condtional expressions right when simplifying

Revision 415 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 17 00:21:51 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5716 byte(s)
Diff to previous 399
  bug fix for conditional expressions

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

Revision 395 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 16:52:15 2010 UTC (9 years ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5413 byte(s)
Diff to previous 240
  Fix inexhaustive matches by adding E_Slice placeholders

Revision 240 - (view) (download) (annotate) - [select for diffs]
Modified Fri Aug 6 04:59:16 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5275 byte(s)
Diff to previous 238
  Working on lifting and translation

Revision 238 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 5 23:17:46 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5346 byte(s)
Diff to previous 236
  Use the log file for debugging output

Revision 236 - (view) (download) (annotate) - [select for diffs]
Modified Thu Aug 5 21:57:57 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5346 byte(s)
Diff to previous 229
  Hook in evaluation of statics

Revision 229 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 4 15:46:08 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5302 byte(s)
Diff to previous 227
  Added type field to E_Input in Simple AST.

Revision 227 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 4 05:27:13 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5266 byte(s)
Diff to previous 221
  Working on lifting

Revision 221 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 3 20:13:55 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5042 byte(s)
Diff to previous 197
  Added E_Input and E_Field constructors to Simple AST

Revision 197 - (view) (download) (annotate) - [select for diffs]
Modified Mon Aug 2 20:51:47 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5442 byte(s)
Diff to previous 185
  Working on translation to HighIL

Revision 185 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jul 28 17:11:09 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5357 byte(s)
Diff to previous 179
  Renamed internal variable input to optInput and added input variable.

Revision 179 - (view) (download) (annotate) - [select for diffs]
Modified Tue Jul 27 20:43:23 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 5029 byte(s)
Diff to previous 175
  Simplified AST code now uses default input values when no input is given.

Revision 175 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jul 24 16:53:55 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 4875 byte(s)
Diff to previous 173
  Added pretty printing for simplified AST

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

Revision 171 - (view) (download) (annotate) - [select for diffs]
Added Sat Jul 24 14:13:10 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/simplify/simplify.sml
File length: 4857 byte(s)
  Adding simple-ast representation

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