about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 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
* bugfix: phase orderingKartik K. Agaram2015-12-152-4/+49
* layer 3 of edit/ now workingKartik K. Agaram2015-12-154-10/+47
* chessboard.mu now workingKartik K. Agaram2015-12-151-3/+3
* layers 1 and 2 of edit/ now workingKartik K. Agaram2015-12-152-5/+5
* experiment: treat pure ingredients as immutableKartik K. Agaram2015-12-153-48/+257
* 2627Kartik K. Agaram2015-12-151-3/+3
* 2626Kartik K. Agaram2015-12-151-0/+2
* 2625Kartik K. Agaram2015-12-151-4/+1
* 2624 - fix all layersKartik K. Agaram2015-12-141-1/+1
* 2623 - check 'reply' instructions ahead of timeKartik K. Agaram2015-12-131-38/+58
* 2622Kartik K. Agaram2015-12-136-42/+42
* 2621Kartik K. Agaram2015-12-081-2/+11
* 2620Kartik K. Agaram2015-12-071-1/+4
* 2619Kartik K. Agaram2015-12-071-1/+1