---

Revision 169 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 22 20:07:37 2010 UTC (11 years, 11 months ago) by jhr
File length: 2730 byte(s)
Diff to previous 143

  Split function and variable namespaces and add notion of restricted operations
  that cannot appear inside actor or initialization code.

---

Revision 143 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jul 8 19:12:22 2010 UTC (11 years, 11 months ago) by jhr
File length: 2131 byte(s)
Diff to previous 110

  Added min and max on reals.

---

Revision 110 - (view) (download) (annotate) - [select for diffs]
Modified Wed Jun 23 19:28:48 2010 UTC (12 years ago) by jhr
File length: 2103 byte(s)
Diff to previous 91

  Moving compiler sources into src/compiler

---

Revision 91 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 27 15:16:36 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2103 byte(s)
Diff to previous 86

  Fixed some bugs in the basis

---

Revision 86 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 22:23:17 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2138 byte(s)
Diff to previous 83

  Added new syntax for tensor-value construction and more work on typechecker.

---

Revision 83 - (view) (download) (annotate) - [select for diffs]
Modified Wed May 26 18:50:44 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2015 byte(s)
Diff to previous 79

  More work on the typechecker

---

Revision 79 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 25 01:55:48 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 1996 byte(s)
Diff to previous 78

  Working on typechecker

---

Revision 78 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 22:31:49 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 3569 byte(s)
Diff to previous 75

  Rosking on type checker

---

Revision 75 - (view) (download) (annotate) - [select for diffs]
Modified Mon May 24 20:41:18 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 3282 byte(s)
Diff to previous 68

  Propoagating changes to meta variables

---

Revision 68 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 18 16:51:30 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2947 byte(s)
Diff to previous 65

  Working on Basis

---

Revision 65 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 13 21:04:35 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2756 byte(s)
Diff to previous 63

  Added TypeVar module

---

Revision 63 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 13 00:29:39 2010 UTC (12 years, 1 month ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 2727 byte(s)
Diff to previous 47

  Working on typechecking for Diderot

---

Revision 47 - (view) (download) (annotate) - [select for diffs]
Added Tue Apr 13 14:57:27 2010 UTC (12 years, 2 months ago) by jhr
Original Path: trunk/src/basis/basis.sml
File length: 198 byte(s)

  Starting to work on the basis environment