| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
| * | 2551 - add a space after variables in stash | Kartik K. Agaram | 2015-12-28 | 1 | -1/+8 | |
| * | 2550 | Kartik K. Agaram | 2015-12-28 | 1 | -0/+1 | |
| * | 2549 | Kartik K. Agaram | 2015-12-28 | 1 | -1/+3 | |
| * | 2548 - teach 'print' to print integers | Kartik K. Agaram | 2015-12-28 | 16 | -98/+164 | |
| * | 2547 | Kartik K. Agaram | 2015-12-24 | 2 | -1/+7 | |
| * | 2546 - another phase-ordering constraint | Kartik K. Agaram | 2015-12-19 | 2 | -2/+20 | |
| * | 2545 | Kartik K. Agaram | 2015-12-15 | 34 | -260/+1182 | |
| * | support immutability checks in sandbox/ app | Kartik K. Agaram | 2015-12-15 | 8 | -18/+47 | |
| * | three bugs fixed | Kartik K. Agaram | 2015-12-15 | 8 | -31/+253 | |
| * | bugfix after commit 2612 | Kartik K. Agaram | 2015-12-15 | 1 | -0/+21 | |
| * | start working on checking address lifetime | Kartik K. Agaram | 2015-12-15 | 1 | -0/+126 | |
| * | start using the new check | Kartik K. Agaram | 2015-12-15 | 2 | -8/+6 | |
| * | improve error message | Kartik K. Agaram | 2015-12-15 | 1 | -8/+16 | |
| * | infect immutability across recipes | Kartik K. Agaram | 2015-12-15 | 1 | -2/+47 | |
| * | next baby step: infect immutability across copies | Kartik K. Agaram | 2015-12-15 | 1 | -15/+54 | |
| * | fix a crash on unknown type | Kartik K. Agaram | 2015-12-15 | 1 | -0/+11 | |
| * | rest of edit/ fixed | Kartik K. Agaram | 2015-12-15 | 4 | -8/+8 | |