about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
...
* 2584Kartik K. Agaram2016-01-211-1/+1
* 2583 - start maintaining refcountsKartik K. Agaram2016-01-212-3/+68
* 2582Kartik K. Agaram2016-01-201-2/+2
* 2581 - make space for the refcount in address:sharedKartik K. Agaram2016-01-207-53/+97
* 2580 - check product type of 'maybe-convert'Kartik K. Agaram2016-01-204-28/+70
* 2579Kartik K. Agaram2016-01-202-0/+9
* 2578Kartik K. Agaram2016-01-202-4/+4
* 2577Kartik K. Agaram2016-01-201-49/+50
* 2576 - distinguish allocated addresses from othersKartik K. Agaram2016-01-1956-3300/+3364
* 2575 - better messages on trace count failuresKartik K. Agaram2016-01-193-3/+13
* 2574Kartik K. Agaram2016-01-192-15/+12
* 2573 - check product type of 'new'Kartik K. Agaram2016-01-194-10/+38
* 2572Kartik K. Agaram2016-01-191-1/+1
* 2571Kartik K. Agaram2016-01-196-4/+4
* 2570 - recipe variables are now fully type-checkedKartik K. Agaram2016-01-181-0/+31
* 2569Kartik K. Agaram2016-01-184-6/+17
* 2568Kartik K. Agaram2016-01-181-0/+17
* 2567Kartik K. Agaram2016-01-181-2/+7
* 2566 - typecheck 'call' on recipe variablesKartik K. Agaram2016-01-181-1/+25
* 2565 - typecheck 'call' on literal recipesKartik K. Agaram2016-01-181-0/+48
* 2564Kartik K. Agaram2016-01-182-8/+6
* 2563 - bring back 'call'Kartik K. Agaram2016-01-182-1/+59
* 2562Kartik K. Agaram2016-01-1713-49/+47
* 2561Kartik K. Agaram2016-01-176-32/+33
* 2560Kartik K. Agaram2016-01-131-5/+3
* 2559 - stop using 'next-ingredient' explicitlyKartik K. Agaram2016-01-125-30/+19
* 2558Kartik K. Agaram2016-01-122-2/+8
* 2557 - type-check most ingredients ahead of timeKartik K. Agaram2016-01-125-48/+86
* 2556Kartik K. Agaram2016-01-121-1/+2
* 2555Kartik K. Agaram2016-01-114-11/+11
* 2554 - give up on static pointer analysisKartik K. Agaram2016-01-111-126/+0
* 2553 - keep failed specializations from generating spurious errorsKartik K. Agaram2015-12-285-17/+3
* 2552Kartik K. Agaram2015-12-281-4/+4
* 2551 - add a space after variables in stashKartik K. Agaram2015-12-281-1/+8
* 2550Kartik K. Agaram2015-12-281-0/+1
* 2549Kartik K. Agaram2015-12-281-1/+3
* 2548 - teach 'print' to print integersKartik K. Agaram2015-12-2816-98/+164
* 2547Kartik K. Agaram2015-12-242-1/+7
* 2546 - another phase-ordering constraintKartik K. Agaram2015-12-192-2/+20
* 2545Kartik K. Agaram2015-12-1534-260/+1182
* support immutability checks in sandbox/ appKartik K. Agaram2015-12-158-18/+47
* three bugs fixedKartik K. Agaram2015-12-158-31/+253
* bugfix after commit 2612Kartik K. Agaram2015-12-151-0/+21
* start working on checking address lifetimeKartik K. Agaram2015-12-151-0/+126
* start using the new checkKartik K. Agaram2015-12-152-8/+6
* improve error messageKartik K. Agaram2015-12-151-8/+16
* infect immutability across recipesKartik K. Agaram2015-12-151-2/+47
* next baby step: infect immutability across copiesKartik K. Agaram2015-12-151-15/+54
* fix a crash on unknown typeKartik K. Agaram2015-12-151-0/+11
* rest of edit/ fixedKartik K. Agaram2015-12-154-8/+8