Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 2624 | Kartik K. Agaram | 2016-02-01 | 1 | -9/+2 |
* | 2623 - bugfix: editing sandboxes | Kartik K. Agaram | 2016-02-01 | 1 | -5/+1 |
* | 2610 - warn when recipes don't use default-space | Kartik K. Agaram | 2016-01-27 | 1 | -9/+12 |
* | 2608 - fix-up tests in sandbox/ app | Kartik K. Agaram | 2016-01-27 | 1 | -13/+6 |
* | 2602 | Kartik K. Agaram | 2016-01-24 | 1 | -1/+1 |
* | 2595 - bugfix: update state when restoring sandboxes | Kartik K. Agaram | 2016-01-23 | 1 | -0/+3 |
* | 2594 - bugfixes: managing state when deleting | Kartik K. Agaram | 2016-01-23 | 1 | -84/+90 |
* | 2592 - bugfix: sandbox title bar management | Kartik K. Agaram | 2016-01-22 | 1 | -1/+85 |
* | 2590 - support scrolling through sandboxes | Kartik K. Agaram | 2016-01-22 | 1 | -2/+371 |
* | 2589 - tweak color for sandbox labels | Kartik K. Agaram | 2016-01-22 | 1 | -2/+2 |
* | 2586 - show first sandbox with error in status | Kartik K. Agaram | 2016-01-22 | 1 | -5/+10 |
* | 2585 - label sandboxes with a number | Kartik K. Agaram | 2016-01-22 | 1 | -9/+18 |
* | 2576 - distinguish allocated addresses from others | Kartik K. Agaram | 2016-01-19 | 1 | -76/+76 |
* | 2548 - teach 'print' to print integers | Kartik K. Agaram | 2015-12-28 | 1 | -6/+9 |
* | three bugs fixed | Kartik K. Agaram | 2015-12-15 | 1 | -0/+3 |
* | rest of edit/ fixed | Kartik K. Agaram | 2015-12-15 | 1 | -1/+1 |
* | 2477 | Kartik K. Agaram | 2015-11-27 | 1 | -2/+2 |
* | 2476 | Kartik K. Agaram | 2015-11-27 | 1 | -1/+1 |
* | 2468 - overload print-character as just 'print' | Kartik K. Agaram | 2015-11-21 | 1 | -7/+7 |
* | 2467 - rename 'string' to 'text' everywhere | Kartik K. Agaram | 2015-11-21 | 1 | -8/+8 |
* | 2466 - eliminate ':string' from scenarios | Kartik K. Agaram | 2015-11-21 | 1 | -1/+1 |
* | 2446 - drop '-duplex' namespacing in recipes | Kartik K. Agaram | 2015-11-15 | 1 | -3/+3 |
* | 2442 | Kartik K. Agaram | 2015-11-15 | 1 | -2/+1 |
* | 2441 - never miss any specializations | Kartik K. Agaram | 2015-11-15 | 1 | -1/+2 |
* | 2417 - support mutable ingredients in headers | Kartik K. Agaram | 2015-11-10 | 1 | -6/+7 |
* | 2371 - layer 5 of edit | Kartik K. Agaram | 2015-11-05 | 1 | -59/+39 |
* | 2309 | Kartik K. Agaram | 2015-10-28 | 1 | -17/+17 |
* | 2267 | Kartik K. Agaram | 2015-10-09 | 1 | -1/+1 |
* | 2260 - start tracing by depth rather than label | Kartik K. Agaram | 2015-10-06 | 1 | -3/+3 |
* | 2247 - type-check products of non-primitive recipes | Kartik K. Agaram | 2015-10-05 | 1 | -2/+2 |
* | 2216 | Kartik K. Agaram | 2015-09-29 | 1 | -0/+13 |
* | 2183 - environment + external editor using tmux | Kartik K. Agaram | 2015-09-12 | 1 | -4/+1 |
* | 2182 | Kartik K. Agaram | 2015-09-12 | 1 | -2/+0 |
* | 2167 | Kartik K. Agaram | 2015-09-05 | 1 | -4/+2 |
* | 2166 | Kartik K. Agaram | 2015-09-05 | 1 | -153/+29 |
* | 2164 | Kartik K. Agaram | 2015-09-05 | 1 | -2/+1 |
* | 2163 | Kartik K. Agaram | 2015-09-05 | 1 | -6/+4 |
* | 2157 - edit/ now contains real layers | Kartik K. Agaram | 2015-09-05 | 1 | -47/+9 |
* | 2156 - split edit.mu into multiple files | Kartik K. Agaram | 2015-09-05 | 1 | -0/+683 |