Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | bugfix: phase ordering | Kartik K. Agaram | 2015-12-15 | 2 | -4/+49 |
* | layer 3 of edit/ now working | Kartik K. Agaram | 2015-12-15 | 4 | -10/+47 |
* | chessboard.mu now working | Kartik K. Agaram | 2015-12-15 | 1 | -3/+3 |
* | layers 1 and 2 of edit/ now working | Kartik K. Agaram | 2015-12-15 | 2 | -5/+5 |
* | experiment: treat pure ingredients as immutable | Kartik K. Agaram | 2015-12-15 | 3 | -48/+257 |
* | 2627 | Kartik K. Agaram | 2015-12-15 | 1 | -3/+3 |
* | 2626 | Kartik K. Agaram | 2015-12-15 | 1 | -0/+2 |
* | 2625 | Kartik K. Agaram | 2015-12-15 | 1 | -4/+1 |
* | 2624 - fix all layers | Kartik K. Agaram | 2015-12-14 | 1 | -1/+1 |
* | 2623 - check 'reply' instructions ahead of time | Kartik K. Agaram | 2015-12-13 | 1 | -38/+58 |
* | 2622 | Kartik K. Agaram | 2015-12-13 | 6 | -42/+42 |
* | 2621 | Kartik K. Agaram | 2015-12-08 | 1 | -2/+11 |
* | 2620 | Kartik K. Agaram | 2015-12-07 | 1 | -1/+4 |
* | 2619 | Kartik K. Agaram | 2015-12-07 | 1 | -1/+1 |
* | 2618 | Kartik K. Agaram | 2015-12-07 | 1 | -2/+2 |
* | 2617 | Kartik K. Agaram | 2015-12-02 | 1 | -1/+0 |
* | 2616 | Kartik K. Agaram | 2015-12-02 | 1 | -0/+11 |
* | 2615 | Kartik K. Agaram | 2015-12-02 | 2 | -17/+18 |
* | 2614 - still fixing bugs with missing '[' | Kartik K. Agaram | 2015-12-02 | 7 | -41/+49 |
* | 2613 - stop dying on missing bracket | Kartik K. Agaram | 2015-12-02 | 1 | -2/+8 |
* | 2612 | Kartik K. Agaram | 2015-11-29 | 1 | -9/+9 |
* | 2611 | Kartik K. Agaram | 2015-11-29 | 61 | -1101/+1662 |
* | 2610 | Kartik K. Agaram | 2015-11-29 | 1 | -5/+5 |
* | 2609 - run $browse-trace on old runs | Kartik K. Agaram | 2015-11-29 | 3 | -0/+34 |
* | 2608 - improve errors when static dispatch fails | Kartik K. Agaram | 2015-11-29 | 3 | -2/+53 |
* | 2607 - resolve some edge cases in static dispatch | Kartik K. Agaram | 2015-11-29 | 5 | -16/+101 |
* | 2606 - handle cycles inside stash | Kartik K. Agaram | 2015-11-29 | 4 | -9/+52 |
* | 2505 - test_all_layers now passes | Kartik K. Agaram | 2015-11-29 | 1 | -15/+2 |
* | 2504 - support to-text in 'stash' | Kartik K. Agaram | 2015-11-28 | 4 | -8/+72 |