| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2283 - represent each /property as a tree | Kartik K. Agaram | 2015-10-26 | 1 | -3/+3 |
| * | 2271 - bugfix: traces cross-contaminating errors | Kartik K. Agaram | 2015-10-19 | 1 | -1/+5 |
| * | 2258 - separate warnings from errors | Kartik K. Agaram | 2015-10-06 | 1 | -13/+13 |
| * | 2247 - type-check products of non-primitive recipes | Kartik K. Agaram | 2015-10-05 | 1 | -5/+28 |
| * | 2232 | Kartik K. Agaram | 2015-10-01 | 1 | -0/+4 |
| * | 2226 - standardize warning format | Kartik K. Agaram | 2015-10-01 | 1 | -3/+3 |
| * | 2199 - stop printing numbers in scientific notation | Kartik K. Agaram | 2015-09-14 | 1 | -2/+2 |
| * | 2050 | Kartik K. Agaram | 2015-08-21 | 1 | -2/+2 |
| * | 1962 | Kartik K. Agaram | 2015-08-09 | 1 | -1/+1 |
| * | 1868 - start using naked literals everywhere | Kartik K. Agaram | 2015-07-28 | 1 | -10/+10 |
| * | 1848 - core instructions now check for ingredients | Kartik K. Agaram | 2015-07-25 | 1 | -32/+37 |
| * | 1844 - explicitly end each trace line | Kartik K. Agaram | 2015-07-25 | 1 | -4/+4 |
| * | 1799 - continue to debug memory corruption of 1795 | Kartik K. Agaram | 2015-07-17 | 1 | -0/+1 |
| * | 1796 - temporarily undo 1795 | Kartik K. Agaram | 2015-07-16 | 1 | -1/+0 |
| * | 1795 - still debugging screen-in-screen rendering | Kartik K. Agaram | 2015-07-16 | 1 | -0/+1 |
| * | 1777 - consistent terminology: 'product' | Kartik K. Agaram | 2015-07-13 | 1 | -2/+2 |
| * | 1754 | Kartik K. Agaram | 2015-07-10 | 1 | -0/+2 |
| * | 1745 - hoist warning/response strings out of editor-data | Kartik K. Agaram | 2015-07-10 | 1 | -1/+17 |
| * | 1723 | Kartik K. Agaram | 2015-07-08 | 1 | -4/+1 |
| * | 1721 - hide warnings inside interactive routines | Kartik K. Agaram | 2015-07-08 | 1 | -2/+4 |
| * | 1716 | Kartik K. Agaram | 2015-07-07 | 1 | -0/+2 |
| * | 1702 - experiment: start using 'ordinal' in names | Kartik K. Agaram | 2015-07-04 | 1 | -5/+5 |
| * | 1698 | Kartik K. Agaram | 2015-07-03 | 1 | -0/+158 |