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

SCM Repository

[diderot] Log of /branches/charisee/src
ViewVC logotype

Log of /branches/charisee/src

View Directory Listing Directory Listing


Sticky Revision:

Revision 2555 - Directory Listing
Modified Mon Mar 3 19:14:57 2014 UTC (5 years, 4 months ago) by cchiw
Code Clean up

Revision 2554 - Directory Listing
Modified Sun Mar 2 19:58:48 2014 UTC (5 years, 4 months ago) by cchiw
Value numbering

Revision 2553 - Directory Listing
Modified Sun Mar 2 19:53:33 2014 UTC (5 years, 4 months ago) by cchiw
Value numbering

Revision 2543 - Directory Listing
Modified Sun Feb 16 18:18:58 2014 UTC (5 years, 5 months ago) by cchiw
uncomment dot product

Revision 2536 - Directory Listing
Modified Thu Jan 30 20:02:50 2014 UTC (5 years, 5 months ago) by cchiw
type checker

Revision 2533 - Directory Listing
Modified Thu Jan 30 04:58:56 2014 UTC (5 years, 5 months ago) by cchiw
type checker

Revision 2531 - Directory Listing
Modified Wed Jan 29 22:23:42 2014 UTC (5 years, 5 months ago) by cchiw
Change dot-times op

Revision 2530 - Directory Listing
Modified Wed Jan 29 20:58:31 2014 UTC (5 years, 5 months ago) by cchiw
Change dot-times op

Revision 2529 - Directory Listing
Modified Wed Jan 29 06:58:55 2014 UTC (5 years, 5 months ago) by cchiw
change to image ops

Revision 2525 - Directory Listing
Modified Tue Jan 21 19:14:22 2014 UTC (5 years, 6 months ago) by cchiw
eintypes->mid-iltypes

Revision 2524 - Directory Listing
Modified Fri Jan 17 20:17:12 2014 UTC (5 years, 6 months ago) by cchiw
fixed type problems

Revision 2523 - Directory Listing
Modified Fri Jan 17 19:25:37 2014 UTC (5 years, 6 months ago) by cchiw
fixed type problems

Revision 2522 - Directory Listing
Modified Mon Jan 13 18:42:09 2014 UTC (5 years, 6 months ago) by cchiw
added gentypes to mid-il and split to High-to-mid il

Revision 2521 - Directory Listing
Modified Thu Jan 9 02:17:07 2014 UTC (5 years, 6 months ago) by cchiw
Added type Checker

Revision 2520 - Directory Listing
Modified Mon Dec 30 05:08:47 2013 UTC (5 years, 6 months ago) by cchiw
ein to gen-ein functions and tests

Revision 2519 - Directory Listing
Modified Tue Dec 17 16:34:21 2013 UTC (5 years, 7 months ago) by cchiw
 gen-ein

Revision 2518 - Directory Listing
Modified Tue Dec 17 00:04:37 2013 UTC (5 years, 7 months ago) by cchiw
added kernels to gen

Revision 2517 - Directory Listing
Modified Thu Dec 12 20:35:28 2013 UTC (5 years, 7 months ago) by cchiw
regular check-in

Revision 2516 - Directory Listing
Modified Thu Dec 12 20:30:27 2013 UTC (5 years, 7 months ago) by cchiw
generate code

Revision 2515 - Directory Listing
Modified Mon Dec 2 03:42:14 2013 UTC (5 years, 7 months ago) by cchiw
 

Revision 2510 - Directory Listing
Modified Thu Nov 14 20:33:18 2013 UTC (5 years, 8 months ago) by cchiw
 

Revision 2509 - Directory Listing
Modified Tue Nov 12 21:24:35 2013 UTC (5 years, 8 months ago) by cchiw
 

Revision 2508 - Directory Listing
Modified Tue Nov 12 17:14:33 2013 UTC (5 years, 8 months ago) by cchiw
Added Tests

Revision 2507 - Directory Listing
Modified Mon Nov 11 20:03:02 2013 UTC (5 years, 8 months ago) by cchiw
add app-ein.sml to high-il

Revision 2506 - Directory Listing
Modified Fri Nov 8 00:05:57 2013 UTC (5 years, 8 months ago) by cchiw
Added divergence & hessian

Revision 2504 - Directory Listing
Modified Mon Nov 4 22:12:04 2013 UTC (5 years, 8 months ago) by cchiw
 divide field

Revision 2502 - Directory Listing
Modified Mon Nov 4 21:33:35 2013 UTC (5 years, 8 months ago) by cchiw
mid-il fixes

Revision 2501 - Directory Listing
Modified Mon Nov 4 17:23:39 2013 UTC (5 years, 8 months ago) by cchiw
old version

Revision 2500 - Directory Listing
Modified Mon Nov 4 17:20:29 2013 UTC (5 years, 8 months ago) by cchiw
old version

Revision 2499 - Directory Listing
Modified Mon Nov 4 16:10:36 2013 UTC (5 years, 8 months ago) by cchiw
remove generic rep, change Summation index, and add tests

Revision 2498 - Directory Listing
Modified Wed Oct 30 17:35:23 2013 UTC (5 years, 8 months ago) by cchiw
add type checking

Revision 2497 - Directory Listing
Modified Wed Oct 30 17:29:20 2013 UTC (5 years, 8 months ago) by cchiw
 

Revision 2496 - Directory Listing
Modified Tue Oct 29 05:29:46 2013 UTC (5 years, 8 months ago) by cchiw
changes to high-to-mid

Revision 2494 - Directory Listing
Modified Wed Oct 23 14:32:58 2013 UTC (5 years, 9 months ago) by cchiw
 ein

Revision 2492 - Directory Listing
Modified Tue Oct 22 15:25:50 2013 UTC (5 years, 9 months ago) by jhr
  porting changes from trunk

Revision 2490 - Directory Listing
Modified Mon Oct 21 21:17:25 2013 UTC (5 years, 9 months ago) by jhr
  Merging in changes from trunk

Revision 2488 - Directory Listing
Modified Mon Oct 21 19:20:12 2013 UTC (5 years, 9 months ago) by cchiw
changes to expand Conv

Revision 2485 - Directory Listing
Modified Mon Oct 21 16:34:57 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2466 - Directory Listing
Modified Fri Oct 11 18:14:06 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2465 - Directory Listing
Modified Fri Oct 11 16:54:02 2013 UTC (5 years, 9 months ago) by cchiw
add expand-conv

Revision 2464 - Directory Listing
Modified Fri Oct 11 16:49:43 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2463 - Directory Listing
Modified Fri Oct 11 03:18:53 2013 UTC (5 years, 9 months ago) by cchiw
probe.sml

Revision 2460 - Directory Listing
Modified Wed Oct 9 19:09:26 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2459 - Directory Listing
Modified Wed Oct 9 19:09:21 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2458 - Directory Listing
Modified Tue Oct 8 19:42:58 2013 UTC (5 years, 9 months ago) by cchiw
working in einTest so won'te compile

Revision 2452 - Directory Listing
Modified Sat Oct 5 00:43:58 2013 UTC (5 years, 9 months ago) by cchiw
normalize test

