Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 3067 | Kartik K. Agaram | 2016-06-25 | 1 | -2/+64 |
* | 3052 - make edit/ render functions higher-order | Kartik K. Agaram | 2016-06-12 | 1 | -14/+14 |
* | 3025 - fix a minor annoyance in edit/ | Kartik K. Agaram | 2016-05-29 | 1 | -3/+157 |
* | 2983 - migrate buttons over to sandbox/ | Kartik K. Agaram | 2016-05-19 | 1 | -7/+0 |
* | 2982 | Kartik K. Agaram | 2016-05-19 | 1 | -6/+6 |
* | 2980 | Kartik K. Agaram | 2016-05-19 | 1 | -0/+3 |
* | 2977 - draw new sandbox menu in edit/ | Kartik K. Agaram | 2016-05-19 | 1 | -139/+160 |
* | 2976 | Kartik K. Agaram | 2016-05-19 | 1 | -4/+18 |
* | 2975 | Kartik K. Agaram | 2016-05-19 | 1 | -1/+1 |
* | 2954 - bugfix: $system | Kartik K. Agaram | 2016-05-11 | 1 | -8/+1 |
* | 2953 - use pgup/pgdn to scroll through sandboxes | Kartik K. Agaram | 2016-05-11 | 1 | -48/+37 |
* | 2928 - fix sandbox restore in edit/ and sandbox/ | Kartik K. Agaram | 2016-05-05 | 1 | -3/+7 |
* | 2864 - replace all address:shared with just address | Kartik K. Agaram | 2016-04-24 | 1 | -107/+107 |
* | 2861 - 'maybe-convert' no longer returns address | Kartik K. Agaram | 2016-04-23 | 1 | -3/+3 |
* | 2853 - purge get-address from edit/ app | Kartik K. Agaram | 2016-04-22 | 1 | -41/+40 |
* | 2782 - directly use string literals everywhere | Kartik K. Agaram | 2016-03-14 | 1 | -9/+4 |
* | 2735 - define recipes using 'def' | Kartik K. Agaram | 2016-03-08 | 1 | -22/+22 |
* | 2716 - more holes in immutability checks | Kartik K. Agaram | 2016-02-26 | 1 | -1/+1 |
* | 2707 | Kartik K. Agaram | 2016-02-25 | 1 | -5/+0 |
* | 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 |