Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 2601 - fix crash | Kartik K. Agaram | 2016-01-24 | 1 | -2/+4 |
* | 2600 - teach 'print' about addresses | Kartik K. Agaram | 2016-01-23 | 1 | -0/+20 |
* | 2599 - abandon should clear its argument | Kartik K. Agaram | 2016-01-23 | 1 | -11/+27 |
* | 2598 - bugfix: scrolling after edit | Kartik K. Agaram | 2016-01-23 | 1 | -0/+72 |
* | 2597 | Kartik K. Agaram | 2016-01-23 | 1 | -0/+3 |
* | 2596 - experiment: no unique addresses in calls | Kartik K. Agaram | 2016-01-23 | 2 | -3/+41 |
* | 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 | 6 | -187/+615 |
* | 2593 - bugfix: editing a sandbox resets scroll | Kartik K. Agaram | 2016-01-22 | 2 | -0/+108 |
* | 2592 - bugfix: sandbox title bar management | Kartik K. Agaram | 2016-01-22 | 2 | -2/+169 |
* | 2591 | Kartik K. Agaram | 2016-01-22 | 2 | -2/+14 |
* | 2590 - support scrolling through sandboxes | Kartik K. Agaram | 2016-01-22 | 14 | -26/+741 |
* | 2589 - tweak color for sandbox labels | Kartik K. Agaram | 2016-01-22 | 2 | -4/+4 |
* | 2588 - bugfix: show *first* sandbox with error | Kartik K. Agaram | 2016-01-22 | 2 | -1/+57 |
* | 2587 - bugfix: show-screen on warnings | Kartik K. Agaram | 2016-01-22 | 2 | -2/+0 |
* | 2586 - show first sandbox with error in status | Kartik K. Agaram | 2016-01-22 | 9 | -30/+137 |
* | 2585 - label sandboxes with a number | Kartik K. Agaram | 2016-01-22 | 12 | -50/+80 |
* | 2584 | Kartik K. Agaram | 2016-01-21 | 1 | -1/+1 |
* | 2583 - start maintaining refcounts | Kartik K. Agaram | 2016-01-21 | 2 | -3/+68 |
* | 2582 | Kartik K. Agaram | 2016-01-20 | 1 | -2/+2 |
* | 2581 - make space for the refcount in address:shared | Kartik K. Agaram | 2016-01-20 | 7 | -53/+97 |
* | 2580 - check product type of 'maybe-convert' | Kartik K. Agaram | 2016-01-20 | 4 | -28/+70 |
* | 2579 | Kartik K. Agaram | 2016-01-20 | 2 | -0/+9 |
* | 2578 | Kartik K. Agaram | 2016-01-20 | 2 | -4/+4 |
* | 2577 | Kartik K. Agaram | 2016-01-20 | 1 | -49/+50 |
* | 2576 - distinguish allocated addresses from others | Kartik K. Agaram | 2016-01-19 | 56 | -3300/+3364 |
* | 2575 - better messages on trace count failures | Kartik K. Agaram | 2016-01-19 | 3 | -3/+13 |
* | 2574 | Kartik K. Agaram | 2016-01-19 | 2 | -15/+12 |
* | 2573 - check product type of 'new' | Kartik K. Agaram | 2016-01-19 | 4 | -10/+38 |
* | 2572 | Kartik K. Agaram | 2016-01-19 | 1 | -1/+1 |
* | 2571 | Kartik K. Agaram | 2016-01-19 | 6 | -4/+4 |
* | 2570 - recipe variables are now fully type-checked | Kartik K. Agaram | 2016-01-18 | 1 | -0/+31 |
* | 2569 | Kartik K. Agaram | 2016-01-18 | 4 | -6/+17 |
* | 2568 | Kartik K. Agaram | 2016-01-18 | 1 | -0/+17 |
* | 2567 | Kartik K. Agaram | 2016-01-18 | 1 | -2/+7 |
* | 2566 - typecheck 'call' on recipe variables | Kartik K. Agaram | 2016-01-18 | 1 | -1/+25 |
* | 2565 - typecheck 'call' on literal recipes | Kartik K. Agaram | 2016-01-18 | 1 | -0/+48 |
* | 2564 | Kartik K. Agaram | 2016-01-18 | 2 | -8/+6 |
* | 2563 - bring back 'call' | Kartik K. Agaram | 2016-01-18 | 2 | -1/+59 |
* | 2562 | Kartik K. Agaram | 2016-01-17 | 13 | -49/+47 |
* | 2561 | Kartik K. Agaram | 2016-01-17 | 6 | -32/+33 |
* | 2560 | Kartik K. Agaram | 2016-01-13 | 1 | -5/+3 |
* | 2559 - stop using 'next-ingredient' explicitly | Kartik K. Agaram | 2016-01-12 | 5 | -30/+19 |
* | 2558 | Kartik K. Agaram | 2016-01-12 | 2 | -2/+8 |
* | 2557 - type-check most ingredients ahead of time | Kartik K. Agaram | 2016-01-12 | 5 | -48/+86 |
* | 2556 | Kartik K. Agaram | 2016-01-12 | 1 | -1/+2 |
* | 2555 | Kartik K. Agaram | 2016-01-11 | 4 | -11/+11 |
* | 2554 - give up on static pointer analysis | Kartik K. Agaram | 2016-01-11 | 1 | -126/+0 |
* | 2553 - keep failed specializations from generating spurious errors | Kartik K. Agaram | 2015-12-28 | 5 | -17/+3 |
* | 2552 | Kartik K. Agaram | 2015-12-28 | 1 | -4/+4 |