Revision 2451 - Directory Listing
Modified Thu Oct 3 22:36:44 2013 UTC (5 years, 9 months ago) by jhr
  Fix compiler issues

Revision 2450 - Directory Listing
Modified Thu Oct 3 20:17:08 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2449 - Directory Listing
Modified Thu Oct 3 20:15:16 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2448 - Directory Listing
Modified Tue Oct 1 00:57:08 2013 UTC (5 years, 9 months ago) by cchiw
Change Sum term

Revision 2447 - Directory Listing
Modified Sat Sep 28 18:10:51 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2446 - Directory Listing
Modified Thu Sep 26 18:20:19 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2445 - Directory Listing
Modified Thu Sep 26 17:40:17 2013 UTC (5 years, 9 months ago) by cchiw
value numbering?

Revision 2439 - Directory Listing
Modified Tue Sep 24 18:37:56 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2438 - Directory Listing
Modified Tue Sep 24 16:46:04 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2437 - Directory Listing
Modified Mon Sep 23 22:28:42 2013 UTC (5 years, 9 months ago) by cchiw
 

Revision 2436 - Directory Listing
Modified Sat Sep 21 15:57:18 2013 UTC (5 years, 10 months ago) by cchiw
changed mu to alpha

Revision 2428 - Directory Listing
Modified Wed Sep 18 18:04:04 2013 UTC (5 years, 10 months ago) by cchiw
 

Revision 2427 - Directory Listing
Modified Wed Sep 18 15:20:54 2013 UTC (5 years, 10 months ago) by cchiw
design changes

Revision 2426 - Directory Listing
Modified Mon Sep 16 20:16:19 2013 UTC (5 years, 10 months ago) by cchiw
added deltas

Revision 2425 - Directory Listing
Modified Mon Sep 16 16:19:56 2013 UTC (5 years, 10 months ago) by cchiw
 

Revision 2424 - Directory Listing
Modified Mon Sep 16 14:57:35 2013 UTC (5 years, 10 months ago) by cchiw
Changed index type

Revision 2417 - Directory Listing
Modified Mon Aug 19 14:15:03 2013 UTC (5 years, 11 months ago) by cchiw
 

Revision 2414 - Directory Listing
Modified Mon Aug 19 05:02:14 2013 UTC (5 years, 11 months ago) by cchiw
changes

Revision 2412 - Directory Listing
Modified Wed Aug 7 02:17:53 2013 UTC (5 years, 11 months ago) by cchiw
Add dim to Fields

Revision 2411 - Directory Listing
Modified Sun Aug 4 17:45:59 2013 UTC (5 years, 11 months ago) by cchiw
add operators

Revision 2410 - Directory Listing
Modified Sun Aug 4 17:45:40 2013 UTC (5 years, 11 months ago) by cchiw
test

Revision 2409 - Directory Listing
Modified Thu Aug 1 03:42:38 2013 UTC (5 years, 11 months ago) by cchiw
 

Revision 2408 - Directory Listing
Modified Thu Aug 1 03:42:27 2013 UTC (5 years, 11 months ago) by cchiw
 

Revision 2407 - Directory Listing
Modified Wed Jul 31 04:52:25 2013 UTC (5 years, 11 months ago) by cchiw
Fix printing

Revision 2406 - Directory Listing
Modified Wed Jul 31 04:52:12 2013 UTC (5 years, 11 months ago) by cchiw
FIx printing

Revision 2401 - Directory Listing
Modified Sun Jul 7 19:43:45 2013 UTC (6 years ago) by jhr
  minor edits

Revision 2400 - Directory Listing
Modified Sun Jul 7 13:29:54 2013 UTC (6 years ago) by cchiw
 

Revision 2399 - Directory Listing
Modified Sun Jul 7 02:22:44 2013 UTC (6 years ago) by cchiw
Tester

Revision 2398 - Directory Listing
Modified Sat Jul 6 23:07:40 2013 UTC (6 years ago) by cchiw
 

Revision 2397 - Directory Listing
Modified Sat Jul 6 20:50:46 2013 UTC (6 years ago) by cchiw
addchecks

Revision 2396 - Directory Listing
Modified Sun Jun 30 00:01:22 2013 UTC (6 years ago) by cchiw
 

Revision 2395 - Directory Listing
Modified Sun Jun 23 18:51:44 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2394 - Directory Listing
Modified Fri Jun 21 02:28:07 2013 UTC (6 years, 1 month ago) by cchiw
name changes

Revision 2391 - Directory Listing
Modified Sun Jun 16 19:14:08 2013 UTC (6 years, 1 month ago) by jhr
  style edits

Revision 2390 - Directory Listing
Modified Sun Jun 16 18:51:10 2013 UTC (6 years, 1 month ago) by jhr
  removing obsolete operators

Revision 2389 - Directory Listing
Modified Sun Jun 16 18:45:16 2013 UTC (6 years, 1 month ago) by jhr
  Mostly style changes; removed tensor and field ops from high-il.spec

Revision 2388 - Directory Listing
Modified Sun Jun 16 17:02:02 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2387 - Directory Listing
Modified Sun Jun 16 00:18:49 2013 UTC (6 years, 1 month ago) by cchiw
modified printer

Revision 2386 - Directory Listing
Modified Sat Jun 15 18:34:05 2013 UTC (6 years, 1 month ago) by cchiw
few changes 

Revision 2385 - Directory Listing
Modified Fri Jun 14 03:32:30 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2384 - Directory Listing
Modified Thu Jun 13 02:05:43 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2383 - Directory Listing
Modified Thu Jun 13 01:57:34 2013 UTC (6 years, 1 month ago) by cchiw
added ein

Revision 2382 - Directory Listing
Modified Mon Jun 10 02:12:47 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2381 - Directory Listing
Modified Sat Jun 8 01:48:52 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2380 - Directory Listing
Modified Fri Jun 7 22:28:15 2013 UTC (6 years, 1 month ago) by cchiw


Revision 2379 - Directory Listing
Modified Fri Jun 7 16:21:39 2013 UTC (6 years, 1 month ago) by cchiw
matchedup

Revision 2378 - Directory Listing
Modified Thu Jun 6 21:02:40 2013 UTC (6 years, 1 month ago) by cchiw
 

Revision 2377 - Directory Listing
Modified Mon Jun 3 19:41:56 2013 UTC (6 years, 1 month ago) by jhr
  Create new branch for Charisee's Einstein stuff

Revision 2359 - Directory Listing
Modified Sun Apr 7 16:31:38 2013 UTC (6 years, 3 months ago) by jhr
Original Path: trunk/src
  more updates from vis12 branch (related to dnorm)

Revision 2358 - Directory Listing
Modified Sun Apr 7 15:17:59 2013 UTC (6 years, 3 months ago) by jhr
Original Path: trunk/src
  Forgot to commit translate-basis.sml

Revision 2356 - Directory Listing
Modified Sun Apr 7 14:45:25 2013 UTC (6 years, 3 months ago) by jhr
Original Path: trunk/src
  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 2114 - Directory Listing
Modified Sat Jan 12 15:52:07 2013 UTC (6 years, 6 months ago) by jhr
Original Path: trunk/src
  Fix pretty printing of C and OpenCL code.

