---

Revision 2027 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 11 10:40:12 2012 UTC (8 years, 3 months ago) by jhr
File length: 5635 byte(s)
Diff to previous 2011

  working on inputs etc

---

Revision 2011 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 7 21:14:31 2012 UTC (8 years, 3 months ago) by jhr
File length: 5556 byte(s)
Diff to previous 2009

  Working on inputs

---

Revision 2009 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 5 17:58:18 2012 UTC (8 years, 3 months ago) by jhr
File length: 5708 byte(s)
Diff to previous 1956

  Working on dynamic sequence loading

---

Revision 1956 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jul 8 12:17:56 2012 UTC (8 years, 6 months ago) by jhr
File length: 5579 byte(s)
Diff to previous 1939

  Added checking code for ColonMul operator.

---

Revision 1939 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 2 21:11:07 2012 UTC (8 years, 6 months ago) by jhr
File length: 5088 byte(s)
Diff to previous 1925

  Add support for 3rd-order tensor norm and fix issues with tensor/vector multiply

---

Revision 1925 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jun 23 14:16:09 2012 UTC (8 years, 7 months ago) by jhr
File length: 4884 byte(s)
Diff to previous 1688

  Added length function on dynamic sequences

---

Revision 1688 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jan 25 13:36:13 2012 UTC (9 years ago) by jhr
File length: 4825 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 (9 years ago) by jhr
File length: 4687 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 (9 years ago) by jhr
File length: 4406 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 (9 years, 2 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 4406 byte(s)
Diff to previous 1444

  Merging in changes from pure-cfg branch.

---

Revision 1444 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jul 11 12:11:53 2011 UTC (9 years, 6 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3656 byte(s)
Diff to previous 1301

  Merging in changes from pure-cfg branch: removed CL, expanded trace, and added method name
  datatype.

---

Revision 1301 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 23:58:40 2011 UTC (9 years, 7 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3705 byte(s)
Diff to previous 1295

  Added support for hest-based command-line arguments to trunk.  Also switched
  output filename to prog.txt (from mip.txt)

---

Revision 1295 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jun 9 06:42:54 2011 UTC (9 years, 7 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3699 byte(s)
Diff to previous 1116

  Added support for clamp to trunk

---

Revision 1116 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 5 04:49:02 2011 UTC (9 years, 8 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3658 byte(s)
Diff to previous 435

  more merging of pure-cfg changes back into trunk

---

Revision 435 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 19 13:14:20 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3055 byte(s)
Diff to previous 420

  Upated URL in header to diderot-language.cs.uchicago.edu

---

Revision 420 - (view) (download) (annotate) - [select for diffs]
Modified Sun Oct 17 02:23:55 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3046 byte(s)
Diff to previous 412

  Adding MidIL checking

---

Revision 412 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 16 15:19:19 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 3044 byte(s)
Diff to previous 411

  Working on IL checking

---

Revision 411 - (view) (download) (annotate) - [select for diffs]
Modified Sat Oct 16 15:03:18 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-high-il.sml
File length: 2772 byte(s)
Copied from: trunk/src/compiler/high-il/check-ops.sml revision 410
Diff to previous 408

  Rename file

---

Revision 408 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 15 12:30:15 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-ops.sml
File length: 2768 byte(s)
Diff to previous 407

  Working on HighIL checking code

---

Revision 407 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 15 12:27:09 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-ops.sml
File length: 2789 byte(s)
Diff to previous 405

  Added more type info to HighIL operators to aid checking.

---

Revision 405 - (view) (download) (annotate) - [select for diffs]
Modified Fri Oct 15 04:42:42 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-ops.sml
File length: 2514 byte(s)
Diff to previous 404

  Working on checking for HighIL

---

Revision 404 - (view) (download) (annotate) - [select for diffs]
Added Thu Oct 14 22:11:38 2010 UTC (10 years, 3 months ago) by jhr
Original Path: trunk/src/compiler/high-il/check-ops.sml
File length: 2442 byte(s)

  Started to work on checking code for HighIL