sbp.git
13 years agocheckpoint
adam [Fri, 14 Jul 2006 00:53:20 +0000 (20:53 -0400)]
checkpoint

darcs-hash:20060714005320-5007d-b67bea4e7f3dba301521cfd6a4176fdcaf6f46ae.gz

13 years agocheckpoint
adam [Fri, 14 Jul 2006 00:13:44 +0000 (20:13 -0400)]
checkpoint

darcs-hash:20060714001344-5007d-1a5411e9ca6022f1d69cbb1858b6e7ae3128c5b6.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 22:13:49 +0000 (18:13 -0400)]
checkpoint

darcs-hash:20060713221349-5007d-38690618f6d10858ff446e920523aad88057d21d.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 22:12:41 +0000 (18:12 -0400)]
checkpoint

darcs-hash:20060713221241-5007d-280d07d02103c981c77deb6230beb640120c1a35.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:59:19 +0000 (17:59 -0400)]
checkpoint

darcs-hash:20060713215919-5007d-d39c4e6f1262f1b8b321287080679c0cb4ac628b.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:58:56 +0000 (17:58 -0400)]
checkpoint

darcs-hash:20060713215856-5007d-0465eabbf8a35ead1ddf7b4646d5f5c2cdc331b3.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:57:29 +0000 (17:57 -0400)]
checkpoint

darcs-hash:20060713215729-5007d-0a11aa501ae49507f8a95e5dd895c590fbd62c1a.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:57:20 +0000 (17:57 -0400)]
checkpoint

darcs-hash:20060713215720-5007d-b400f014e47f3162886d7fab34638c73b8de72b9.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:43:50 +0000 (17:43 -0400)]
checkpoint

darcs-hash:20060713214350-5007d-4a9695efeb8dac98fe780cb7c3b699367dae496f.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 21:39:57 +0000 (17:39 -0400)]
checkpoint

darcs-hash:20060713213957-5007d-24d7469f2cb19255ee06411929057bdfda5d2edd.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 10:04:58 +0000 (06:04 -0400)]
checkpoint

darcs-hash:20060713100458-5007d-aaed953c38abcac4290bbdaf3206065230075b78.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 09:16:46 +0000 (05:16 -0400)]
checkpoint

darcs-hash:20060713091646-5007d-dbf157de277f9842e8570657eae76e7f93fd3467.gz

13 years agocheckpoint
adam [Thu, 13 Jul 2006 09:08:46 +0000 (05:08 -0400)]
checkpoint

darcs-hash:20060713090846-5007d-29c31d94e929cead6018306da206dfdd2d6040f7.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 08:17:31 +0000 (04:17 -0400)]
checkpoint

darcs-hash:20060708081731-5007d-927f08c5435080dea31eb86a9b79f06151f43299.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 06:31:11 +0000 (02:31 -0400)]
checkpoint

darcs-hash:20060708063111-5007d-b5f040a1be2cc38e9060307115de76ffb3f2c285.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 05:40:50 +0000 (01:40 -0400)]
checkpoint

darcs-hash:20060708054050-5007d-abdffc229c5cf42aaeed724ebf8b200106328a19.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 05:27:04 +0000 (01:27 -0400)]
checkpoint

darcs-hash:20060708052704-5007d-d1677271293aaa97696b5d264bb4c361414ce62e.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:48:46 +0000 (00:48 -0400)]
checkpoint

darcs-hash:20060708044846-5007d-d4ecd062cb56794d8959d48619996ab2ff2f4a8f.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:41:55 +0000 (00:41 -0400)]
checkpoint

darcs-hash:20060708044155-5007d-42b2d821a645f182a0b8760f2c943ad0d9829ad8.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:37:24 +0000 (00:37 -0400)]
checkpoint

darcs-hash:20060708043724-5007d-843c29b85206fb61e6f6a7e5943fa8de9465d140.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:29:34 +0000 (00:29 -0400)]
checkpoint

darcs-hash:20060708042934-5007d-fd198d9b46f7ebed9231971eba8b2188b9cf47b6.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:21:33 +0000 (00:21 -0400)]
checkpoint

darcs-hash:20060708042133-5007d-7275589f97b5a8268d7d8fa0d0cefbec0a142f5b.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:20:37 +0000 (00:20 -0400)]
checkpoint

darcs-hash:20060708042037-5007d-48e1270f47b47846a5953b029fec937b2917faca.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:15:37 +0000 (00:15 -0400)]
checkpoint

darcs-hash:20060708041537-5007d-df476b289b835b98e48527587b764f0f08fcc2a6.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:15:18 +0000 (00:15 -0400)]
checkpoint

darcs-hash:20060708041518-5007d-5d68fa83e3848fb2ca90207db08211375b703215.gz