Revision 2109 - Directory Listing
Modified Fri Dec 14 20:01:33 2012 UTC (6 years, 7 months ago) by jhr
Original Path: trunk/src
  Add support for specifying the OpenCL device at runtime.

Revision 2060 - Directory Listing
Modified Tue Oct 30 19:31:28 2012 UTC (6 years, 8 months ago) by lamonts
Original Path: trunk/src
Fixed a bug with configuring the compute-unit width. we should be using the vendor id to figure out which card the platform is processing.

Revision 2005 - Directory Listing
Modified Fri Oct 5 11:57:00 2012 UTC (6 years, 9 months ago) by jhr
Original Path: trunk/src
  minor tweaks

Revision 2003 - Directory Listing
Modified Thu Oct 4 19:15:27 2012 UTC (6 years, 9 months ago) by lamonts
Original Path: trunk/src
Fixed name misspelling for stabilize function in CL 

Revision 2001 - Directory Listing
Modified Thu Oct 4 18:07:42 2012 UTC (6 years, 9 months ago) by jhr
Original Path: trunk/src
  Add documentation

Revision 2000 - Directory Listing
Modified Thu Oct 4 18:07:32 2012 UTC (6 years, 9 months ago) by jhr
Original Path: trunk/src
  fix spelling error

Revision 1998 - Directory Listing
Modified Thu Oct 4 12:30:44 2012 UTC (6 years, 9 months ago) by jhr
Original Path: trunk/src
  minor formatting fixes

Revision 1990 - Directory Listing
Modified Fri Aug 3 18:09:06 2012 UTC (6 years, 11 months ago) by jhr
Original Path: trunk/src
  Added --enable-32-bit configure option

Revision 1989 - Directory Listing
Modified Fri Aug 3 01:54:21 2012 UTC (6 years, 11 months ago) by lamonts
Original Path: trunk/src
Removed old code that caused problems on AMD GPUs and fixed the type conversion problems that caused problems for Mandelbrot. the GPU backend calls stabalize properly now. 

Revision 1985 - Directory Listing
Modified Fri Jul 27 23:51:22 2012 UTC (6 years, 11 months ago) by jhr
Original Path: trunk/src
  remove unused macros

Revision 1924 - Directory Listing
Modified Sat Jun 23 12:03:00 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  il-basis.sml moved to basis/math-funs.sml

Revision 1923 - Directory Listing
Modified Sat Jun 23 12:02:18 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  ported changes from vis12 branch (C math functions)

Revision 1910 - Directory Listing
Modified Tue Jun 5 12:02:36 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  Added basis functions fmod, ln, log10, while removing some deprecated functions.

Revision 1907 - Directory Listing
Modified Sun Jun 3 08:17:19 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  Added FIXME for bug in the handling of parameters

Revision 1902 - Directory Listing
Modified Fri Jun 1 21:26:53 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  merge bug fix from vis12 branch

Revision 1891 - Directory Listing
Modified Fri May 25 16:28:56 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  fix for indexing into sequences of reals

Revision 1890 - Directory Listing
Modified Fri May 25 16:28:16 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  revert premature change

Revision 1888 - Directory Listing
Modified Fri May 25 15:05:17 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  merge in some minor changes from the diderot-cl branch

Revision 1887 - Directory Listing
Modified Fri May 25 14:50:55 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  Change "dof" to "dot".

Revision 1886 - Directory Listing
Modified Fri May 25 03:14:08 2012 UTC (7 years, 1 month ago) by jhr
Original Path: trunk/src
  fix syntax errors in eigen code fragments

Revision 1875 - Directory Listing
Modified Wed May 16 23:07:38 2012 UTC (7 years, 2 months ago) by jhr
Original Path: trunk/src
  Change "eval->" to "(*eval)." to satisfy the AMD OpenCL compiler.

Revision 1860 - Directory Listing
Modified Fri Apr 20 21:49:48 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  Fix config name for OpenCL libraries

Revision 1842 - Directory Listing
Modified Sat Apr 14 00:39:22 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  porting updates from vis12 branch into trunk

Revision 1841 - Directory Listing
Modified Fri Apr 13 23:52:32 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  Added @CPPFLASG_CL@ for OpenCL target

Revision 1840 - Directory Listing
Modified Fri Apr 13 23:46:36 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  More OpenCL config work

Revision 1825 - Directory Listing
Modified Thu Apr 12 13:57:45 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  Use NEWVEC macro to allocate worker argument array

Revision 1788 - Directory Listing
Modified Tue Apr 3 13:25:57 2012 UTC (7 years, 3 months ago) by jhr
Original Path: trunk/src
  porting some fixes from the vis12 branch

Revision 1766 - Directory Listing
Modified Sat Mar 24 10:09:29 2012 UTC (7 years, 4 months ago) by jhr
Original Path: trunk/src
  porting bug fixes and other improvements from vis12 branch

Revision 1694 - Directory Listing
Modified Mon Feb 20 17:28:17 2012 UTC (7 years, 5 months ago) by jhr
Original Path: trunk/src
  VEC2_OK should be set for double precision

Revision 1679 - Directory Listing
Modified Mon Dec 19 20:31:04 2011 UTC (7 years, 7 months ago) by jhr
Original Path: trunk/src
  Porting changes from opencl branch

Revision 1671 - Directory Listing
Modified Sun Dec 4 10:56:10 2011 UTC (7 years, 7 months ago) by jhr
Original Path: trunk/src
  Merging changes from pure-cfg branch back into trunk

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

Revision 1570 - Directory Listing
Modified Fri Oct 28 19:06:54 2011 UTC (7 years, 8 months ago) by jhr
Original Path: trunk/src
  Added "-o" option to compiler

Revision 1485 - Directory Listing
Modified Sun Sep 4 14:37:21 2011 UTC (7 years, 10 months ago) by jhr
Original Path: trunk/src
  Minor syntax editing

Revision 1484 - Directory Listing
Modified Sun Sep 4 14:35:20 2011 UTC (7 years, 10 months ago) by jhr
Original Path: trunk/src
  Created a compiler/gen directory to hold code for the generation tools.  Moved
  compiler/IL/gen to compiler/gen/il and created compiler/gen/opt for Charisee's tool.

Revision 1455 - Directory Listing
Modified Mon Jul 25 20:43:04 2011 UTC (7 years, 11 months ago) by jhr
Original Path: trunk/src
  Fix comment

Revision 1444 - Directory Listing
Modified Mon Jul 11 12:11:53 2011 UTC (8 years ago) by jhr
Original Path: trunk/src
  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

Revision 1393 - Directory Listing
Modified Mon Jun 27 02:58:00 2011 UTC (8 years ago) by jhr
Original Path: trunk/src
  Port bugfix from pure-cfg branch

Revision 1385 - Directory Listing
Modified Fri Jun 24 14:26:11 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  Remove CL from compiler

