| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 1868 - start using naked literals everywhere | Kartik K. Agaram | 2015-07-28 | 1 | -70/+70 | |
| * | 1848 - core instructions now check for ingredients | Kartik K. Agaram | 2015-07-25 | 1 | -6/+13 | |
| * | 1844 - explicitly end each trace line | Kartik K. Agaram | 2015-07-25 | 1 | -12/+12 | |
| * | 1835 | Kartik K. Agaram | 2015-07-24 | 1 | -3/+12 | |
| * | 1830 | Kartik K. Agaram | 2015-07-23 | 1 | -1/+1 | |
| * | 1800 - ah, found the bounds-checking bug | Kartik K. Agaram | 2015-07-17 | 1 | -11/+77 | |
| * | 1744 - support just two editors rather than a list | Kartik K. Agaram | 2015-07-09 | 1 | -0/+4 | |
| * | 1702 - experiment: start using 'ordinal' in names | Kartik K. Agaram | 2015-07-04 | 1 | -12/+12 | |
| * | 1611 - switch to keyboard+mouse events | Kartik K. Agaram | 2015-06-20 | 1 | -2/+2 | |
| * | 1586 | Kartik K. Agaram | 2015-06-17 | 1 | -1/+1 | |
| * | 1474 - another warning | Kartik K. Agaram | 2015-05-26 | 1 | -5/+8 | |
| * | 1473 | Kartik K. Agaram | 2015-05-26 | 1 | -0/+28 | |
| * | 1417 - draft zoom levels in traces | Kartik K. Agaram | 2015-05-21 | 1 | -6/+6 | |
| * | 1414 - traces now robust to new recipes/types | Kartik K. Agaram | 2015-05-21 | 1 | -24/+0 | |
| * | 1391 - avoid unsigned integers | Kartik K. Agaram | 2015-05-17 | 1 | -8/+8 | |
| * | 1363 - rename 'integer' to 'number' | Kartik K. Agaram | 2015-05-13 | 1 | -34/+34 | |
| * | 1360 - store doubles in memory | Kartik K. Agaram | 2015-05-12 | 1 | -3/+3 | |
| * | 1357 - temporarily revert floating-point support | Kartik K. Agaram | 2015-05-12 | 1 | -12/+9 | |
| * | 1356 - snapshot #2: floating point support | Kartik K. Agaram | 2015-05-12 | 1 | -9/+12 | |
| * | 1299 - stop using [] in any vector | Kartik K. Agaram | 2015-05-07 | 1 | -1/+1 | |
| * | 1298 - better ingredient/product handling | Kartik K. Agaram | 2015-05-07 | 1 | -31/+16 | |
| * | 1276 - make C++ version the default | Kartik K. Agaram | 2015-05-05 | 1 | -0/+180 | |