13 years agocheckpoint
adam [Sat, 8 Jul 2006 04:13:28 +0000 (00:13 -0400)]
checkpoint

darcs-hash:20060708041328-5007d-e452ecdbfece168c7bd16aee0ca68a4ad466562d.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 07:47:24 +0000 (03:47 -0400)]
checkpoint

darcs-hash:20060706074724-5007d-3eb0a15c9c2ffd871bb6022aba73e9a2cebe9fcb.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 07:46:49 +0000 (03:46 -0400)]
checkpoint

darcs-hash:20060706074649-5007d-489ea179e3db9c719ac50fc031abb2ca0ac74f3c.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 07:46:07 +0000 (03:46 -0400)]
checkpoint

darcs-hash:20060706074607-5007d-71c755196f8260a73f61602fd95e0eddf70ef6e4.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 07:35:46 +0000 (03:35 -0400)]
checkpoint

darcs-hash:20060706073546-5007d-cf9c367dafeddb927ef494fd4526266a7dabf5c9.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 07:33:15 +0000 (03:33 -0400)]
checkpoint

darcs-hash:20060706073315-5007d-19a507d76df9c8cbd9f7ec4d1db7c97f00853792.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:57:37 +0000 (02:57 -0400)]
checkpoint

darcs-hash:20060706065737-5007d-69edb414288f48287520bc34a448699239fa4b22.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:40:47 +0000 (02:40 -0400)]
checkpoint

darcs-hash:20060706064047-5007d-2c551b9f15cd5045345d3a1c8d5a24a96b39477c.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:39:42 +0000 (02:39 -0400)]
checkpoint

darcs-hash:20060706063942-5007d-dac5fdc5dbf3818245d011cc63a9bba606c619a7.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:39:01 +0000 (02:39 -0400)]
checkpoint

darcs-hash:20060706063901-5007d-90aa7668089591697442e14eb4336e3182cebcee.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:38:14 +0000 (02:38 -0400)]
checkpoint

darcs-hash:20060706063814-5007d-5c0dc49440d602b1cfc131f3558f9f66417862f6.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:30:24 +0000 (02:30 -0400)]
checkpoint

darcs-hash:20060706063024-5007d-545d0a95ab4ba10d81ae80532fc79d9d955b3b7f.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:24:21 +0000 (02:24 -0400)]
checkpoint

darcs-hash:20060706062421-5007d-7eee7d324c8616cf0d0b3c2b16026788db32b436.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:16:12 +0000 (02:16 -0400)]
checkpoint

darcs-hash:20060706061612-5007d-a085422edfd634b29174289956d5d3fc15126501.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:14:54 +0000 (02:14 -0400)]
checkpoint

darcs-hash:20060706061454-5007d-708f4b55e7ffde90e7e86a886f4d08b8e133ac9e.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 06:04:07 +0000 (02:04 -0400)]
checkpoint

darcs-hash:20060706060407-5007d-ace5fa3a01c11a2c2221238f1329255a0fb28483.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 05:59:37 +0000 (01:59 -0400)]
checkpoint

darcs-hash:20060706055937-5007d-8e7f8365feb598bbedcb06e086aecf8d4d44bd9c.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 05:57:39 +0000 (01:57 -0400)]
checkpoint

darcs-hash:20060706055739-5007d-23a55dc2e24ba50b6d04028b40576b6cab343872.gz

13 years agocheckpoint
adam [Thu, 6 Jul 2006 05:55:24 +0000 (01:55 -0400)]
checkpoint

darcs-hash:20060706055524-5007d-a5d490fea3b4059f12a8400f5fa9f63414df8861.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 17:46:57 +0000 (13:46 -0400)]
checkpoint

darcs-hash:20060705174657-5007d-eb0dec38b22b2e0bbe6585725cd74411e0524b01.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 17:35:35 +0000 (13:35 -0400)]
checkpoint

darcs-hash:20060705173535-5007d-dcf8077cdc780501615ed63f33562b9bfc1db0d4.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 17:33:25 +0000 (13:33 -0400)]
checkpoint

darcs-hash:20060705173325-5007d-a1a2511272e19187ef9130019478b6262cbacefb.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 06:29:13 +0000 (02:29 -0400)]
checkpoint

darcs-hash:20060705062913-5007d-7e4f4101ec37b951a663f86bee49a47592eae297.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 05:20:03 +0000 (01:20 -0400)]
checkpoint

darcs-hash:20060705052003-5007d-d91e4dcf0c5084eb5d9b9cdf398b75f62a194728.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 05:18:43 +0000 (01:18 -0400)]
checkpoint

darcs-hash:20060705051843-5007d-3e3a0ab2c41819d6ff4c645aa024369ecb483699.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 05:14:44 +0000 (01:14 -0400)]
checkpoint