Revision 1383 - Directory Listing
Modified Thu Jun 23 20:24:04 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1380 - Directory Listing
Modified Thu Jun 23 19:20:07 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1376 - Directory Listing
Modified Wed Jun 22 21:46:24 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1375 - Directory Listing
Modified Wed Jun 22 21:43:18 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1373 - Directory Listing
Modified Wed Jun 22 21:36:18 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1372 - Directory Listing
Modified Wed Jun 22 21:24:17 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1370 - Directory Listing
Modified Wed Jun 22 21:11:20 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1368 - Directory Listing
Modified Wed Jun 22 20:58:28 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  merging changes from pure-cfg

Revision 1348 - Directory Listing
Modified Wed Jun 15 16:53:52 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  added some debugging code

Revision 1339 - Directory Listing
Modified Mon Jun 13 19:56:59 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  Fixed bug in translating mehods with a conditional as their entire body
  (e.g., lic2.diderot example).

Revision 1301 - Directory Listing
Modified Thu Jun 9 23:58:40 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  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, 1 month ago) by jhr
Original Path: trunk/src
  Adding support for assignment operators to the trunk.

Revision 1295 - Directory Listing
Modified Thu Jun 9 06:42:54 2011 UTC (8 years, 1 month ago) by jhr
Original Path: trunk/src
  Added support for clamp to trunk

Revision 1235 - Directory Listing
Modified Tue May 17 20:29:30 2011 UTC (8 years, 2 months ago) by glk
Original Path: trunk/src
const-correctness on me

Revision 1234 - Directory Listing
Modified Tue May 17 20:28:39 2011 UTC (8 years, 2 months ago) by glk
Original Path: trunk/src
const-correctness on argv

Revision 1232 - Directory Listing
Modified Mon May 16 23:37:52 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Porting many changes from the pure-cfg branch, including value numbering
  and support for parallel execution on SMP systems.

Revision 1187 - Directory Listing
Modified Wed May 11 15:06:15 2011 UTC (8 years, 2 months ago) by nseltzer
Original Path: trunk/src
First go at a parallel runtime

Revision 1186 - Directory Listing
Modified Wed May 11 14:00:07 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Don't generate a log file unless -log is specified

Revision 1166 - Directory Listing
Modified Tue May 10 03:39:35 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Redirect output to log file.

Revision 1151 - Directory Listing
Modified Sat May 7 17:32:42 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Added missing printing of initial strand creation to TreeILPP

Revision 1140 - Directory Listing
Modified Fri May 6 14:16:00 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  porting changes from development branch

Revision 1131 - Directory Listing
Modified Thu May 5 18:53:48 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Port updates from development branch to support die.

Revision 1117 - Directory Listing
Modified Thu May 5 04:55:18 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  Final merges from pure-cfg branch

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

Revision 1115 - Directory Listing
Modified Thu May 5 04:42:18 2011 UTC (8 years, 2 months ago) by jhr
Original Path: trunk/src
  More merging of pure-cfg back into trunk

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

Revision 511 - Directory Listing
Modified Tue Feb 8 17:01:43 2011 UTC (8 years, 5 months ago) by jhr
Original Path: trunk/src
  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, 8 months ago) by jhr
Original Path: trunk/src
  Changed typing rules for tensor construction.  The convention is now slow-to-fast
  for tensor dimensions.

Revision 470 - Directory Listing
Modified Tue Nov 2 16:33:48 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Added additional operations on fields (F+F, F-F, sF, Fs, F/s)

Revision 467 - Directory Listing
Modified Fri Oct 29 13:34:08 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Fixed typos

Revision 466 - Directory Listing
Modified Thu Oct 28 23:00:52 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Fix typos

Revision 465 - Directory Listing
Modified Thu Oct 28 22:17:34 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on mid-to-low translation

Revision 464 - Directory Listing
Modified Thu Oct 28 12:57:20 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on MidIL to LowIL translation

Revision 463 - Directory Listing
Modified Wed Oct 27 22:48:59 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on MidIL to LowIL translation

Revision 462 - Directory Listing
Modified Wed Oct 27 22:48:45 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Added fromDigits function

Revision 461 - Directory Listing
Modified Wed Oct 27 22:48:29 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Added explode function

Revision 460 - Directory Listing
Modified Wed Oct 27 16:11:13 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on mid-to-low translation

Revision 459 - Directory Listing
Modified Wed Oct 27 12:54:03 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on Mid to Low translation

Revision 458 - Directory Listing
Modified Wed Oct 27 12:29:00 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on LowIL

Revision 457 - Directory Listing
Modified Wed Oct 27 12:08:13 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on low-il

Revision 456 - Directory Listing
Modified Wed Oct 27 04:31:38 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on codegen

Revision 455 - Directory Listing
Modified Wed Oct 27 02:42:13 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on codegen

Revision 454 - Directory Listing
Modified Mon Oct 25 19:59:47 2010 UTC (8 years, 8 months ago) by jhr
Original Path: trunk/src
  Working on coed generation

Revision 453 - Directory Listing
Modified Sun Oct 24 00:47:57 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Minor edit

Revision 451 - Directory Listing
Modified Fri Oct 22 18:18:00 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on code generator API

Revision 450 - Directory Listing
Modified Thu Oct 21 15:58:26 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Change name of MidIL Transform operator to PosToImgSpace.  Also added GradToWorldSpace operator to MidIL.

Revision 449 - Directory Listing
Modified Thu Oct 21 15:46:51 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added comments about SSE

Revision 448 - Directory Listing
Modified Thu Oct 21 15:23:02 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on C version of MIP

Revision 445 - Directory Listing
Modified Thu Oct 21 04:01:15 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Clarify description of simplify

Revision 444 - Directory Listing
Modified Thu Oct 21 00:11:00 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Add Diderot_Mat types

Revision 443 - Directory Listing
Modified Thu Oct 21 00:05:15 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  added InvertTranspose operation

Revision 442 - Directory Listing
Modified Wed Oct 20 23:48:14 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: change + to *

Revision 441 - Directory Listing
Modified Wed Oct 20 19:21:32 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on runtime

Revision 440 - Directory Listing
Modified Wed Oct 20 03:20:16 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  More runtime work

Revision 439 - Directory Listing
Modified Tue Oct 19 22:38:54 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on Diderot runtime

Revision 438 - Directory Listing
Modified Tue Oct 19 20:38:10 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on C version of runtime

Revision 435 - Directory Listing
Modified Tue Oct 19 13:14:20 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Upated URL in header to diderot-language.cs.uchicago.edu

Revision 433 - Directory Listing
Modified Mon Oct 18 22:27:56 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Beginnings of code generation infrastructure

Revision 432 - Directory Listing
Modified Mon Oct 18 22:27:41 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  fix comment

Revision 431 - Directory Listing
Modified Mon Oct 18 22:27:21 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Starting to work on mid-to-low translation

Revision 430 - Directory Listing
Modified Mon Oct 18 22:26:52 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  update descriptions of passes

Revision 429 - Directory Listing
Modified Mon Oct 18 19:59:04 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Slightly better error reporting

Revision 427 - Directory Listing
Modified Mon Oct 18 19:35:52 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: realTy == VecTy 1 (not 0)

Revision 426 - Directory Listing
Modified Mon Oct 18 18:49:55 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Filter out dimensions of size one in tensor types

