about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* 2286Kartik K. Agaram2015-10-273-3/+4
* 2285Kartik K. Agaram2015-10-261-2/+3
* 2284Kartik K. Agaram2015-10-263-15/+15
* 2283 - represent each /property as a treeKartik K. Agaram2015-10-2619-94/+150
* 2282Kartik K. Agaram2015-10-265-53/+59
* 2281Kartik K. Agaram2015-10-262-25/+24
* 2280Kartik K. Agaram2015-10-262-4/+4
* 2279Kartik K. Agaram2015-10-261-1/+1
* 2278Kartik K. Agaram2015-10-261-2/+2
* 2277 - reagents now have a tree of typesKartik K. Agaram2015-10-2522-237/+337
* 2276Kartik K. Agaram2015-10-251-1/+1
* 2275Kartik K. Agaram2015-10-251-0/+1
* 2274Kartik K. Agaram2015-10-252-3/+7
* 2273 - start expanding the type systemKartik K. Agaram2015-10-253-7/+118
* 2272Kartik K. Agaram2015-10-192-3/+18
* 2271 - bugfix: traces cross-contaminating errorsKartik K. Agaram2015-10-199-17/+62
* 2270Kartik K. Agaram2015-10-124-5/+5
* 2269Kartik K. Agaram2015-10-091-1/+12
* 2268 - bugfix in 'mu sandbox'Kartik K. Agaram2015-10-092-1/+16
* 2267Kartik K. Agaram2015-10-092-2/+2
* 2266 - drop experiment with genericsKartik K. Agaram2015-10-072-125/+1
* 2263Kartik K. Agaram2015-10-071-1/+1
* 2262 - strengthen some type checksKartik K. Agaram2015-10-076-26/+55
* 2261Kartik K. Agaram2015-10-062-6/+2
* 2260 - start tracing by depth rather than labelKartik K. Agaram2015-10-0616-77/+61
* 2259Kartik K. Agaram2015-10-061-7/+7
* 2258 - separate warnings from errorsKartik K. Agaram2015-10-0639-460/+507
* 2257Kartik K. Agaram2015-10-061-1/+6
* 2256Kartik K. Agaram2015-10-061-0/+4
* 2255 - bug in detecting non-integersKartik K. Agaram2015-10-061-1/+8
* 2254Kartik K. Agaram2015-10-052-34/+34
* 2253 - start reorganizing tracesKartik K. Agaram2015-10-052-34/+1
* 2252Kartik K. Agaram2015-10-051-1/+1
* 2251Kartik K. Agaram2015-10-051-1/+17
* 2250Kartik K. Agaram2015-10-051-3/+48
* 2249 - start of type ingredients or genericsKartik K. Agaram2015-10-051-10/+79
* 2248Kartik K. Agaram2015-10-051-9/+6
* 2247 - type-check products of non-primitive recipesKartik K. Agaram2015-10-0512-91/+114
* 2246Kartik K. Agaram2015-10-051-1/+1
* 2245Kartik K. Agaram2015-10-051-4/+1
* 2244Kartik K. Agaram2015-10-052-9/+9
* 2243Kartik K. Agaram2015-10-052-1/+3
* 2242Kartik K. Agaram2015-10-052-3/+54
* 2241 - back to type-checking get-addressKartik K. Agaram2015-10-055-10/+32
* 2240 - drop the failing test in 'mu sandbox'Kartik K. Agaram2015-10-041-45/+1
* 2239Kartik K. Agaram2015-10-041-1/+5
* 2238 - dump recipes after tanglingKartik K. Agaram2015-10-042-0/+10
* 2237Kartik K. Agaram2015-10-042-2/+2
* 2236 - all tests passing except one in 'mu sandbox'Kartik K. Agaram2015-10-042-15/+17
* 2235Kartik K. Agaram2015-10-021-4/+4
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-18 08:29:48 +0000