darcs-hash:20060705051444-5007d-f7ffab11632eb6ad97192f4ba8e9552c08ec19f6.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 05:00:20 +0000 (01:00 -0400)]
checkpoint

darcs-hash:20060705050020-5007d-3b76d62afbb503869a4e6b6a5b4b13ca8a77fa64.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:56:08 +0000 (00:56 -0400)]
checkpoint

darcs-hash:20060705045608-5007d-3cf39883d5b740146a8fb99d953b94a858091b9e.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:51:37 +0000 (00:51 -0400)]
checkpoint

darcs-hash:20060705045137-5007d-751e2db8ae336e2116c8ce6814cb38e4ebb1f57a.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:47:48 +0000 (00:47 -0400)]
checkpoint

darcs-hash:20060705044748-5007d-3cb5501834daccc21f76a2353a389d0ea41699df.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:41:36 +0000 (00:41 -0400)]
checkpoint

darcs-hash:20060705044136-5007d-57f51a240fea2a818a9fa2a26c634005bc873e5d.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:13:30 +0000 (00:13 -0400)]
checkpoint

darcs-hash:20060705041330-5007d-a7b3a19b6f0132c642669b2e2c4c5243380843c1.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 04:00:24 +0000 (00:00 -0400)]
checkpoint

darcs-hash:20060705040024-5007d-b154593b9d848adadc403c3979c2d8981db69f2d.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:57:30 +0000 (22:57 -0400)]
checkpoint

darcs-hash:20060705025730-5007d-90c1f21c28c24ee91fd7496828d2e3127dec2bd9.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:54:50 +0000 (22:54 -0400)]
checkpoint

darcs-hash:20060705025450-5007d-1d5b7ceafb385004cf8abafbb9fcff4143e0f2da.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:48:59 +0000 (22:48 -0400)]
checkpoint

darcs-hash:20060705024859-5007d-2cfd69a4bb9894bf5f2beae8ef8e07843987a474.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:47:59 +0000 (22:47 -0400)]
checkpoint

darcs-hash:20060705024759-5007d-88bcb68cedac146efaa0594263c327c00b529b9d.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:45:34 +0000 (22:45 -0400)]
checkpoint

darcs-hash:20060705024534-5007d-cc0a93c797a5bbf8230411b4b39f972ea9008ab2.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:44:42 +0000 (22:44 -0400)]
checkpoint

darcs-hash:20060705024442-5007d-93f994a2c1014398637ae288fd9ca1eba2a10717.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:44:00 +0000 (22:44 -0400)]
checkpoint

darcs-hash:20060705024400-5007d-5e283d25449c01dc75e7846dabadd203670aabef.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:20:22 +0000 (22:20 -0400)]
checkpoint

darcs-hash:20060705022022-5007d-e5a7b94b75c33bb6b6599839688814bfd504054e.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:17:48 +0000 (22:17 -0400)]
checkpoint

darcs-hash:20060705021748-5007d-1c5306807bb5c2d6c0296867a3b399b4d4bb8066.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:13:35 +0000 (22:13 -0400)]
checkpoint

darcs-hash:20060705021335-5007d-55b9a884bb8a4dca62a4e17ae7496031cba8f78c.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:09:04 +0000 (22:09 -0400)]
checkpoint

darcs-hash:20060705020904-5007d-384a834d7b2a5aaa78bdd7844b98ede80e6fcf8f.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 02:08:07 +0000 (22:08 -0400)]
checkpoint

darcs-hash:20060705020807-5007d-776dcee356630e7af0733272a227989f2af3a3f1.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 01:49:12 +0000 (21:49 -0400)]
checkpoint

darcs-hash:20060705014912-5007d-c0abbf76e5fb71735dbf18bcbf804a42598780ce.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 01:33:21 +0000 (21:33 -0400)]
checkpoint

darcs-hash:20060705013321-5007d-58578e9b29a643d36f1f5eb30b142c3c7f2028c7.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 01:31:23 +0000 (21:31 -0400)]
checkpoint

darcs-hash:20060705013123-5007d-03a8248978cbcdee0b8f0a61329cba6719741b3e.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 01:26:32 +0000 (21:26 -0400)]
checkpoint

darcs-hash:20060705012632-5007d-625f6175f02693da99546e02409df0e0f1eaedbe.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 01:23:51 +0000 (21:23 -0400)]
checkpoint

darcs-hash:20060705012351-5007d-3b653a552279c3047d79727815e921ad11f304cd.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 00:26:49 +0000 (20:26 -0400)]
checkpoint

darcs-hash:20060705002649-5007d-dedd077450906dd2a768f21fd7c63235444e4691.gz

13 years agocheckpoint
adam [Wed, 5 Jul 2006 00:21:46 +0000 (20:21 -0400)]
checkpoint