Revision 424 - Directory Listing
Modified Mon Oct 18 13:19:33 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Starting to work on the LowIL representation

Revision 423 - Directory Listing
Modified Sun Oct 17 02:29:06 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: get type of Inside right

Revision 422 - Directory Listing
Modified Sun Oct 17 02:27:07 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: wrong signature for EvalKernel

Revision 421 - Directory Listing
Modified Sun Oct 17 02:26:16 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: get type of Select right

Revision 420 - Directory Listing
Modified Sun Oct 17 02:23:55 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Adding MidIL checking

Revision 419 - Directory Listing
Modified Sun Oct 17 02:23:43 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Better error messages

Revision 418 - Directory Listing
Modified Sun Oct 17 02:23:13 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: add missing code to set CFG edges in destination

Revision 417 - Directory Listing
Modified Sun Oct 17 00:32:30 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added checking for HighIL representation

Revision 416 - Directory Listing
Modified Sun Oct 17 00:32:07 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fix: get the result type of condtional expressions right when simplifying

Revision 415 - Directory Listing
Modified Sun Oct 17 00:21:51 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  bug fix for conditional expressions

Revision 414 - Directory Listing
Modified Sat Oct 16 18:00:43 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on checking

Revision 413 - Directory Listing
Modified Sat Oct 16 15:39:31 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  More work on checking

Revision 412 - Directory Listing
Modified Sat Oct 16 15:19:19 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on IL checking

Revision 411 - Directory Listing
Modified Sat Oct 16 15:03:18 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Rename file

Revision 410 - Directory Listing
Modified Fri Oct 15 19:31:53 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on checking code

Revision 408 - Directory Listing
Modified Fri Oct 15 12:30:15 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on HighIL checking code

Revision 407 - Directory Listing
Modified Fri Oct 15 12:27:09 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added more type info to HighIL operators to aid checking.

Revision 406 - Directory Listing
Modified Fri Oct 15 12:12:10 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Simplify basis by removing cruft that is not being used.

Revision 405 - Directory Listing
Modified Fri Oct 15 04:42:42 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on checking for HighIL

Revision 404 - Directory Listing
Modified Thu Oct 14 22:11:38 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Started to work on checking code for HighIL

Revision 403 - Directory Listing
Modified Thu Oct 14 22:11:13 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Minor edits

Revision 402 - Directory Listing
Modified Thu Oct 14 21:51:37 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  reorganize operators a bit

Revision 401 - Directory Listing
Modified Thu Oct 14 21:08:45 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  fixed typo

Revision 400 - Directory Listing
Modified Thu Oct 14 21:06:49 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Slice support in HighIL

Revision 399 - Directory Listing
Modified Thu Oct 14 20:08:35 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on slice support

Revision 398 - Directory Listing
Modified Thu Oct 14 20:08:18 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added types to pretty printing

Revision 397 - Directory Listing
Modified Thu Oct 14 20:08:03 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  bug fixes

Revision 395 - Directory Listing
Modified Thu Oct 14 16:52:15 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Fix inexhaustive matches by adding E_Slice placeholders

Revision 394 - Directory Listing
Modified Thu Oct 14 16:30:29 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added types to IL variables

Revision 393 - Directory Listing
Modified Thu Oct 14 15:45:01 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  new files

Revision 392 - Directory Listing
Modified Thu Oct 14 15:34:28 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Moving IL types out of the Op structures into their own per-IL structures.

Revision 391 - Directory Listing
Modified Thu Oct 14 13:18:24 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Move MidIL types into their own module

Revision 387 - Directory Listing
Modified Fri Oct 8 15:29:24 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Copy some of the translation boilerplate from the high-to-mid translation
  into the mid-to-low translation

Revision 383 - Directory Listing
Modified Tue Oct 5 21:53:49 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  normalize tensor shapes in prune functions (e.g., tensor[1] ==> tensor[]).

Revision 382 - Directory Listing
Modified Tue Oct 5 21:46:21 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Fixed bug in grammar

Revision 381 - Directory Listing
Modified Tue Oct 5 21:42:17 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on adding slice notation and fixed precedence of differentiation

Revision 379 - Directory Listing
Modified Tue Oct 5 00:28:29 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added conditional expression syntax

Revision 374 - Directory Listing
Modified Sun Oct 3 18:56:32 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Debugging probe.sml.

Revision 373 - Directory Listing
Modified Sun Oct 3 15:27:04 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added fld2d' test case

Revision 372 - Directory Listing
Modified Sun Oct 3 15:20:28 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Bug fixes to HigiIL optimization

Revision 370 - Directory Listing
Modified Sat Oct 2 17:19:14 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added parse-tree support for conditional expressions (still need parser support)

Revision 369 - Directory Listing
Modified Sat Oct 2 17:18:48 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Started to work on IL checker

Revision 368 - Directory Listing
Modified Fri Oct 1 18:17:34 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on optimization and translation

Revision 367 - Directory Listing
Modified Thu Sep 30 21:20:13 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added HighIL to MidIL translation phase

Revision 365 - Directory Listing
Modified Wed Sep 29 20:07:58 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on translation

Revision 364 - Directory Listing
Modified Wed Sep 29 18:06:12 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on high to mid translation

Revision 363 - Directory Listing
Modified Wed Sep 29 18:05:48 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  removed Transform from high IL

Revision 361 - Directory Listing
Modified Wed Sep 29 14:17:34 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on translation functor

Revision 360 - Directory Listing
Modified Wed Sep 29 02:59:34 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  working on translation

Revision 359 - Directory Listing
Modified Tue Sep 28 22:03:40 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Adding new file for translation support

Revision 358 - Directory Listing
Modified Tue Sep 28 13:38:09 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Working on high to mid translation

Revision 355 - Directory Listing
Modified Sun Sep 26 18:00:31 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Move test-kernel stuff to fields directory

Revision 354 - Directory Listing
Modified Sun Sep 26 18:00:16 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Added hash-cons representation of IL expressions

Revision 353 - Directory Listing
Modified Fri Sep 24 21:43:11 2010 UTC (8 years, 9 months ago) by jhr
Original Path: trunk/src
  Debugging generation of probe code

Revision 352 - Directory Listing
Modified Fri Sep 24 07:21:51 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Debugging probe.sml

Revision 351 - Directory Listing
Modified Fri Sep 24 01:14:58 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Working on test driver for probe code

Revision 350 - Directory Listing
Modified Fri Sep 24 01:04:36 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Added assignToString function

Revision 349 - Directory Listing
Modified Fri Sep 24 00:24:20 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  working on HighIL to MidIL translation

Revision 347 - Directory Listing
Modified Tue Sep 21 15:31:49 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Fixed header comment

Revision 346 - Directory Listing
Modified Mon Sep 20 19:23:56 2010 UTC (8 years, 10 months ago) by lamonts
Original Path: trunk/src
deleting a random file

Revision 345 - Directory Listing
Modified Mon Sep 20 19:22:51 2010 UTC (8 years, 10 months ago) by lamonts
Original Path: trunk/src
adding the translate directory for mid-to-low il

