| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2728 - don't ignore /space: while checking types | Kartik K. Agaram | 2016-03-04 | 1 | -16/+1 |
| * | 2727 - don't ignore /space: in immutability checks | Kartik K. Agaram | 2016-03-04 | 1 | -12/+50 |
| * | 2726 | Kartik K. Agaram | 2016-03-04 | 1 | -3/+4 |
| * | 2716 - more holes in immutability checks | Kartik K. Agaram | 2016-02-26 | 1 | -6/+97 |
| * | 2715 - bugfix: directly modifying ingredients | Kartik K. Agaram | 2016-02-26 | 1 | -0/+24 |
| * | 2712 | Kartik K. Agaram | 2016-02-26 | 1 | -6/+6 |
| * | 2709 | Kartik K. Agaram | 2016-02-25 | 1 | -6/+0 |
| * | 2701 - turn some warnings into errors | Kartik K. Agaram | 2016-02-25 | 1 | -25/+25 |
| * | 2670 - better names for string conversions | Kartik K. Agaram | 2016-02-19 | 1 | -1/+1 |
| * | 2685 | Kartik K. Agaram | 2016-02-19 | 1 | -4/+4 |
| * | 2656 | Kartik K. Agaram | 2016-02-14 | 1 | -4/+1 |
| * | 2576 - distinguish allocated addresses from others | Kartik K. Agaram | 2016-01-19 | 1 | -36/+36 |
| * | support immutability checks in sandbox/ app | Kartik K. Agaram | 2015-12-15 | 1 | -1/+28 |
| * | bugfix after commit 2612 | Kartik K. Agaram | 2015-12-15 | 1 | -0/+21 |
| * | 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 |
| * | experiment: treat pure ingredients as immutable | Kartik K. Agaram | 2015-12-15 | 1 | -0/+211 |
| * | 2433 - temporarily undo 2432 | Kartik K. Agaram | 2015-11-13 | 1 | -211/+0 |
| * | 2432 - first stab at making ingredients immutable | Kartik K. Agaram | 2015-11-13 | 1 | -0/+211 |