darcs-hash:20060705002146-5007d-41334f56d2a0d9e4486a2a7c024c635614039776.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 23:08:32 +0000 (19:08 -0400)]
checkpoint

darcs-hash:20060702230832-5007d-06c5b64a9c1a5ecf1abf090755c4f76009d0f4c1.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 22:05:18 +0000 (18:05 -0400)]
checkpoint

darcs-hash:20060702220518-5007d-1bb0ad929880cc416997b0335b905f4b8074e274.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 20:26:18 +0000 (16:26 -0400)]
checkpoint

darcs-hash:20060702202618-5007d-2c45a42b7ef390661bb8671af178c60fe944907c.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 19:41:52 +0000 (15:41 -0400)]
checkpoint

darcs-hash:20060702194152-5007d-cbfa195ac1bf0afce5235e737b0545caec1d7509.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 19:40:55 +0000 (15:40 -0400)]
checkpoint

darcs-hash:20060702194055-5007d-963f40ff133cf30dd56a7f82d36d834136461578.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 18:49:11 +0000 (14:49 -0400)]
checkpoint

darcs-hash:20060702184911-5007d-d4f13f68c0c56cc6833b22b6c44b01e66740ea4e.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 18:04:51 +0000 (14:04 -0400)]
checkpoint

darcs-hash:20060702180451-5007d-fccdee589fbd97cb09acc0bf19cbce2902218e4e.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 17:52:29 +0000 (13:52 -0400)]
checkpoint

darcs-hash:20060702175229-5007d-d2f4ebb2fd6c41040de806c0f16a7d0aeec0b774.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 17:52:08 +0000 (13:52 -0400)]
checkpoint

darcs-hash:20060702175208-5007d-04094c9197daed9f9705be648987d26e3b55f9c3.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 17:51:20 +0000 (13:51 -0400)]
checkpoint

darcs-hash:20060702175120-5007d-2117cd89d50661da17a605b1387168f928e900a2.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 08:30:07 +0000 (04:30 -0400)]
checkpoint

darcs-hash:20060702083007-5007d-c29427d0572127d391ed40ef39d0279358429437.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 08:28:13 +0000 (04:28 -0400)]
checkpoint

darcs-hash:20060702082813-5007d-6ff68cfe1836f568dfb921d43f0a67061814f36f.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 06:45:18 +0000 (02:45 -0400)]
checkpoint

darcs-hash:20060702064518-5007d-1371a3d9ffd3b5429f2248c227de35070794658c.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 04:57:08 +0000 (00:57 -0400)]
checkpoint

darcs-hash:20060702045708-5007d-4696e6ee493c77d873a8fd40501d99bb7309fa20.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 03:51:56 +0000 (23:51 -0400)]
checkpoint

darcs-hash:20060702035156-5007d-cfd15d52ed7d2e64f49a0b7841a1c3cf65b548ea.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 03:22:33 +0000 (23:22 -0400)]
checkpoint

darcs-hash:20060702032233-5007d-9863b768e37c74d4ecdcf299db8ba121c8ad2b20.gz

13 years agocheckpoint
adam [Sun, 2 Jul 2006 03:21:22 +0000 (23:21 -0400)]
checkpoint

darcs-hash:20060702032122-5007d-1d4f1aa29f0fbec2bb61ae0970f45d3ebf17691b.gz

13 years agocheckpoint
adam [Wed, 28 Jun 2006 22:09:24 +0000 (18:09 -0400)]
checkpoint

darcs-hash:20060628220924-5007d-c2445187f5807325bda5f062bbc4ab45acfac345.gz

13 years agocheckpoint
adam [Wed, 28 Jun 2006 22:06:21 +0000 (18:06 -0400)]
checkpoint

darcs-hash:20060628220621-5007d-27e1a175e71388d653724107e519e96753fe3b6c.gz

13 years agocheckpoint
adam [Wed, 28 Jun 2006 04:39:25 +0000 (00:39 -0400)]
checkpoint

darcs-hash:20060628043925-5007d-7a96b3d37a833f4e486c643edbc546c9412ee230.gz

13 years agounrolling forests without recursion
adam [Sat, 3 Jun 2006 08:51:36 +0000 (04:51 -0400)]
unrolling forests without recursion

darcs-hash:20060603085136-5007d-aa958aa60d5a0d884aa02a8de46c7307d5fb54bc.gz

13 years agotentative checkpoint
adam [Tue, 30 May 2006 03:25:47 +0000 (23:25 -0400)]
tentative checkpoint

darcs-hash:20060530032547-5007d-f271300cc6e31228efae40926763898e8cd186fe.gz

13 years agotentative checkpoint
adam [Mon, 29 May 2006 21:54:31 +0000 (17:54 -0400)]
tentative checkpoint

darcs-hash:20060529215431-5007d-725df35fdd3c552c95bcd97c583f37df6f66cd3e.gz