Revision 344 - Directory Listing
Modified Mon Sep 20 19:21:18 2010 UTC (8 years, 10 months ago) by lamonts
Original Path: trunk/src
Adding the files for the low-il specs

Revision 343 - Directory Listing
Modified Mon Sep 20 02:47:00 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Adding comments

Revision 342 - Directory Listing
Modified Wed Sep 15 21:52:14 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  New files

Revision 341 - Directory Listing
Modified Mon Sep 13 17:14:24 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Implementing the census functor

Revision 340 - Directory Listing
Modified Mon Sep 13 15:34:36 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Working on debugging HighIL optimization

Revision 338 - Directory Listing
Modified Mon Sep 13 14:49:12 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Working on HighIL optimization

Revision 337 - Directory Listing
Modified Sun Sep 12 14:26:47 2010 UTC (8 years, 10 months ago) by jhr
Original Path: trunk/src
  Put optimization passes in IL directories

Revision 336 - Directory Listing
Modified Tue Aug 24 20:24:21 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added some comments

Revision 334 - Directory Listing
Modified Thu Aug 19 20:53:07 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on high to mid translation

Revision 333 - Directory Listing
Modified Thu Aug 19 20:52:48 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Tweaking MidIL definition

Revision 332 - Directory Listing
Modified Thu Aug 19 20:18:53 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Fixed bugs in mid-il and IL generator

Revision 328 - Directory Listing
Modified Wed Aug 18 22:19:26 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on HighIL to MidIL translation

Revision 325 - Directory Listing
Modified Wed Aug 18 17:07:16 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added compiler README file

Revision 324 - Directory Listing
Modified Wed Aug 18 17:06:10 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Adding placeholder directories

Revision 323 - Directory Listing
Modified Wed Aug 18 14:59:35 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on probe code generation

Revision 320 - Directory Listing
Modified Wed Aug 18 04:13:28 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on HighIL optimizer

Revision 319 - Directory Listing
Modified Wed Aug 18 04:13:08 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  comments

Revision 314 - Directory Listing
Modified Tue Aug 17 21:49:25 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on compiler

Revision 304 - Directory Listing
Modified Tue Aug 17 14:20:44 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  tweaking mid IL

Revision 287 - Directory Listing
Modified Fri Aug 13 21:40:04 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  new files

Revision 286 - Directory Listing
Modified Fri Aug 13 21:39:34 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  added convolve function

Revision 285 - Directory Listing
Modified Fri Aug 13 20:52:11 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added Stats module

Revision 284 - Directory Listing
Modified Fri Aug 13 20:39:04 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  More general representation of image samples

Revision 283 - Directory Listing
Modified Fri Aug 13 20:38:43 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added newProp and newFlag functions for nodes, stmts, and vars

Revision 282 - Directory Listing
Modified Fri Aug 13 19:20:23 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Made the IL generator more general to handle MidIL features

Revision 281 - Directory Listing
Modified Fri Aug 13 17:40:53 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on MidIL representation

Revision 280 - Directory Listing
Modified Fri Aug 13 17:40:28 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  New directory

Revision 269 - Directory Listing
Modified Wed Aug 11 04:42:30 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Make the "lift" phase be more agressive about evaluating

Revision 268 - Directory Listing
Modified Wed Aug 11 04:41:04 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  merge DIFF and CONV constructors

Revision 267 - Directory Listing
Modified Wed Aug 11 04:40:44 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  tweaking printing of SSA IL

Revision 266 - Directory Listing
Modified Tue Aug 10 21:25:40 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Moving high-IL stuff to its own directory

Revision 265 - Directory Listing
Modified Tue Aug 10 21:16:06 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Some work on SSA checking code

Revision 264 - Directory Listing
Modified Tue Aug 10 17:36:47 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Change kernel representation to not rely on symmetry

Revision 263 - Directory Listing
Modified Tue Aug 10 17:36:19 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Bug fix

Revision 258 - Directory Listing
Modified Mon Aug 9 18:36:44 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added BackwardDFAFn functor

Revision 257 - Directory Listing
Modified Mon Aug 9 18:28:37 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added ForwardDFAFn functor

Revision 256 - Directory Listing
Modified Mon Aug 9 17:28:57 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  New version of IL with translation to HighIL and pretty printing.

Revision 250 - Directory Listing
Modified Fri Aug 6 21:37:28 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Adding more Unicode operators

Revision 247 - Directory Listing
Modified Fri Aug 6 20:20:42 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added infix convolve syntax

Revision 246 - Directory Listing
Modified Fri Aug 6 15:32:26 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
 Output to log file

Revision 245 - Directory Listing
Modified Fri Aug 6 15:31:55 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Support evaluation for more functions

Revision 244 - Directory Listing
Modified Fri Aug 6 15:31:13 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added smart constructors

Revision 242 - Directory Listing
Modified Fri Aug 6 15:25:03 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Bug fix: get the order of instantiated meta variables right

Revision 241 - Directory Listing
Modified Fri Aug 6 14:07:20 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Bug fix: add missing case to pruneShape

Revision 240 - Directory Listing
Modified Fri Aug 6 04:59:16 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on lifting and translation

Revision 239 - Directory Listing
Modified Fri Aug 6 00:36:04 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on image-info input

Revision 238 - Directory Listing
Modified Thu Aug 5 23:17:46 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Use the log file for debugging output

Revision 237 - Directory Listing
Modified Thu Aug 5 23:17:27 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added Log structure

Revision 236 - Directory Listing
Modified Thu Aug 5 21:57:57 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Hook in evaluation of statics

Revision 235 - Directory Listing
Modified Thu Aug 5 21:57:46 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Bug fixes

Revision 234 - Directory Listing
Modified Thu Aug 5 21:34:29 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on static evalution

Revision 232 - Directory Listing
Modified Thu Aug 5 16:18:44 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on static evaluation

Revision 231 - Directory Listing
Modified Thu Aug 5 16:11:37 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on evaluation of static globals

Revision 230 - Directory Listing
Modified Thu Aug 5 16:00:24 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added Inputs module to handle static input variables

Revision 229 - Directory Listing
Modified Wed Aug 4 15:46:08 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added type field to E_Input in Simple AST.

Revision 228 - Directory Listing
Modified Wed Aug 4 13:36:35 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Made typechecking more strict.

Revision 227 - Directory Listing
Modified Wed Aug 4 05:27:13 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on lifting

Revision 226 - Directory Listing
Modified Tue Aug 3 21:34:18 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 221 - Directory Listing
Modified Tue Aug 3 20:13:55 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added E_Input and E_Field constructors to Simple AST

Revision 202 - Directory Listing
Modified Tue Aug 3 13:06:03 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Reorganize stuff to do with images, kernels, and fields into its own directory.

Revision 201 - Directory Listing
Modified Tue Aug 3 12:57:10 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Reorganizing source

Revision 200 - Directory Listing
Modified Mon Aug 2 21:57:49 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translateion

Revision 199 - Directory Listing
Modified Mon Aug 2 21:34:31 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added Var substructure to SSAFn

Revision 198 - Directory Listing
Modified Mon Aug 2 21:26:57 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Starting to add utility code for SSA representations

