about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 2404 - ah, finally a useful assertionKartik K. Agaram2015-11-083-10/+50
* 2403 - experiment: documenting non-assertionsKartik K. Agaram2015-11-082-2/+2
* 2402Kartik K. Agaram2015-11-081-2/+2
* 2401Kartik K. Agaram2015-11-082-2/+2
* 2400 - eliminate last few warningsKartik K. Agaram2015-11-084-14/+21
* 2399 - consistent debug_string vocabularyKartik K. Agaram2015-11-0810-87/+83
* 2398Kartik K. Agaram2015-11-081-2/+2
* 2397Kartik K. Agaram2015-11-085-3/+25
* 2396 - edit working again!!Kartik K. Agaram2015-11-084-27/+55
* 2395 - type ingredients can map to trees of typesKartik K. Agaram2015-11-071-1/+3
* 2394 - clean up outputKartik K. Agaram2015-11-074-22/+1
* 2393 - redo 2391Kartik K. Agaram2015-11-079-61/+166
* 2392 - undo 2391Kartik K. Agaram2015-11-079-133/+61
* 2391Kartik K. Agaram2015-11-079-59/+133
* 2390 - undo 2389Kartik K. Agaram2015-11-073-9/+3
* 2389Kartik K. Agaram2015-11-073-3/+9
* 2388 - final layer of edit/ loaded successfullyKartik K. Agaram2015-11-074-41/+62
* 2387 - edit/ passing except that final undo layerKartik K. Agaram2015-11-071-0/+2
* 2386 - core tests passing againKartik K. Agaram2015-11-072-2/+3
* 2385 - tests passing until layer 58Kartik K. Agaram2015-11-071-2/+7
* 2384 - tests pass until layer 54Kartik K. Agaram2015-11-072-1/+4
* 2383 - new concern: idempotence of transformsKartik K. Agaram2015-11-0612-14/+14
* 2382Kartik K. Agaram2015-11-0613-13/+68
* 2381Kartik K. Agaram2015-11-062-4/+14
* 2380 - done loading mu codeKartik K. Agaram2015-11-066-23/+27
* 2379 - further improvements to map operationsKartik K. Agaram2015-11-0619-51/+56
* 2378Kartik K. Agaram2015-11-066-12/+12
* 2377 - stop using operator[] in mapKartik K. Agaram2015-11-0645-575/+593
* 2376Kartik K. Agaram2015-11-051-7/+7
* 2375 - layer 9 doneKartik K. Agaram2015-11-051-6/+5
* 2374 - now edit works until layer 8Kartik K. Agaram2015-11-055-83/+73
* 2373 - bad bug: instruction was losing /lookupKartik K. Agaram2015-11-053-2/+18
* 2372Kartik K. Agaram2015-11-051-0/+4
* 2371 - layer 5 of editKartik K. Agaram2015-11-054-68/+45
* 2370 - layers 1-4 of edit are backKartik K. Agaram2015-11-055-357/+325
* 2369 - layer 1 of edit is backKartik K. Agaram2015-11-052-34/+18
* 2368 - start getting edit working againKartik K. Agaram2015-11-052-23/+31
* 2367Kartik K. Agaram2015-11-051-1/+1
* 2366 - disallow static dispatch inside header-less recipesKartik K. Agaram2015-11-051-0/+1
* 2365Kartik K. Agaram2015-11-051-10/+10
* 2364Kartik K. Agaram2015-11-051-0/+10
* 2363 - duplex-list is now generic.Kartik K. Agaram2015-11-052-252/+252
* 2362Kartik K. Agaram2015-11-042-1/+2
* 2361Kartik K. Agaram2015-11-041-1/+2
* 2360Kartik K. Agaram2015-11-0411-15/+60
* 2359Kartik K. Agaram2015-11-041-1/+1
* 2358 - starting to tackle the phase ordering problemKartik K. Agaram2015-11-0413-30/+32
* 2357Kartik K. Agaram2015-11-041-1/+1
* 2356Kartik K. Agaram2015-11-041-8/+12
* 2355Kartik K. Agaram2015-11-041-0/+14