Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 2281 | Kartik K. Agaram | 2015-10-26 | 2 | -25/+24 | |
* | 2280 | Kartik K. Agaram | 2015-10-26 | 2 | -4/+4 | |
* | 2279 | Kartik K. Agaram | 2015-10-26 | 1 | -1/+1 | |
* | 2278 | Kartik K. Agaram | 2015-10-26 | 1 | -2/+2 | |
* | 2277 - reagents now have a tree of types | Kartik K. Agaram | 2015-10-25 | 22 | -237/+337 | |
* | 2276 | Kartik K. Agaram | 2015-10-25 | 1 | -1/+1 | |
* | 2275 | Kartik K. Agaram | 2015-10-25 | 1 | -0/+1 | |
* | 2274 | Kartik K. Agaram | 2015-10-25 | 2 | -3/+7 | |
* | 2273 - start expanding the type system | Kartik K. Agaram | 2015-10-25 | 3 | -7/+118 | |
* | 2272 | Kartik K. Agaram | 2015-10-19 | 2 | -3/+18 | |
* | 2271 - bugfix: traces cross-contaminating errors | Kartik K. Agaram | 2015-10-19 | 9 | -17/+62 | |
* | 2270 | Kartik K. Agaram | 2015-10-12 | 4 | -5/+5 | |
* | 2269 | Kartik K. Agaram | 2015-10-09 | 1 | -1/+12 | |
* | 2268 - bugfix in 'mu sandbox' | Kartik K. Agaram | 2015-10-09 | 2 | -1/+16 | |
* | 2267 | Kartik K. Agaram | 2015-10-09 | 2 | -2/+2 | |
* | 2266 - drop experiment with generics | Kartik K. Agaram | 2015-10-07 | 2 | -125/+1 | |
* | 2263 | Kartik K. Agaram | 2015-10-07 | 1 | -1/+1 | |
* | 2262 - strengthen some type checks | Kartik K. Agaram | 2015-10-07 | 6 | -26/+55 | |
* | 2261 | Kartik K. Agaram | 2015-10-06 | 2 | -6/+2 | |
* | 2260 - start tracing by depth rather than label | Kartik K. Agaram | 2015-10-06 | 16 | -77/+61 | |
* | 2259 | Kartik K. Agaram | 2015-10-06 | 1 | -7/+7 | |
* | 2258 - separate warnings from errors | Kartik K. Agaram | 2015-10-06 | 39 | -460/+507 | |
* | 2257 | Kartik K. Agaram | 2015-10-06 | 1 | -1/+6 | |
* | 2256 | Kartik K. Agaram | 2015-10-06 | 1 | -0/+4 | |
* | 2255 - bug in detecting non-integers | Kartik K. Agaram | 2015-10-06 | 1 | -1/+8 | |
* | 2254 | Kartik K. Agaram | 2015-10-05 | 2 | -34/+34 | |
* | 2253 - start reorganizing traces | Kartik K. Agaram | 2015-10-05 | 2 | -34/+1 | |
* | 2252 | Kartik K. Agaram | 2015-10-05 | 1 | -1/+1 | |
* | 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 | |
* | 2247 - type-check products of non-primitive recipes | Kartik K. Agaram | 2015-10-05 | 12 | -91/+114 | |
* | 2246 | Kartik K. Agaram | 2015-10-05 | 1 | -1/+1 | |
* | 2245 | Kartik K. Agaram | 2015-10-05 | 1 | -4/+1 | |
* | 2244 | Kartik K. Agaram | 2015-10-05 | 2 | -9/+9 | |
* | 2243 | Kartik K. Agaram | 2015-10-05 | 2 | -1/+3 | |
* | 2242 | Kartik K. Agaram | 2015-10-05 | 2 | -3/+54 | |
* | 2241 - back to type-checking get-address | Kartik K. Agaram | 2015-10-05 | 5 | -10/+32 | |
* | 2240 - drop the failing test in 'mu sandbox' | Kartik K. Agaram | 2015-10-04 | 1 | -45/+1 | |
* | 2239 | Kartik K. Agaram | 2015-10-04 | 1 | -1/+5 | |
* | 2238 - dump recipes after tangling | Kartik K. Agaram | 2015-10-04 | 2 | -0/+10 | |
* | 2237 | Kartik K. Agaram | 2015-10-04 | 2 | -2/+2 | |
* | 2236 - all tests passing except one in 'mu sandbox' | Kartik K. Agaram | 2015-10-04 | 2 | -15/+17 | |
* | 2235 | Kartik K. Agaram | 2015-10-02 | 1 | -4/+4 | |
* | 2234 - check type of get's product | Kartik K. Agaram | 2015-10-02 | 4 | -20/+53 | |
* | 2233 - basic checks for non-primitive recipes | Kartik K. Agaram | 2015-10-01 | 2 | -8/+14 | |
* | 2232 | Kartik K. Agaram | 2015-10-01 | 16 | -129/+435 | |
* | 2231 | Kartik K. Agaram | 2015-10-01 | 1 | -0/+1 | |
* | 2230 | Kartik K. Agaram | 2015-10-01 | 1 | -11/+17 |