Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | 2229 | Kartik K. Agaram | 2015-10-01 | 1 | -0/+6 | |
* | 2228 - index-checking for arrays | Kartik K. Agaram | 2015-10-01 | 1 | -23/+47 | |
* | 2227 - offset-checking for containers | Kartik K. Agaram | 2015-10-01 | 4 | -42/+88 | |
* | 2226 - standardize warning format | Kartik K. Agaram | 2015-10-01 | 33 | -175/+186 | |
* | 2225 | Kartik K. Agaram | 2015-10-01 | 4 | -63/+91 | |
* | 2224 | Kartik K. Agaram | 2015-09-30 | 1 | -3/+3 | |
* | 2223 | Kartik K. Agaram | 2015-09-30 | 2 | -20/+32 | |
* | 2222 | Kartik K. Agaram | 2015-09-30 | 3 | -14/+14 | |
* | 2221 | Kartik K. Agaram | 2015-09-30 | 4 | -19/+46 | |
* | 2220 | Kartik K. Agaram | 2015-09-30 | 3 | -34/+121 | |
* | 2219 | Kartik K. Agaram | 2015-09-30 | 1 | -12/+4 | |
* | 2218 - check types in instructions much earlier | Kartik K. Agaram | 2015-09-30 | 13 | -132/+177 | |
* | 2217 | Kartik K. Agaram | 2015-09-29 | 2 | -0/+0 | |
* | 2216 | Kartik K. Agaram | 2015-09-29 | 2 | -1/+13 | |
* | 2215 | Kartik K. Agaram | 2015-09-29 | 1 | -1/+1 | |
* | 2214 | Kartik K. Agaram | 2015-09-28 | 8 | -33/+39 |