| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 2403 - experiment: documenting non-assertions | Kartik K. Agaram | 2015-11-08 | 1 | -1/+1 |
| * | 2402 | Kartik K. Agaram | 2015-11-08 | 1 | -2/+2 |
| * | 2400 - eliminate last few warnings | Kartik K. Agaram | 2015-11-08 | 1 | -2/+2 |
| * | 2399 - consistent debug_string vocabulary | Kartik K. Agaram | 2015-11-08 | 1 | -3/+3 |
| * | 2383 - new concern: idempotence of transforms | Kartik K. Agaram | 2015-11-06 | 1 | -1/+1 |
| * | 2382 | Kartik K. Agaram | 2015-11-06 | 1 | -9/+44 |
| * | 2381 | Kartik K. Agaram | 2015-11-06 | 1 | -4/+12 |
| * | 2380 - done loading mu code | Kartik K. Agaram | 2015-11-06 | 1 | -4/+4 |
| * | 2379 - further improvements to map operations | Kartik K. Agaram | 2015-11-06 | 1 | -4/+4 |
| * | 2378 | Kartik K. Agaram | 2015-11-06 | 1 | -3/+3 |
| * | 2377 - stop using operator[] in map | Kartik K. Agaram | 2015-11-06 | 1 | -55/+55 |
| * | 2373 - bad bug: instruction was losing /lookup | Kartik K. Agaram | 2015-11-05 | 1 | -2/+2 |
| * | 2362 | Kartik K. Agaram | 2015-11-04 | 1 | -1/+1 |
| * | 2360 | Kartik K. Agaram | 2015-11-04 | 1 | -0/+2 |
| * | 2358 - starting to tackle the phase ordering problem | Kartik K. Agaram | 2015-11-04 | 1 | -3/+3 |
| * | 2341 - fill in gaps in generic containers | Kartik K. Agaram | 2015-11-01 | 1 | -9/+17 |
| * | 2340 | Kartik K. Agaram | 2015-11-01 | 1 | -7/+5 |
| * | 2329 - hacky start to generic containers | Kartik K. Agaram | 2015-10-30 | 1 | -0/+2 |
| * | 2327 | Kartik K. Agaram | 2015-10-30 | 1 | -4/+1 |
| * | 2326 | Kartik K. Agaram | 2015-10-30 | 1 | -8/+8 |
| * | 2313 | Kartik K. Agaram | 2015-10-29 | 1 | -3/+3 |
| * | 2311 | Kartik K. Agaram | 2015-10-29 | 1 | -8/+8 |
| * | 2293 | Kartik K. Agaram | 2015-10-27 | 1 | -1/+1 |
| * | 2284 | Kartik K. Agaram | 2015-10-26 | 1 | -6/+6 |
| * | 2281 | Kartik K. Agaram | 2015-10-26 | 1 | -25/+0 |
| * | 2280 | Kartik K. Agaram | 2015-10-26 | 1 | -3/+3 |
| * | 2277 - reagents now have a tree of types | Kartik K. Agaram | 2015-10-25 | 1 | -57/+79 |
| * | 2266 - drop experiment with generics | Kartik K. Agaram | 2015-10-07 | 1 | -124/+0 |
| * | 2258 - separate warnings from errors | Kartik K. Agaram | 2015-10-06 | 1 | -43/+43 |
| * | 2251 | Kartik K. Agaram | 2015-10-05 | 1 | -1/+17 |
| * | 2250 | Kartik K. Agaram | 2015-10-05 | 1 | -3/+48 |
| * | 2249 - start of type ingredients or generics | Kartik K. Agaram | 2015-10-05 | 1 | -10/+79 |
| * | 2248 | Kartik K. Agaram | 2015-10-05 | 1 | -9/+6 |
| * | 2243 | Kartik K. Agaram | 2015-10-05 | 1 | -1/+1 |
| * | 2242 | Kartik K. Agaram | 2015-10-05 | 1 | -0/+2 |
| * | 2241 - back to type-checking get-address | Kartik K. Agaram | 2015-10-05 | 1 | -1/+23 |
| * | 2234 - check type of get's product | Kartik K. Agaram | 2015-10-02 | 1 | -1/+32 |
| * | 2233 - basic checks for non-primitive recipes | Kartik K. Agaram | 2015-10-01 | 1 | -1/+6 |
| * | 2227 - offset-checking for containers | Kartik K. Agaram | 2015-10-01 | 1 | -32/+59 |
| * | 2226 - standardize warning format | Kartik K. Agaram | 2015-10-01 | 1 | -6/+6 |
| * | 2218 - check types in instructions much earlier | Kartik K. Agaram | 2015-09-30 | 1 | -1/+1 |
| * | 2154 - check types only after loading all layers | Kartik K. Agaram | 2015-09-05 | 1 | -1/+1 |
| * | 2137 | Kartik K. Agaram | 2015-09-03 | 1 | -1/+0 |
| * | 2126 | Kartik K. Agaram | 2015-09-01 | 1 | -1/+1 |
| * | 2095 | Kartik K. Agaram | 2015-08-28 | 1 | -7/+0 |
| * | 2064 | Kartik K. Agaram | 2015-08-24 | 1 | -1/+1 |
| * | 2060 - even more efficient up/down | Kartik K. Agaram | 2015-08-22 | 1 | -2/+2 |
| * | 1994 - new primitive: 'create-array' | Kartik K. Agaram | 2015-08-14 | 1 | -1/+3 |
| * | 1988 - handle reagents without types | Kartik K. Agaram | 2015-08-13 | 1 | -4/+4 |
| * | 1975 - let's start using traces in lessons | Kartik K. Agaram | 2015-08-10 | 1 | -0/+9 |