Revision 197 - Directory Listing
Modified Mon Aug 2 20:51:47 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 196 - Directory Listing
Modified Mon Aug 2 19:10:49 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Update

Revision 195 - Directory Listing
Modified Mon Aug 2 19:09:04 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Adding operations for fields

Revision 194 - Directory Listing
Modified Mon Aug 2 16:40:29 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to IL

Revision 193 - Directory Listing
Modified Mon Aug 2 16:40:18 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added Tbl structure

Revision 192 - Directory Listing
Modified Mon Aug 2 16:23:42 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to IL

Revision 190 - Directory Listing
Modified Sat Jul 31 04:39:18 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Minor work on translation

Revision 189 - Directory Listing
Modified Fri Jul 30 19:37:01 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 188 - Directory Listing
Modified Thu Jul 29 22:28:39 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to IL

Revision 187 - Directory Listing
Modified Thu Jul 29 14:00:37 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on IL representation

Revision 186 - Directory Listing
Modified Thu Jul 29 04:26:57 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Add generator for IL operator structures.

Revision 185 - Directory Listing
Modified Wed Jul 28 17:11:09 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Renamed internal variable input to optInput and added input variable.

Revision 184 - Directory Listing
Modified Wed Jul 28 16:48:27 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation

Revision 183 - Directory Listing
Modified Wed Jul 28 16:28:10 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 182 - Directory Listing
Modified Wed Jul 28 16:05:13 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added toType, toDiff, toShape, and toDim functions

Revision 181 - Directory Listing
Modified Wed Jul 28 14:37:42 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Added file

Revision 180 - Directory Listing
Modified Wed Jul 28 14:37:08 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 179 - Directory Listing
Modified Tue Jul 27 20:43:23 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Simplified AST code now uses default input values when no input is given.

Revision 176 - Directory Listing
Modified Mon Jul 26 19:47:48 2010 UTC (8 years, 11 months ago) by jhr
Original Path: trunk/src
  Switch the translate code to take simple AST as its input type

Revision 175 - Directory Listing
Modified Sat Jul 24 16:53:55 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added pretty printing for simplified AST

Revision 174 - Directory Listing
Modified Sat Jul 24 15:38:08 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Adding simplify pass to driver

Revision 173 - Directory Listing
Modified Sat Jul 24 15:37:50 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Cleanup and simplification of AST representation

Revision 172 - Directory Listing
Modified Sat Jul 24 15:37:08 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  New file: working on pretty printing for Simple AST

Revision 171 - Directory Listing
Modified Sat Jul 24 14:13:10 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Adding simple-ast representation

Revision 170 - Directory Listing
Modified Sat Jul 24 13:30:47 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Restrict polymorphism to operators/functions.

Revision 169 - Directory Listing
Modified Thu Jul 22 20:07:37 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

Revision 168 - Directory Listing
Modified Wed Jul 21 20:58:37 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Working on translation to HighIL

Revision 167 - Directory Listing
Modified Wed Jul 21 20:58:09 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added comment

Revision 166 - Directory Listing
Modified Wed Jul 21 15:21:12 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  New file

Revision 165 - Directory Listing
Modified Wed Jul 21 15:20:53 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Adding equality tests and hashing support

Revision 164 - Directory Listing
Modified Tue Jul 20 18:56:04 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added output state variables and stabilize methods

Revision 155 - Directory Listing
Modified Fri Jul 9 21:38:01 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added kernel printing code

Revision 153 - Directory Listing
Modified Fri Jul 9 18:59:12 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Debugging kernel support using test driver

Revision 147 - Directory Listing
Modified Fri Jul 9 08:17:48 2010 UTC (9 years ago) by glk
Original Path: trunk/src
fixed bug that allowed named space to remain

Revision 143 - Directory Listing
Modified Thu Jul 8 19:12:22 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added min and max on reals.

Revision 141 - Directory Listing
Modified Thu Jul 8 18:51:26 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added RawTypes module

Revision 140 - Directory Listing
Modified Thu Jul 8 18:48:51 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Starting to write a test driver for the kernel code

Revision 139 - Directory Listing
Modified Thu Jul 8 18:48:23 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Made kernel type abstract and added derivative cache.

Revision 138 - Directory Listing
Modified Thu Jul 8 18:47:33 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added toReal function

Revision 137 - Directory Listing
Modified Wed Jul 7 21:30:23 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Working on IR

Revision 136 - Directory Listing
Modified Wed Jul 7 20:38:52 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added variable sets and maps

Revision 135 - Directory Listing
Modified Fri Jul 2 21:57:47 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Working on IL representation

Revision 133 - Directory Listing
Modified Fri Jul 2 21:41:27 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Merging image-info into IL directory

Revision 132 - Directory Listing
Modified Fri Jul 2 21:30:59 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  merge image-info directory into the IL directory

Revision 131 - Directory Listing
Modified Fri Jul 2 21:30:43 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Added normalize function

Revision 130 - Directory Listing
Modified Thu Jul 1 20:08:43 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Working on IL

Revision 129 - Directory Listing
Modified Thu Jul 1 18:03:54 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Parameterize the SSA representation over the operators

Revision 127 - Directory Listing
Modified Tue Jun 29 20:08:28 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Fixed syntax error

Revision 125 - Directory Listing
Modified Tue Jun 29 15:13:36 2010 UTC (9 years ago) by glk
Original Path: trunk/src
added -h and now respects per-axis spacing

Revision 124 - Directory Listing
Modified Mon Jun 28 20:40:26 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  New file

Revision 123 - Directory Listing
Modified Mon Jun 28 18:05:04 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Adding configuration support

Revision 122 - Directory Listing
Modified Mon Jun 28 17:58:00 2010 UTC (9 years ago) by jhr
Original Path: trunk/src
  Fix syntax errors

Revision 121 - Directory Listing
Modified Thu Jun 24 22:40:12 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Adding makefile for dnorm program

Revision 118 - Directory Listing
Modified Thu Jun 24 17:06:25 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Added compare to Rational

Revision 117 - Directory Listing
Modified Thu Jun 24 14:00:22 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Switched kernels to use rational coefficients and added definitions of common
  kernels.

Revision 116 - Directory Listing
Modified Thu Jun 24 13:43:16 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Fix bugs

Revision 115 - Directory Listing
Modified Wed Jun 23 22:01:49 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on rational numbers for the kernels

Revision 114 - Directory Listing
Modified Wed Jun 23 19:39:36 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  New directory to hold tool for getting NRRD-file summary info

Revision 113 - Directory Listing
Modified Wed Jun 23 19:37:39 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Moved to src/compiler

Revision 112 - Directory Listing
Modified Wed Jun 23 19:35:31 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Restore Gordon's edits

Revision 111 - Directory Listing
Modified Wed Jun 23 19:29:19 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Moving compiler sources into src/compiler

Revision 110 - Directory Listing
Modified Wed Jun 23 19:28:48 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Moving compiler sources into src/compiler

Revision 109 - Directory Listing
Modified Wed Jun 23 07:25:26 2010 UTC (9 years, 1 month ago) by glk
Original Path: trunk/src
clarified restriction between dimension and space dimension

Revision 108 - Directory Listing
Modified Tue Jun 15 17:13:55 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Adding file

Revision 107 - Directory Listing
Modified Tue Jun 15 15:31:11 2010 UTC (9 years, 1 month ago) by glk
Original Path: trunk/src
info about restricted NRRD format coming out of dnorm program

Revision 106 - Directory Listing
Modified Tue Jun 15 15:29:37 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Adding image-info directory

Revision 103 - Directory Listing
Modified Tue Jun 1 16:04:04 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Bug fixes

Revision 102 - Directory Listing
Modified Fri May 28 15:20:55 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Changed grammar to restrict the type of parameters to ValueType

Revision 99 - Directory Listing
Modified Fri May 28 00:14:34 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Better error messages

Revision 96 - Directory Listing
Modified Thu May 27 17:57:31 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Code reorg and added type arguments to variable printing in ASTPP.

Revision 95 - Directory Listing
Modified Thu May 27 17:22:20 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  export more functions from TypeUtil

Revision 94 - Directory Listing
Modified Thu May 27 17:03:13 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on the pretty printer

Revision 93 - Directory Listing
Modified Thu May 27 15:32:06 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Added placeholder for pretty-printing AST after typechecking

Revision 91 - Directory Listing
Modified Thu May 27 15:16:36 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Fixed some bugs in the basis

Revision 89 - Directory Listing
Modified Thu May 27 01:37:21 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 88 - Directory Listing
Modified Wed May 26 23:07:50 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 86 - Directory Listing
Modified Wed May 26 22:23:17 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  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, 1 month ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 83 - Directory Listing
Modified Wed May 26 18:50:44 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  More work on the typechecker

Revision 82 - Directory Listing
Modified Wed May 26 18:20:49 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 81 - Directory Listing
Modified Wed May 26 17:28:54 2010 UTC (9 years, 1 month ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 80 - Directory Listing
Modified Tue May 25 03:05:33 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 79 - Directory Listing
Modified Tue May 25 01:55:48 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 78 - Directory Listing
Modified Mon May 24 22:31:49 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Rosking on type checker

Revision 77 - Directory Listing
Modified Mon May 24 21:57:10 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Move env.sml to env directory

Revision 76 - Directory Listing
Modified Mon May 24 21:56:08 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  New directory

Revision 75 - Directory Listing
Modified Mon May 24 20:41:18 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Propoagating changes to meta variables

Revision 74 - Directory Listing
Modified Mon May 24 16:38:42 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Refined meta-variable representation

Revision 73 - Directory Listing
Modified Sun May 23 22:54:59 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Comment out raw types, which are not used yet.

Revision 72 - Directory Listing
Modified Sat May 22 22:48:47 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 71 - Directory Listing
Modified Sat May 22 22:16:04 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 70 - Directory Listing
Modified Sat May 22 14:23:32 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecker

Revision 69 - Directory Listing
Modified Tue May 18 21:23:53 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Starting to write a typechecker

Revision 68 - Directory Listing
Modified Tue May 18 16:51:30 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on Basis

Revision 65 - Directory Listing
Modified Thu May 13 21:04:35 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Added TypeVar module

Revision 63 - Directory Listing
Modified Thu May 13 00:29:39 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Working on typechecking for Diderot

Revision 62 - Directory Listing
Modified Tue May 11 16:03:31 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  edit comments

Revision 61 - Directory Listing
Modified Tue May 11 16:02:48 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Fix representation of types

Revision 60 - Directory Listing
Modified Tue May 4 15:55:00 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Some work on typing the basis

Revision 57 - Directory Listing
Modified Fri Apr 30 14:41:31 2010 UTC (9 years, 2 months ago) by jhr
Original Path: trunk/src
  Added names from tracto example

Revision 53 - Directory Listing
Modified Tue Apr 20 15:58:22 2010 UTC (9 years, 3 months ago) by glk
Original Path: trunk/src
added tent kernel

Revision 50 - Directory Listing
Modified Wed Apr 14 21:49:50 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src
  Fixed lexer bug

Revision 48 - Directory Listing
Modified Tue Apr 13 23:11:15 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src
  Changed grammar to use different type syntax

Revision 47 - Directory Listing
Modified Tue Apr 13 14:57:27 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src
  Starting to work on the basis environment

Revision 45 - Directory Listing
Modified Tue Apr 6 15:51:03 2010 UTC (9 years, 3 months ago) by jhr
Original Path: trunk/src
  Added norm syntax

Revision 42 - Directory Listing
Modified Wed Mar 3 18:26:50 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src
  Added NaNs and infinities

Revision 40 - Directory Listing
Modified Wed Mar 3 14:51:38 2010 UTC (9 years, 4 months ago) by jhr
Original Path: trunk/src
  Added intialization syntax

Revision 39 - Directory Listing
Modified Thu Feb 11 16:58:32 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Parser hacking

Revision 37 - Directory Listing
Modified Thu Feb 11 03:51:36 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Added value constructor syntax

Revision 35 - Directory Listing
Modified Thu Feb 11 01:04:20 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Fixing parser/scanner bugs

Revision 34 - Directory Listing
Modified Thu Feb 11 00:38:12 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Remove CM files

Revision 33 - Directory Listing
Modified Thu Feb 11 00:37:51 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  New directory

Revision 32 - Directory Listing
Modified Wed Feb 10 22:24:56 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  New file

Revision 31 - Directory Listing
Modified Wed Feb 10 22:24:40 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Type-error fixes

Revision 30 - Directory Listing
Modified Wed Feb 10 22:17:50 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on Diderot parser

Revision 29 - Directory Listing
Modified Wed Feb 10 21:45:00 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Adding sources.cm and fixing some type errors

Revision 28 - Directory Listing
Modified Tue Feb 9 02:55:41 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  More parser hacking

Revision 27 - Directory Listing
Modified Tue Feb 9 02:36:31 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on Diderot parser

Revision 26 - Directory Listing
Modified Tue Feb 9 00:43:01 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on Diderot parser

Revision 25 - Directory Listing
Modified Mon Feb 8 22:51:42 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on Diderot parser

Revision 24 - Directory Listing
Modified Mon Feb 1 22:43:55 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on grammar

Revision 23 - Directory Listing
Modified Mon Feb 1 03:29:06 2010 UTC (9 years, 5 months ago) by jhr
Original Path: trunk/src
  Working on Diderot grammar

Revision 19 - Directory Listing
Modified Fri Jan 15 14:17:29 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  Working on Diderot grammar

Revision 14 - Directory Listing
Modified Tue Jan 12 23:03:22 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  Starting to work on parser for Diderot

Revision 12 - Directory Listing
Modified Mon Jan 11 19:28:12 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  comments and minor edits

Revision 9 - Directory Listing
Modified Fri Jan 8 22:06:11 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  More work on type system

Revision 8 - Directory Listing
Modified Fri Jan 8 21:50:42 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  More work on types; added well-formedness check

Revision 7 - Directory Listing
Modified Fri Jan 8 20:44:57 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  Starting to work on internal-language representation of types.

Revision 3 - Directory Listing
Added Wed Jan 6 04:47:22 2010 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src
  Initial commits

Sort log by:

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