---

Revision 4379 - Directory Listing
Modified Tue Jun 9 07:10:00 2009 UTC (5 months, 2 weeks ago) by jastr

merge -r 4367:4368 trunk->branch

---

Revision 4363 - Directory Listing
Modified Sun Jun 7 20:59:06 2009 UTC (5 months, 2 weeks ago) by jastr

oops

---

Revision 4362 - Directory Listing
Modified Sun Jun 7 09:47:46 2009 UTC (5 months, 2 weeks ago) by jastr

other end of encode

---

Revision 4361 - Directory Listing
Modified Sun Jun 7 09:46:09 2009 UTC (5 months, 2 weeks ago) by jastr

...

---

Revision 4360 - Directory Listing
Modified Sun Jun 7 06:59:28 2009 UTC (5 months, 2 weeks ago) by jastr

...

---

Revision 4359 - Directory Listing
Modified Sun Jun 7 04:18:36 2009 UTC (5 months, 2 weeks ago) by jastr

start content transfers

---

Revision 4358 - Directory Listing
Modified Sun Jun 7 03:20:57 2009 UTC (5 months, 2 weeks ago) by jastr

...

---

Revision 4357 - Directory Listing
Modified Sun Jun 7 03:06:22 2009 UTC (5 months, 2 weeks ago) by jastr

init myself correctly

---

Revision 4356 - Directory Listing
Modified Sun Jun 7 02:19:30 2009 UTC (5 months, 2 weeks ago) by jastr

let sync try repeatedly

---

Revision 4355 - Directory Listing
Modified Sat Jun 6 22:55:14 2009 UTC (5 months, 2 weeks ago) by jastr

start client-client framework

---

Revision 4354 - Directory Listing
Modified Thu Jun 4 00:13:34 2009 UTC (5 months, 3 weeks ago) by jastr

branch for demo hackery

---

Revision 3229 - Directory Listing
Modified Mon May 26 16:59:45 2008 UTC (18 months ago) by jastr

update charlie to include the merge

---

Revision 3228 - Directory Listing
Modified Mon May 26 16:56:29 2008 UTC (18 months ago) by jastr

update bob to include the merge

---

Revision 3227 - Directory Listing
Modified Mon May 26 16:55:15 2008 UTC (18 months ago) by jastr

update alice-tem to include the merge

---

Revision 3226 - Directory Listing
Modified Mon May 26 16:53:54 2008 UTC (18 months ago) by jastr

add alice-notem preset

---

Revision 3225 - Directory Listing
Modified Mon May 26 16:42:26 2008 UTC (18 months ago) by jastr

update bob preset

---

Revision 3224 - Directory Listing
Modified Mon May 26 16:39:12 2008 UTC (18 months ago) by jastr

add charlie demo preset

---

Revision 3223 - Directory Listing
Modified Mon May 26 16:35:16 2008 UTC (18 months ago) by jastr

add alice-tem preset

---

Revision 3221 - Directory Listing
Modified Fri May 23 21:25:52 2008 UTC (18 months ago) by jastr

first bob preset

---

Revision 3220 - Directory Listing
Modified Fri May 23 21:14:01 2008 UTC (18 months ago) by jastr

branch for the demo device configurations

---

Revision 3205 - Directory Listing
Modified Thu Apr 17 19:00:02 2008 UTC (19 months, 1 week ago) by jastr

log format draft for confirmations

---

Revision 3202 - Directory Listing
Modified Mon Apr 14 20:47:44 2008 UTC (19 months, 1 week ago) by jastr

branch for confirmed additions and deletions

---

Revision 3201 - Directory Listing
Modified Mon Apr 14 18:30:36 2008 UTC (19 months, 1 week ago) by jastr

delete old branch

---

Revision 3183 - Directory Listing
Modified Fri Mar 7 18:56:19 2008 UTC (20 months, 2 weeks ago) by jastr

linux build fixes

---

Revision 3181 - Directory Listing
Modified Thu Mar 6 22:16:38 2008 UTC (20 months, 2 weeks ago) by jastr

if the engine loads, use it to load keys (which now means that
all connections fail until I fix the rest)

---

Revision 3179 - Directory Listing
Modified Thu Mar 6 18:00:42 2008 UTC (20 months, 2 weeks ago) by jastr

actually load & init the engine if available

---

Revision 3178 - Directory Listing
Modified Wed Mar 5 19:24:14 2008 UTC (20 months, 3 weeks ago) by jastr

uianet respects --with-openssl configure flag, so I can point it
to the version with the engine turned on, and attempt to load the
relevant config as well.

---

Revision 3172 - Directory Listing
Modified Tue Feb 26 15:49:27 2008 UTC (20 months, 4 weeks ago) by jastr

more annotations

---

Revision 3159 - Directory Listing
Modified Wed Feb 20 20:22:57 2008 UTC (21 months ago) by jastr

- add signal handlers to uiarouted and uiadnspxyd to catch sigterm
and exit cleanly so they'll generate dmalloc reports

- remove old counters

- don't link against both dmalloc and dmallocxx

- add some source line allocation annotations

---

Revision 3158 - Directory Listing
Modified Wed Feb 20 20:17:05 2008 UTC (21 months ago) by jastr

add an explicit build step, so that 'make clean' works
as a non-root user

---

Revision 3157 - Directory Listing
Modified Wed Feb 20 00:58:47 2008 UTC (21 months ago) by jastr

add a bunch of dmalloc hooks

---

Revision 3156 - Directory Listing
Modified Wed Feb 20 00:58:02 2008 UTC (21 months ago) by jastr

branch for leak-finding

---

Revision 3155 - Directory Listing
Modified Wed Feb 20 00:56:31 2008 UTC (21 months ago) by jastr

remove old branches

---

Revision 3154 - Directory Listing
Modified Wed Feb 20 00:53:18 2008 UTC (21 months ago) by jastr

remove old branches

---

Revision 3153 - Directory Listing
Modified Wed Feb 20 00:52:39 2008 UTC (21 months ago) by jastr

remove old branches

---

Revision 3152 - Directory Listing
Modified Wed Feb 20 00:52:24 2008 UTC (21 months ago) by jastr

remove old branches

---

Revision 2971 - Directory Listing
Modified Tue Jan 22 23:15:03 2008 UTC (22 months ago) by jastr

start to separate out tunnel peers from direct,
with the intention that direct ones get precedence
if working (whereas tunnel otherwise).  The observation
is that tunnels take longer to set up, and if the most
recent completed wins, then that means tunnels, hence 
most of the direct links will end up dead.

---

Revision 2968 - Directory Listing
Modified Tue Jan 22 20:51:00 2008 UTC (22 months ago) by jastr

/bin/sh and /bin/bash want exprs quoted differently

---

Revision 2966 - Directory Listing
Modified Tue Jan 22 20:04:23 2008 UTC (22 months ago) by jastr

new peer handling for testing

---

Revision 2965 - Directory Listing
Modified Tue Jan 22 18:49:35 2008 UTC (22 months ago) by jastr

branch for testing peer disconnects

---

Revision 2948 - Directory Listing
Modified Fri Jan 11 21:07:27 2008 UTC (22 months, 2 weeks ago) by ctl

branch not needed.

---

Revision 2947 - Directory Listing
Modified Tue Jan 8 23:42:51 2008 UTC (22 months, 2 weeks ago) by jastr

add rendz default routes

---

Revision 2946 - Directory Listing
Modified Tue Jan 8 22:39:24 2008 UTC (22 months, 2 weeks ago) by jastr

last(?) preset

---

Revision 2945 - Directory Listing
Modified Tue Jan 8 20:30:26 2008 UTC (22 months, 2 weeks ago) by jastr

oops

---

Revision 2944 - Directory Listing
Modified Tue Jan 8 20:28:09 2008 UTC (22 months, 2 weeks ago) by jastr

presets for two of the luggable demo machines

---

Revision 2942 - Directory Listing
Modified Thu Jan 3 21:42:18 2008 UTC (22 months, 3 weeks ago) by jastr

oops

---

Revision 2941 - Directory Listing
Modified Thu Jan 3 21:41:32 2008 UTC (22 months, 3 weeks ago) by jastr

a dumb v6-through-uia name resolver

---

Revision 2940 - Directory Listing
Modified Thu Jan 3 21:10:24 2008 UTC (22 months, 3 weeks ago) by jastr

first set of demo presets

---

Revision 2939 - Directory Listing
Modified Thu Jan 3 21:09:09 2008 UTC (22 months, 3 weeks ago) by jastr

oops

---

Revision 2938 - Directory Listing
Modified Thu Jan 3 19:24:13 2008 UTC (22 months, 3 weeks ago) by jastr

oops

---

Revision 2937 - Directory Listing
Modified Thu Jan 3 18:49:53 2008 UTC (22 months, 3 weeks ago) by jastr

a uiaresetdemo that can reset to a post-linked state

---

Revision 2936 - Directory Listing
Modified Thu Jan 3 16:51:08 2008 UTC (22 months, 3 weeks ago) by jastr

merge -r 2933:2935 trunk->branch

---

Revision 2932 - Directory Listing
Modified Wed Jan 2 19:41:53 2008 UTC (22 months, 3 weeks ago) by jastr

no more trailing dots

---

Revision 2931 - Directory Listing
Modified Wed Jan 2 19:27:34 2008 UTC (22 months, 3 weeks ago) by jastr

use uianamedctl lookup to decide when a sync is done, not
'host'.

---

Revision 2930 - Directory Listing
Modified Wed Jan 2 18:45:44 2008 UTC (22 months, 3 weeks ago) by jastr

sit around and wait until the links propagate

---

Revision 2929 - Directory Listing
Modified Wed Jan 2 15:53:06 2008 UTC (22 months, 3 weeks ago) by jastr

easiest to still require dns_sd.h to be present

---

Revision 2928 - Directory Listing
Modified Wed Jan 2 15:15:02 2008 UTC (22 months, 3 weeks ago) by jastr

note avahi-utils build and run reqs

---

Revision 2927 - Directory Listing
Modified Wed Jan 2 14:59:16 2008 UTC (22 months, 3 weeks ago) by jastr

reformat so as to not use fgets.  Now appears to
interact with mdnsresponder correctly

---

Revision 2926 - Directory Listing
Modified Mon Dec 31 19:13:07 2007 UTC (22 months, 3 weeks ago) by jastr

-- not all txt records come null-terminated
-- annotate a few possible leaks
-- receives avahi advertised services now

---

Revision 2925 - Directory Listing
Modified Mon Dec 31 16:03:44 2007 UTC (22 months, 3 weeks ago) by jastr

missing quotes

---

Revision 2924 - Directory Listing
Modified Fri Dec 28 21:43:11 2007 UTC (22 months, 4 weeks ago) by jastr

if using avahi-browse/avahi-publish, make sure that
everything gets cleanup up when running uialegacy restart (etc.)
kill entire process group for uiarouted.

Don't think this will work work for busybox or Macs --
macs certainly aren't a problem for now since those
should be using mdns anyway

---

Revision 2923 - Directory Listing
Modified Fri Dec 28 20:35:52 2007 UTC (22 months, 4 weeks ago) by jastr

autoconf switches for finding avahi

---

Revision 2922 - Directory Listing
Modified Fri Dec 28 19:33:31 2007 UTC (22 months, 4 weeks ago) by jastr

Jamey's base avahi patch

---

Revision 2921 - Directory Listing
Modified Fri Dec 28 19:26:38 2007 UTC (22 months, 4 weeks ago) by jastr

branch for testing Jamey's avahi-support patches

---

Revision 2917 - Directory Listing
Modified Wed Dec 26 19:57:13 2007 UTC (22 months, 4 weeks ago) by jastr

remove ifaddrs.py
make the intro blob use the uiaroutedcmd nodeinfo call instead

---

Revision 2916 - Directory Listing
Modified Wed Dec 26 14:02:02 2007 UTC (23 months ago) by jastr

add a nodeinfo option to uiaroutedcmd

---

Revision 2915 - Directory Listing
Modified Mon Dec 24 19:27:15 2007 UTC (23 months ago) by jastr

generate intro blobs on machines with multiple interfaces
~properly

---

Revision 2914 - Directory Listing
Modified Mon Dec 24 19:26:00 2007 UTC (23 months ago) by jastr

import an ifaddrs() function from the bittorrent client
(should figure out what license applies, or replace
as appropriate)

---

Revision 2912 - Directory Listing
Modified Mon Dec 24 17:35:05 2007 UTC (23 months ago) by jastr

oops

---

Revision 2911 - Directory Listing
Modified Mon Dec 24 16:46:52 2007 UTC (23 months ago) by jastr

cut out the xmlrpc intro stuff, add fixes so that merges
are possible too.

---

Revision 2908 - Directory Listing
Modified Thu Dec 20 21:40:35 2007 UTC (23 months ago) by jastr

add an xmlrpc call

---

Revision 2907 - Directory Listing
Modified Thu Dec 20 21:33:28 2007 UTC (23 months ago) by jastr

oops

---

Revision 2906 - Directory Listing
Modified Thu Dec 20 21:27:32 2007 UTC (23 months ago) by jastr

blob intro to test

---

Revision 2905 - Directory Listing
Modified Thu Dec 20 18:20:25 2007 UTC (23 months ago) by jastr

a bunch of cleanups, in the direction of making
uiactl work again so I can use it for scripted
introductions.  (most of this should eventually
apply to the trunk)

---

Revision 2904 - Directory Listing
Modified Mon Dec 17 18:58:03 2007 UTC (23 months, 1 week ago) by jastr

start of blob recieve side

---

Revision 2903 - Directory Listing
Modified Mon Dec 17 18:17:27 2007 UTC (23 months, 1 week ago) by jastr

add a intro-blob generator script

---

Revision 2902 - Directory Listing
Modified Fri Dec 14 19:58:31 2007 UTC (23 months, 1 week ago) by jastr

merge -r 2885:2900 trunk->branch

---

Revision 2886 - Directory Listing
Modified Wed Dec 5 23:11:41 2007 UTC (23 months, 2 weeks ago) by jastr

Leopard's python (which otherwise works)
doesnt' have it's site-packages directory under
/usr, which breaks.  first attempt to fix, but
need to check elsewhere as well.

---

Revision 2885 - Directory Listing
Modified Wed Dec 5 22:33:11 2007 UTC (23 months, 2 weeks ago) by jastr

merge -r2883:2884 trunk->branch

---

Revision 2881 - Directory Listing
Modified Fri Nov 30 19:12:31 2007 UTC (23 months, 3 weeks ago) by jastr

new branch for the jan08 quanta demo

(will need a bunch of special case scripts for
 getting intros via an O2 running galaxy to work,
 that won't be useful elsewhere)

---

Revision 2875 - Directory Listing
Modified Thu Nov 1 17:24:02 2007 UTC (2 years ago) by ctl

 r3568@brainchild (orig r2837):  baford | 2007-10-24 12:26:57 -0400
 svn:ignore's
 
 r3572@brainchild (orig r2840):  baford | 2007-10-24 14:47:50 -0400
 Fix for compiling on FreeBSD
 
 r3573@brainchild (orig r2841):  baford | 2007-10-24 16:03:15 -0400
 Re-simplified connectTo() API to take only a single destination hint again;
 renamed awkward foundPeerEndpoint() to simpler connectAt().
 
 r3579@brainchild (orig r2844):  jastr | 2007-10-24 17:31:10 -0400
 merge -r 2841:2842 branch -> trunk.
 
 If a server connection comes in when there's an active
 peer for the same ID, don't try and probe with a new
 client connection -- that would cause the old working 
 connection to be dropped later, and probably both ends
 will do the same thing, resulting in both ends dropping.
 
 r3633@brainchild (orig r2873):  jastr | 2007-11-01 09:41:00 -0400
 checked in to wrong branch
 r3634@brainchild (orig r2874):  jastr | 2007-11-01 09:50:21 -0400
 qt 4.3 fix too

---

Revision 2872 - Directory Listing
Modified Thu Nov 1 13:31:47 2007 UTC (2 years ago) by jastr

bonjour can sometimes return BAD VALUE repsonses, which
triggers an assert in id_str -> eid

---

Revision 2842 - Directory Listing
Modified Wed Oct 24 20:42:05 2007 UTC (2 years, 1 month ago) by jastr

possible fix to test for the dropping-all-connections suddenly
problem

---

Revision 2839 - Directory Listing
Modified Wed Oct 24 18:03:16 2007 UTC (2 years, 1 month ago) by jastr

cleanups

---

Revision 2834 - Directory Listing
Modified Tue Oct 23 15:15:10 2007 UTC (2 years, 1 month ago) by jastr

attempt to handle more read cases

---

Revision 2833 - Directory Listing
Modified Mon Oct 22 22:39:24 2007 UTC (2 years, 1 month ago) by jastr

let yam redirect stderr to uiarouted's log

---

Revision 2832 - Directory Listing
Modified Mon Oct 22 22:38:20 2007 UTC (2 years, 1 month ago) by jastr

branch for debugging strange errors where all SSL sockets all die at the
same time with SSL_read returning 0, SSL_get_error returns SSL_ERROR_SYSCALL,
and yet errno==0.

---

Revision 2819 - Directory Listing
Modified Fri Oct 12 23:43:09 2007 UTC (2 years, 1 month ago) by ctl

 r3529@brainchild (orig r2810):  jastr | 2007-10-04 10:34:18 -0400
 ignore unknown protocols (from rsc)
 

---

Revision 2808 - Directory Listing
Modified Mon Sep 24 15:44:02 2007 UTC (2 years, 2 months ago) by ctl

 r3519@brainchild (orig r2804):  baford | 2007-09-04 07:44:58 -0400
 Compile a slightly stripped-down version of the C library for the host,
 to link host test programs with for more apples-to-apples comparisons.
 
 r3520@brainchild (orig r2805):  baford | 2007-09-04 08:20:30 -0400
 ...
 
 r3521@brainchild (orig r2806):  baford | 2007-09-04 23:47:33 -0400
 Added SHA512
 
 r3522@brainchild (orig r2807):  baford | 2007-09-04 23:50:12 -0400
 Oops, forgot to add
 

---

Revision 2803 - Directory Listing
Modified Thu Aug 30 03:34:23 2007 UTC (2 years, 2 months ago) by ctl

 r3436@brainchild (orig r2749):  baford | 2007-08-16 13:02:13 -0400
 After realizing that all packets were getting queued on the transmit queue
 sorted in BSN order - including datagram packets having no valid BSN -
 I separated the transmit queues for segments and datagrams.
 I'm not sure I'm entirely happy with this solution though.
 
 r3472@brainchild (orig r2768):  baford | 2007-08-18 18:32:05 -0400
 Substantially simplified flow control based on "bytes in flight" count.
 
 r3473@brainchild (orig r2769):  baford | 2007-08-19 13:54:26 -0400
 Flow control and borrowing kinda sorta works now, when the moon is full;
 will have to rework retransmit mechanism a bit to make it work reliably.
 

---

Revision 2802 - Directory Listing
Modified Thu Aug 30 03:34:04 2007 UTC (2 years, 2 months ago) by ctl

 r3513@brainchild:  ctl | 2007-08-29 23:34:42 -0400
 additional test case for signature sizes
 

---

Revision 2801 - Directory Listing
Modified Thu Aug 30 03:34:00 2007 UTC (2 years, 2 months ago) by ctl

 r3512@brainchild:  ctl | 2007-08-29 23:34:19 -0400
 Update with version from af
 

---

Revision 2740 - Directory Listing
Modified Wed Aug 8 22:11:48 2007 UTC (2 years, 3 months ago) by ctl

 r3408@brainchild (orig r2734):  jastr | 2007-08-08 11:41:34 -0400
 make avahi unsupported errors a fatal error, not a warning
 
 r3412@brainchild (orig r2737):  jastr | 2007-08-08 14:24:55 -0400
 cmd allows logger now.
 fixup a bunch of stderr/stdout wierdness
 

---

Revision 2730 - Directory Listing
Modified Tue Aug 7 18:17:17 2007 UTC (2 years, 3 months ago) by ctl

Create branch for removing X509 cert from router protocol at Paul's request.

---

Revision 2729 - Directory Listing
Modified Tue Aug 7 18:08:33 2007 UTC (2 years, 3 months ago) by ctl

 r3393@brainchild (orig r2728):  baford | 2007-08-07 11:30:00 -0400
 Added API hooks for listen modes and receive buffer control
 

---

Revision 2727 - Directory Listing
Modified Mon Aug 6 22:30:43 2007 UTC (2 years, 3 months ago) by ctl

 r3279@brainchild (orig r2648):  ctl | 2007-08-01 16:29:24 -0400
  r3277@brainchild:  ctl | 2007-08-01 16:31:19 -0400
  Apply shortcut optimization.
  
 
 r3281@brainchild (orig r2649):  ctl | 2007-08-01 18:20:04 -0400
  r3280@brainchild:  ctl | 2007-08-01 18:21:56 -0400
  Boilerplate for bandwidth budget code.
  
 
 r3286@brainchild (orig r2653):  ctl | 2007-08-02 13:59:35 -0400
  r3283@brainchild:  ctl | 2007-08-02 14:01:28 -0400
  Implement explicit message passing between nodes instead of having
  nodes inspect each others' tables directly.  This is the first big
  step towards bandwidth-budget-based tables.
  
 
 r3290@brainchild (orig r2654):  jastr | 2007-08-02 14:34:30 -0400
 skitter graph construction
 
 r3292@brainchild (orig r2655):  ctl | 2007-08-02 15:05:03 -0400
  r3287@brainchild:  ctl | 2007-08-02 14:16:42 -0400
  Improve the statistical reporting format a bit.
  
 
 r3293@brainchild (orig r2656):  ctl | 2007-08-02 15:05:06 -0400
  r3288@brainchild:  ctl | 2007-08-02 14:27:52 -0400
  Improve the statistical reporting format more.
  
 
 r3294@brainchild (orig r2657):  ctl | 2007-08-02 15:05:08 -0400
  r3289@brainchild:  ctl | 2007-08-02 15:06:39 -0400
  Implemented bandwidth budget limited routing table growth.
  
 
 r3295@brainchild (orig r2658):  jastr | 2007-08-02 16:51:42 -0400
 dimes graph
 
 r3296@brainchild (orig r2659):  jastr | 2007-08-02 19:13:39 -0400
 include the internet topology generator
 
 
 r3300@brainchild (orig r2661):  ctl | 2007-08-02 23:09:28 -0400
 
 r3301@brainchild (orig r2662):  ctl | 2007-08-02 23:10:10 -0400
  r3299@brainchild:  ctl | 2007-08-02 23:11:16 -0400
  1. Implement measurement of "optimal" congestion.  (Not actually optimal, but
  measured based on congestion of shortest-paths routes, so good baseline.)
  2. Fix bugs with non-shortcutting version.
  
 
 r3303@brainchild (orig r2663):  ctl | 2007-08-02 23:28:32 -0400
  r3302@brainchild:  ctl | 2007-08-02 23:30:23 -0400
  Per-node congestion ratio is a useless statistic, and it causes divide-by-zero errors.
  
 
 r3305@brainchild (orig r2664):  ctl | 2007-08-02 23:58:37 -0400
  r3304@brainchild:  ctl | 2007-08-03 00:00:29 -0400
  Generate scale-free graphs by the preferential attachment method.
  
 
 r3308@brainchild (orig r2665):  ctl | 2007-08-03 04:09:07 -0400
  r3306@brainchild:  ctl | 2007-08-03 03:34:33 -0400
  Move old data out of the way.
  
 
 r3309@brainchild (orig r2666):  ctl | 2007-08-03 04:09:11 -0400
  r3307@brainchild:  ctl | 2007-08-03 04:10:56 -0400
  Separate out graph, sampling, and shortest-paths generation into a separate program.
  
 
 r3316@brainchild (orig r2671):  ctl | 2007-08-03 13:50:00 -0400
  r3310@brainchild:  ctl | 2007-08-03 12:30:58 -0400
  Support gzip files properly.
  
 
 r3317@brainchild (orig r2672):  ctl | 2007-08-03 13:53:01 -0400
  r3311@brainchild:  ctl | 2007-08-03 13:27:15 -0400
  Use much less memory to generate sample pairs.
  
 
 r3323@brainchild (orig r2676):  ctl | 2007-08-03 15:41:08 -0400
  r3318@brainchild:  ctl | 2007-08-03 14:36:28 -0400
  Generate separate congestion and statistics.
  
 
 r3324@brainchild (orig r2677):  ctl | 2007-08-03 15:41:58 -0400
  r3319@brainchild:  ctl | 2007-08-03 15:42:56 -0400
  Other half of separation of workload generation and simulation: load the workload and simulate it.
  
 
 r3330@brainchild (orig r2682):  ctl | 2007-08-03 18:13:28 -0400
  r3325@brainchild:  ctl | 2007-08-03 18:15:00 -0400
  Rename outputs of LSL.
  
 
 r3333@brainchild (orig r2684):  jastr | 2007-08-03 18:40:53 -0400
 generate dimes and skiter again
 
 
 r3335@brainchild (orig r2685):  ctl | 2007-08-03 20:09:10 -0400
  r3331@brainchild:  ctl | 2007-08-03 20:10:16 -0400
  Fix bizarre graph loading bug.
  
 
 r3337@brainchild (orig r2686):  ctl | 2007-08-03 20:19:21 -0400
  r3336@brainchild:  ctl | 2007-08-03 20:21:00 -0400
  Add terrible harnesses.
  
 
 r3343@brainchild (orig r2690):  ctl | 2007-08-04 00:03:08 -0400
  r3338@brainchild:  ctl | 2007-08-03 22:17:32 -0400
  Read in data files.
  
 
 r3344@brainchild (orig r2691):  ctl | 2007-08-04 00:03:11 -0400
  r3339@brainchild:  ctl | 2007-08-04 00:05:01 -0400
  Fix a bunch of dumb bugs with optimized statistics computations.
  
 
 r3349@brainchild (orig r2693):  ctl | 2007-08-04 01:39:59 -0400
  r3345@brainchild:  ctl | 2007-08-04 01:21:20 -0400
  Check in a big pile of data.
  
 
 r3350@brainchild (orig r2694):  ctl | 2007-08-04 01:40:27 -0400
  r3346@brainchild:  ctl | 2007-08-04 01:30:38 -0400
  A bunch of not-so-hot charts.
  
 
 r3351@brainchild (orig r2695):  ctl | 2007-08-04 01:40:30 -0400
  r3347@brainchild:  ctl | 2007-08-04 01:41:47 -0400
  Add some -vs-budget graphs, update source.
  
 
 r3354@brainchild (orig r2697):  jastr | 2007-08-04 01:53:44 -0400
 pile of skitter & dimes resuls
 
 r3355@brainchild (orig r2698):  ctl | 2007-08-04 01:58:43 -0400
  r3352@brainchild:  ctl | 2007-08-04 02:00:38 -0400
  table size plots
  
 
 r3357@brainchild (orig r2699):  ctl | 2007-08-04 02:17:02 -0400
  r3356@brainchild:  ctl | 2007-08-04 02:18:55 -0400
  address bryan's nitpicks
  
 
 r3360@brainchild (orig r2701):  ctl | 2007-08-04 02:29:24 -0400
  r3358@brainchild:  ctl | 2007-08-04 02:31:17 -0400
  Combine congestion graph.
  
 
 r3364@brainchild (orig r2704):  ctl | 2007-08-04 02:35:38 -0400
  r3361@brainchild:  ctl | 2007-08-04 02:37:33 -0400
  Do the same for max-stretch.
  
 
 r3383@brainchild (orig r2722):  jastr | 2007-08-06 12:26:22 -0400
 another round of startup cleanups.
 
 (this breaks Darwin startup temporarily)
 
 
 r3384@brainchild (orig r2723):  jastr | 2007-08-06 13:10:59 -0400
 darwin works again.
 
 r3385@brainchild (orig r2724):  jastr | 2007-08-06 13:21:55 -0400
 n800 startups can take more than 10 seconds.
 

---

Revision 2726 - Directory Listing
Modified Mon Aug 6 22:29:43 2007 UTC (2 years, 3 months ago) by ctl

 r3390@brainchild:  ctl | 2007-08-06 18:31:02 -0400
 Merge changes from trunk onto branch.
 

---

Revision 2725 - Directory Listing
Modified Mon Aug 6 20:31:06 2007 UTC (2 years, 3 months ago) by ctl

 r3388@brainchild:  ctl | 2007-08-06 16:32:49 -0400
 (Trying to merge trunk to branch)
 

---

Revision 2646 - Directory Listing
Modified Tue Jul 31 23:37:40 2007 UTC (2 years, 3 months ago) by ctl

 r3266@brainchild (orig r2640):  ctl | 2007-07-31 00:22:54 -0400
  r3265@brainchild:  ctl | 2007-07-31 00:24:45 -0400
  Implement fast C inner loop for shortest paths.
  
 
 r3268@brainchild (orig r2641):  ctl | 2007-07-31 16:54:13 -0400
  r3267@brainchild:  ctl | 2007-07-31 16:56:09 -0400
  Finally correctly finds paths using landmarks.
  
 
 r3271@brainchild (orig r2643):  ctl | 2007-07-31 17:21:45 -0400
  r3269@brainchild:  ctl | 2007-07-31 17:23:13 -0400
  Measure and report congestion.
  
 
 r3273@brainchild (orig r2644):  ctl | 2007-07-31 17:26:25 -0400
  r3272@brainchild:  ctl | 2007-07-31 17:28:22 -0400
  Update the minimal self-documentation
  
 
 r3275@brainchild (orig r2645):  ctl | 2007-07-31 19:36:38 -0400
  r3274@brainchild:  ctl | 2007-07-31 19:38:35 -0400
  Implement mesh graph generator.
  
 

---

Revision 2639 - Directory Listing
Modified Tue Jul 31 03:12:32 2007 UTC (2 years, 3 months ago) by ctl

 r3252@brainchild (orig r2630):  ctl | 2007-07-30 23:04:22 -0400
  r2953@brainchild (orig r2601):  ctl | 2007-06-27 15:17:28 -0400
   r2945@brainchild:  ctl | 2007-06-16 18:59:03 -0400
   Cut copied source down to the relevant graph generation parts.
   
  
 
 r3253@brainchild (orig r2631):  ctl | 2007-07-30 23:04:26 -0400
  r2954@brainchild (orig r2602):  ctl | 2007-06-27 15:17:44 -0400
   r2946@brainchild:  ctl | 2007-06-17 17:50:14 -0400
   All-pairs distances, summary statistics
   
  
 
 r3254@brainchild (orig r2632):  ctl | 2007-07-30 23:04:30 -0400
  r2955@brainchild (orig r2603):  ctl | 2007-06-27 15:17:49 -0400
   r2947@brainchild:  ctl | 2007-06-26 09:50:41 -0400
   random graph generation supported, all-pairs distances faster.
   
  
 
 r3255@brainchild (orig r2633):  ctl | 2007-07-30 23:04:35 -0400
  r2956@brainchild (orig r2604):  ctl | 2007-06-27 15:17:55 -0400
   r2948@brainchild:  ctl | 2007-06-26 14:05:12 -0400
   copy and delete all irrelevant stuff.
   
  
 
 r3256@brainchild (orig r2634):  ctl | 2007-07-30 23:04:39 -0400
  r2957@brainchild (orig r2605):  ctl | 2007-06-27 15:18:00 -0400
   r2949@brainchild:  ctl | 2007-06-26 14:51:50 -0400
   boilerplate works again --- no routing yet.
   
  
 
 r3257@brainchild (orig r2635):  ctl | 2007-07-30 23:04:46 -0400
  r3240@brainchild (orig r2621):  ctl | 2007-07-27 13:05:14 -0400
   r3237@brainchild:  ctl | 2007-07-26 22:15:01 -0400
   checkpoint earlier changes.
   
  
 
 r3258@brainchild (orig r2636):  ctl | 2007-07-30 23:04:50 -0400
  r3241@brainchild (orig r2622):  ctl | 2007-07-27 13:05:18 -0400
   r3238@brainchild:  ctl | 2007-07-27 00:02:07 -0400
   Basic implementation of a thorup-zuick-like protocol.
   
  
 
 r3259@brainchild (orig r2637):  ctl | 2007-07-30 23:04:55 -0400
  r3244@brainchild (orig r2623):  ctl | 2007-07-30 19:02:54 -0400
   r3242@brainchild:  ctl | 2007-07-30 18:51:31 -0400
   Fairly fast implementation of single-source shortest paths, but needs improvement.
   
  
 
 r3260@brainchild (orig r2638):  ctl | 2007-07-30 23:05:00 -0400
  r3245@brainchild (orig r2624):  ctl | 2007-07-30 19:02:57 -0400
   r3243@brainchild:  ctl | 2007-07-30 19:04:40 -0400
   Boilerplate for C optimization.
   
  
 

---

Revision 2629 - Directory Listing
Modified Tue Jul 31 02:51:58 2007 UTC (2 years, 3 months ago) by ctl

 r2971@brainchild (orig r2615):  jastr | 2007-07-09 16:14:17 -0400
 makefile fixes
 
 r3146@brainchild (orig r2616):  jastr | 2007-07-10 11:28:22 -0400
 package script works again
 
 r3147@brainchild (orig r2617):  jastr | 2007-07-10 12:07:56 -0400
 run uiaconfig on install
 add uia to /etc/nsswitch.conf
 
 r3239@brainchild (orig r2620):  jastr | 2007-07-27 12:55:00 -0400
 fix possible race, if the test runs before the router has
 overwritten an old router.out
 
 r3249@brainchild (orig r2628):  ctl | 2007-07-30 22:49:37 -0400
 Revert premature branch push.
 

---

Revision 2624 - Directory Listing
Modified Mon Jul 30 23:02:57 2007 UTC (2 years, 3 months ago) by ctl

 r3243@brainchild:  ctl | 2007-07-30 19:04:40 -0400
 Boilerplate for C optimization.
 

---

Revision 2623 - Directory Listing
Modified Mon Jul 30 23:02:54 2007 UTC (2 years, 3 months ago) by ctl

 r3242@brainchild:  ctl | 2007-07-30 18:51:31 -0400
 Fairly fast implementation of single-source shortest paths, but needs improvement.
 

---

Revision 2622 - Directory Listing
Modified Fri Jul 27 17:05:18 2007 UTC (2 years, 3 months ago) by ctl

 r3238@brainchild:  ctl | 2007-07-27 00:02:07 -0400
 Basic implementation of a thorup-zuick-like protocol.
 

---

Revision 2621 - Directory Listing
Modified Fri Jul 27 17:05:14 2007 UTC (2 years, 3 months ago) by ctl

 r3237@brainchild:  ctl | 2007-07-26 22:15:01 -0400
 checkpoint earlier changes.
 

---

Revision 2614 - Directory Listing
Modified Tue Jul 3 23:27:47 2007 UTC (2 years, 4 months ago) by ctl

 r2968@brainchild (orig r2613):  jastr | 2007-07-03 17:51:39 -0400
 round 2:  /var/log/uia/uiarouted.out isn't needed for anything
 other than uialegacy anymore, which will be... soon
 

---

Revision 2612 - Directory Listing
Modified Tue Jul 3 16:44:36 2007 UTC (2 years, 4 months ago) by ctl

 r2963@brainchild (orig r2610):  jastr | 2007-07-03 12:00:25 -0400
 linux compile fix
 

---

Revision 2611 - Directory Listing
Modified Tue Jul 3 16:39:18 2007 UTC (2 years, 4 months ago) by ctl

 r2960@brainchild (orig r2607):  jastr | 2007-06-29 14:29:13 -0400
 if a prior /dev/net/tun hasn't finshed cleanup up during a 
 restart, the new one will die in ioctl().  Check 
 (on linux only for now) that the old device has gone away before
 startup
 
 
 r2961@brainchild (orig r2608):  jastr | 2007-07-02 19:16:03 -0400
 round one of the startup and option parsing cleanups
 
 r2962@brainchild (orig r2609):  baford | 2007-07-03 07:59:12 -0400
 oops...
 

---

Revision 2606 - Directory Listing
Modified Wed Jun 27 19:18:40 2007 UTC (2 years, 4 months ago) by ctl

 r2950@brainchild (orig r2598):  baford | 2007-06-18 14:21:09 -0400
 Beginnings of an SST-based secure remote shell -
 works, barely, but not really usable yet.
 
 r2951@brainchild (orig r2599):  baford | 2007-06-19 06:36:47 -0400
 Propagate process exit status/signals correctly.
 
 r2952@brainchild (orig r2600):  baford | 2007-06-20 07:21:49 -0400
 Get VXA compiling again, on Mac OS X this time
 

---

Revision 2605 - Directory Listing
Modified Wed Jun 27 19:18:00 2007 UTC (2 years, 4 months ago) by ctl

 r2949@brainchild:  ctl | 2007-06-26 14:51:50 -0400
 boilerplate works again --- no routing yet.
 

---

Revision 2604 - Directory Listing
Modified Wed Jun 27 19:17:55 2007 UTC (2 years, 4 months ago) by ctl

 r2948@brainchild:  ctl | 2007-06-26 14:05:12 -0400
 copy and delete all irrelevant stuff.
 

---

Revision 2603 - Directory Listing
Modified Wed Jun 27 19:17:49 2007 UTC (2 years, 4 months ago) by ctl

 r2947@brainchild:  ctl | 2007-06-26 09:50:41 -0400
 random graph generation supported, all-pairs distances faster.
 

---

Revision 2602 - Directory Listing
Modified Wed Jun 27 19:17:44 2007 UTC (2 years, 4 months ago) by ctl

 r2946@brainchild:  ctl | 2007-06-17 17:50:14 -0400
 All-pairs distances, summary statistics
 

---

Revision 2601 - Directory Listing
Modified Wed Jun 27 19:17:28 2007 UTC (2 years, 4 months ago) by ctl

 r2945@brainchild:  ctl | 2007-06-16 18:59:03 -0400
 Cut copied source down to the relevant graph generation parts.
 

---

Revision 2597 - Directory Listing
Modified Tue Jun 12 20:05:55 2007 UTC (2 years, 5 months ago) by ctl

---

Revision 2596 - Directory Listing
Modified Tue Jun 12 20:05:13 2007 UTC (2 years, 5 months ago) by ctl

 r2936@brainchild:  ctl | 2007-06-12 16:02:51 -0400
 manually resolve conflict
 

---

Revision 2595 - Directory Listing
Modified Tue Jun 12 20:04:35 2007 UTC (2 years, 5 months ago) by ctl

 r2930@brainchild:  ctl | 2007-06-11 19:39:54 -0400
 Properly import PKCS#12 personal certificate/key bags, as directly exported by firefox.
 

---

Revision 2594 - Directory Listing
Modified Tue Jun 12 20:03:58 2007 UTC (2 years, 5 months ago) by ctl

 r2929@brainchild:  ctl | 2007-06-04 05:49:16 -0400
 create short alias for MIT
 

---

Revision 2593 - Directory Listing
Modified Tue Jun 12 20:03:21 2007 UTC (2 years, 5 months ago) by ctl

 r2928@brainchild:  ctl | 2007-06-04 05:48:30 -0400
 Fix frighteningly hard to debug log format problem:
 hex() does not return a canonical value!  With long ints, some version
 of Python use capital hex letters, and some use lowercase...
 

---

Revision 2592 - Directory Listing
Modified Tue Jun 12 20:02:44 2007 UTC (2 years, 5 months ago) by ctl

 r2927@brainchild:  ctl | 2007-06-04 03:10:18 -0400
 Make calc.py test suite work again.
 

---

Revision 2591 - Directory Listing
Modified Tue Jun 12 20:01:33 2007 UTC (2 years, 5 months ago) by ctl

 r2933@brainchild (orig r2588):  baford | 2007-06-09 06:07:56 -0400
 Fix wrong assertion
 
 r2934@brainchild (orig r2589):  baford | 2007-06-09 06:09:24 -0400
 Found workaround for g++ 4.1.2 bug - Netsteria now
 compiles and runs on Ubuntu Feisty.
 
 r2935@brainchild (orig r2590):  jastr | 2007-06-11 16:31:57 -0400
 * /bin/sh may not have 'source'
 * uiaconfig always re-writes /etc/uia/eid.txt
 * lib must come before uianet in make install
 
 

---

Revision 2585 - Directory Listing
Modified Mon Jun 4 00:48:20 2007 UTC (2 years, 5 months ago) by ctl

 r2924@brainchild:  ctl | 2007-06-03 20:49:48 -0400
 Import X.509 identity operates on namespaces instead of devices now.
 

---

Revision 2584 - Directory Listing
Modified Mon Jun 4 00:48:08 2007 UTC (2 years, 5 months ago) by ctl

 r2923@brainchild:  ctl | 2007-06-03 20:11:11 -0400
 implement backend link verification for namespaces and devices
 

---

Revision 2583 - Directory Listing
Modified Sun Jun 3 23:52:49 2007 UTC (2 years, 5 months ago) by ctl

 r2921@brainchild:  ctl | 2007-06-03 19:54:29 -0400
 Use common name instead of email address.
 

---

Revision 2582 - Directory Listing
Modified Sun Jun 3 22:40:01 2007 UTC (2 years, 5 months ago) by ctl

 r2919@brainchild:  ctl | 2007-06-03 18:41:42 -0400
 nip a few more format string bugs in the bud
 

---

Revision 2581 - Directory Listing
Modified Sun Jun 3 22:28:16 2007 UTC (2 years, 5 months ago) by ctl

 r2917@brainchild:  ctl | 2007-06-03 18:20:59 -0400
 fix another format bug
 

---

Revision 2580 - Directory Listing
Modified Sun Jun 3 22:11:56 2007 UTC (2 years, 5 months ago) by ctl

 r2915@brainchild:  ctl | 2007-06-03 18:13:42 -0400
 fix format string error
 

---

Revision 2579 - Directory Listing
Modified Sun Jun 3 22:09:10 2007 UTC (2 years, 5 months ago) by ctl

 r2913@brainchild:  ctl | 2007-06-03 18:10:56 -0400
 don't want grep -q
 

---

Revision 2578 - Directory Listing
Modified Sun Jun 3 22:06:55 2007 UTC (2 years, 5 months ago) by ctl

 r2911@brainchild:  ctl | 2007-06-03 18:08:41 -0400
 missing quote
 

---

Revision 2577 - Directory Listing
Modified Sun Jun 3 22:04:50 2007 UTC (2 years, 5 months ago) by ctl

 r2909@brainchild:  ctl | 2007-06-03 18:06:33 -0400
 kludge around this horrible stderr hack.  later, this should all be thrown away and rewritten.
 

---

Revision 2576 - Directory Listing
Modified Sun Jun 3 21:32:21 2007 UTC (2 years, 5 months ago) by ctl

 r2907@brainchild:  ctl | 2007-06-03 17:34:05 -0400
 set a stupidly long timeout

---

Revision 2575 - Directory Listing
Modified Sun Jun 3 21:09:26 2007 UTC (2 years, 5 months ago) by ctl

 r2905@brainchild:  ctl | 2007-06-03 17:11:10 -0400
 revert changes that crept in that break everything.
 

---

Revision 2574 - Directory Listing
Modified Sun Jun 3 20:31:13 2007 UTC (2 years, 5 months ago) by ctl

 r2903@brainchild:  ctl | 2007-06-03 16:32:56 -0400
 don't need debugging message
 

---

Revision 2573 - Directory Listing
Modified Sun Jun 3 20:30:14 2007 UTC (2 years, 5 months ago) by ctl

 r2901@brainchild:  ctl | 2007-06-03 16:29:10 -0400
 make router promiscuous for this demo.
 

---

Revision 2572 - Directory Listing
Modified Sun Jun 3 15:24:01 2007 UTC (2 years, 5 months ago) by ctl

 r2899@brainchild:  ctl | 2007-06-03 11:25:31 -0400
 Implement support for importing X.509 identity.
  - change EID format to be less broken
  - change serialization/deserialization (will need to fix later)
  - fix button in GUI
  - hook up GUI to backend
  - implement storage of extension records in calc.py
  - embarassingly, increase RPC timeout (built in to YAM) because it's so slow.
 

---

Revision 2571 - Directory Listing
Modified Sun Jun 3 15:20:55 2007 UTC (2 years, 5 months ago) by ctl

 r2895@brainchild (orig r2569):  jastr | 2007-06-03 09:22:36 -0400
 building against a -static qt library 
 requires explictly mentioning the jpeg plugin,
 otherwise it's not pulled into the linker
 
 r2896@brainchild (orig r2570):  jastr | 2007-06-03 09:54:28 -0400
 add a configure flag to ask whether we're using a static or
 dynamic version of qt, and have the n800 default to the static one
 
 

---

Revision 2568 - Directory Listing
Modified Sun Jun 3 09:59:00 2007 UTC (2 years, 5 months ago) by ctl

 r2891@brainchild (orig r2566):  jastr | 2007-06-03 03:13:29 -0400
 logprint import fix
 
 r2892@brainchild (orig r2567):  jastr | 2007-06-03 03:53:34 -0400
 _never_ look at timestamps on installed versions of files.
 (tends to break horribly after switching branches)
 

---

Revision 2565 - Directory Listing
Modified Sat Jun 2 14:47:34 2007 UTC (2 years, 5 months ago) by ctl

 r2882@brainchild:  ctl | 2007-06-02 07:27:35 -0400
 Add an "import X.509 identity" button and a beginning to functionality.
 

---

Revision 2564 - Directory Listing
Modified Sat Jun 2 14:47:24 2007 UTC (2 years, 5 months ago) by ctl

 r2881@brainchild:  ctl | 2007-06-02 02:14:39 -0400
 Metacredential is being stored into the log.
 

---

Revision 2563 - Directory Listing
Modified Sat Jun 2 14:47:14 2007 UTC (2 years, 5 months ago) by ctl

 r2880@brainchild:  ctl | 2007-06-02 00:40:41 -0400
 define extension record type.
 

---

Revision 2562 - Directory Listing
Modified Sat Jun 2 14:47:04 2007 UTC (2 years, 5 months ago) by ctl

 r2879@brainchild:  ctl | 2007-06-01 22:43:01 -0400
 Alpaca installs correctly now;
 meta-credential computed correctly;
 boilerplate for extension record.
 

---

Revision 2561 - Directory Listing
Modified Sat Jun 2 14:46:55 2007 UTC (2 years, 5 months ago) by ctl

 r2878@brainchild:  ctl | 2007-06-01 22:16:25 -0400
 almost-working setup script...
 

---

Revision 2560 - Directory Listing
Modified Sat Jun 2 14:46:42 2007 UTC (2 years, 5 months ago) by ctl

 r2877@brainchild:  ctl | 2007-06-01 21:57:12 -0400
 fill in a bit more of the code for importing X.509 CA;
 skeleton for installing alpaca package.
 

---

Revision 2559 - Directory Listing
Modified Sat Jun 2 14:46:30 2007 UTC (2 years, 5 months ago) by ctl

 r2876@brainchild:  ctl | 2007-06-01 21:26:55 -0400
 Empty implementation of named side of X.509 import.
 

---

Revision 2558 - Directory Listing
Modified Sat Jun 2 14:46:20 2007 UTC (2 years, 5 months ago) by ctl

 r2875@brainchild:  ctl | 2007-06-01 21:18:36 -0400
 Implement all the UI bits for importing an X.509 CA into a namespace ("Jeff"'s role)
 

---

Revision 2557 - Directory Listing
Modified Fri Jun 1 17:00:37 2007 UTC (2 years, 5 months ago) by jastr

more ser->logserial

---

Revision 2556 - Directory Listing
Modified Fri Jun 1 16:51:38 2007 UTC (2 years, 5 months ago) by ctl

 r2863@brainchild (orig r2551):  baford | 2007-06-01 07:06:00 -0400
 Web download prioritization demo now supports a second mode:
 give image currently under mouse pointer top priority,
 then other currently visible images, then non-visible images.
 

---

Revision 2555 - Directory Listing
Modified Fri Jun 1 16:39:03 2007 UTC (2 years, 5 months ago) by ctl

 r2868@brainchild:  ctl | 2007-06-01 12:40:27 -0400
 Fix a bevy of serialization bugs I never hit because there's no serialization test suite.
 

---

Revision 2554 - Directory Listing
Modified Fri Jun 1 15:40:33 2007 UTC (2 years, 5 months ago) by jastr

ser -> logserial

---

Revision 2550 - Directory Listing
Modified Fri Jun 1 03:59:04 2007 UTC (2 years, 5 months ago) by ctl

 r2861@brainchild:  ctl | 2007-06-01 00:00:21 -0400
 refactor X.509 EID endorsement code.
 

---

Revision 2549 - Directory Listing
Modified Fri Jun 1 03:37:04 2007 UTC (2 years, 5 months ago) by ctl

 r2858@brainchild (orig r2548):  ctl | 2007-05-31 23:36:34 -0400
  r2857@brainchild:  ctl | 2007-05-31 23:37:53 -0400
  Naturally, there was a syntax error...
  
 

---

Revision 2547 - Directory Listing
Modified Fri Jun 1 03:20:31 2007 UTC (2 years, 5 months ago) by ctl

 r2853@brainchild (orig r2546):  ctl | 2007-05-31 23:19:45 -0400
  r2851@brainchild:  ctl | 2007-05-31 23:21:09 -0400
  add equality comparison to public keys
  
 

---

Revision 2544 - Directory Listing
Modified Fri Jun 1 02:49:32 2007 UTC (2 years, 5 months ago) by ctl

 r2842@brainchild (orig r2536):  ctl | 2007-05-31 16:35:16 -0400
  r2841@brainchild:  ctl | 2007-05-31 16:36:40 -0400
  merge conftest changes into trunk
  
 

---

Revision 2535 - Directory Listing
Modified Thu May 31 20:24:40 2007 UTC (2 years, 5 months ago) by ctl

 r2838@brainchild:  ctl | 2007-05-31 16:25:59 -0400
 Reconfigure py.test for new layout.
 

---

Revision 2534 - Directory Listing
Modified Thu May 31 19:59:47 2007 UTC (2 years, 5 months ago) by ctl

Old branch no longer needed.

---

Revision 2533 - Directory Listing
Modified Thu May 31 19:58:44 2007 UTC (2 years, 5 months ago) by ctl

svk smerge did some bizarre merges.  Manually fixing.

---

Revision 2532 - Directory Listing
Modified Thu May 31 19:51:04 2007 UTC (2 years, 5 months ago) by ctl

pull changes from old branch into new svk branch

---

Revision 2531 - Directory Listing
Modified Thu May 31 19:29:15 2007 UTC (2 years, 5 months ago) by ctl

create svk branch.

---

Revision 2530 - Directory Listing
Modified Thu May 31 18:27:45 2007 UTC (2 years, 5 months ago) by ctl

Merged revisions 2517-2529 via svnmerge from 
svn+ssh://pdos.lcs.mit.edu/disk/am0/uia/svn/trunk/uia/uianet

........
  r2518 | jastr | 2007-05-30 17:19:21 -0400 (Wed, 30 May 2007) | 3 lines
  
  check for old installed versions of pkcs, x509 etc,
  and complain if found.
........

---

Revision 2529 - Directory Listing
Modified Thu May 31 18:26:59 2007 UTC (2 years, 5 months ago) by ctl

make nonce explicit

---

Revision 2522 - Directory Listing
Modified Wed May 30 22:59:46 2007 UTC (2 years, 5 months ago) by ctl

s/stream_nonce/series_nonce/

---

Revision 2521 - Directory Listing
Modified Wed May 30 22:32:41 2007 UTC (2 years, 5 months ago) by ctl

rsa_to_uia_key doesn't exist anymore

---

Revision 2517 - Directory Listing
Modified Wed May 30 20:45:26 2007 UTC (2 years, 5 months ago) by ctl

Merged revisions 2515-2516 via svnmerge from 
svn+ssh://pdos.lcs.mit.edu/disk/am0/uia/svn/trunk/uia/uianet

........
  r2515 | jastr | 2007-05-30 16:44:25 -0400 (Wed, 30 May 2007) | 3 lines
  
  another import fix
........

---

Revision 2516 - Directory Listing
Modified Wed May 30 20:44:31 2007 UTC (2 years, 5 months ago) by ctl

Merged revisions 2513-2514 via svnmerge from 
svn+ssh://pdos.lcs.mit.edu/disk/am0/uia/svn/trunk/uia/uianet

........
  r2514 | ctl | 2007-05-30 16:44:04 -0400 (Wed, 30 May 2007) | 3 lines
  
  keep related things together
........

---

Revision 2513 - Directory Listing
Modified Wed May 30 20:41:17 2007 UTC (2 years, 5 months ago) by ctl

Merged revisions 2510-2512 via svnmerge from 
svn+ssh://pdos.lcs.mit.edu/disk/am0/uia/svn/trunk/uia/uianet

........
  r2511 | jastr | 2007-05-30 16:03:25 -0400 (Wed, 30 May 2007) | 2 lines
  
  still broken, but the imports work now
........
  r2512 | ctl | 2007-05-30 16:31:32 -0400 (Wed, 30 May 2007) | 3 lines
  
  Try to fix version skew in least invasive way.
........

---

Revision 2510 - Directory Listing
Modified Wed May 30 19:37:30 2007 UTC (2 years, 5 months ago) by ctl

Initialized merge tracking via "svnmerge" with revisions "1-2509" from 
svn+ssh://pdos.lcs.mit.edu/disk/am0/uia/svn/trunk/uia/uianet

---

Revision 2509 - Directory Listing
Modified Wed May 30 19:29:07 2007 UTC (2 years, 5 months ago) by ctl

merge in change from trunk

---

Revision 2502 - Directory Listing
Modified Tue May 29 22:30:31 2007 UTC (2 years, 5 months ago) by jastr

path fixes

---

Revision 2501 - Directory Listing
Modified Tue May 29 22:17:01 2007 UTC (2 years, 5 months ago) by ctl

fix pylibdir substitution

---

Revision 2499 - Directory Listing
Modified Tue May 29 21:56:07 2007 UTC (2 years, 5 months ago) by ctl

Move pylib files needed by both alpaca and uianet/router into a separate top-level directory.

---

Revision 2496 - Directory Listing
Modified Fri May 25 20:34:39 2007 UTC (2 years, 6 months ago) by ctl

Resolve semantic merge conflicts (at least, some of them).
UIAnet now builds properly, and calc.py's test suite runs again.

---

Revision 2494 - Directory Listing
Modified Thu May 24 22:04:44 2007 UTC (2 years, 6 months ago) by ctl

Merge in all changes from trunk, including merge hell in naming/named (not tested)

---

Revision 2482 - Directory Listing
Modified Tue May 15 20:28:29 2007 UTC (2 years, 6 months ago) by jastr

pointer-o

---

Revision 2481 - Directory Listing
Modified Tue May 15 16:57:01 2007 UTC (2 years, 6 months ago) by jastr

merge trunk->branch -r 2044:2366

---

Revision 2480 - Directory Listing
Modified Tue May 15 16:39:50 2007 UTC (2 years, 6 months ago) by jastr

attempted fix for a long-standing router bug:

device A has peer entries for C and D at ip foo,
and connected to C and foo.

A randomly tries to connect to D at ip foo.
C gets the connection, and decide's it's a newer
connection from A, and so drops the older socket.

Concurrently, A decides that the new link to C 
isn't needed, as it came back from the wrong 
device.  A and C end up disconnected for a while.

Two changes:
  don't allow router::hint() to connect to a ip 
  that's already being used as an outgoing connection.
  This only catches half of the problem cases though,
  as comparind ip addresses only works for outgoing sockets.

  When a connect_cb returns an unexpected device, and the
  new connection is a device we're connected to elsewhere,
  keep the new link, not the old one.  Hopefully both
  ends will decide to keep the same socket now.

---

Revision 2346 - Directory Listing
Modified Thu Apr 26 23:03:46 2007 UTC (2 years, 7 months ago) by golem

delete flayed import skeleton.

---

Revision 2345 - Directory Listing
Modified Thu Apr 26 22:58:33 2007 UTC (2 years, 7 months ago) by golem

move a tag into proper tags area

---

Revision 2344 - Directory Listing
Modified Thu Apr 26 22:56:32 2007 UTC (2 years, 7 months ago) by golem

move alpaca source tree into the uia trunk

---

Revision 2045 - Directory Listing
Modified Thu Apr 26 22:52:24 2007 UTC (2 years, 7 months ago) by golem

create staging area for importing alpaca

---

Revision 2044 - Directory Listing
Modified Thu Apr 26 14:56:24 2007 UTC (2 years, 7 months ago) by jastr

merge -r1855:2043 trunk->branch

---

Revision 2343 - Directory Listing
Modified Tue Apr 24 16:50:27 2007 UTC (2 years, 7 months ago) by ctl

change name to "sandbox" authority

---

Revision 2342 - Directory Listing
Modified Tue Apr 24 16:48:20 2007 UTC (2 years, 7 months ago) by ctl

implement vx wrapper (yet untested)

---

Revision 2007 - Directory Listing
Modified Wed Apr 4 20:38:15 2007 UTC (2 years, 7 months ago) by baford

Checked in a few straggling uncommitted files
from when I was last working on vx32 in February 2006.

---

Revision 2006 - Directory Listing
Modified Wed Apr 4 20:30:22 2007 UTC (2 years, 7 months ago) by baford

Copy current broken head revision of vx32 source tree,
representing a state somewhere in the middle of a rewrite
I was working on to add support for vx32 virtual machine nesting,
to 'branches/vx32-nest',
as a precursor to rolling out the more ambitious incomplete changes.

---

Revision 1857 - Directory Listing
Modified Tue Apr 3 16:03:43 2007 UTC (2 years, 7 months ago) by baford

Netsteria audio rewrite: next checkpoint

---

Revision 1856 - Directory Listing
Modified Mon Apr 2 19:51:24 2007 UTC (2 years, 7 months ago) by baford

Next audio checkpoint: new audio module compiling

---

Revision 1855 - Directory Listing
Modified Mon Apr 2 18:11:37 2007 UTC (2 years, 7 months ago) by jastr

new branch for named-named resolve

---

Revision 1854 - Directory Listing
Modified Mon Apr 2 14:06:21 2007 UTC (2 years, 7 months ago) by baford

Intermediate checkpoint of audio system rewrite

---

Revision 1852 - Directory Listing
Modified Sun Apr 1 14:19:04 2007 UTC (2 years, 7 months ago) by baford

Remove reorg branch, now that it's the trunk

---

Revision 1850 - Directory Listing
Modified Sun Apr 1 13:58:48 2007 UTC (2 years, 7 months ago) by baford

Allow use of Qt 4.1.x again, since it appears to be easy to...

---

Revision 1849 - Directory Listing
Modified Sun Apr 1 13:43:31 2007 UTC (2 years, 7 months ago) by baford

The "function" keyword appears to be a bash-only thing, not /bin/sh.

---

Revision 1848 - Directory Listing
Modified Sun Apr 1 13:43:01 2007 UTC (2 years, 7 months ago) by baford

Oops, applied the g++ bug workaround to the wrong branch...
(Are we ready to make branches/reorg the trunk?)

---

Revision 1844 - Directory Listing
Modified Fri Mar 30 15:38:13 2007 UTC (2 years, 7 months ago) by baford

Import PortAudio V19 sources from pa_stable_v19_061121 release

---

Revision 1843 - Directory Listing
Modified Fri Mar 30 15:00:12 2007 UTC (2 years, 7 months ago) by baford

Blow away old PortAudio-V18.1 subtree

---

Revision 1842 - Directory Listing
Modified Fri Mar 30 14:43:33 2007 UTC (2 years, 7 months ago) by baford

Create new temporary branch for transitioning Netsteria
from using PortAudio V18 to V19, a major audio API upgrade.
(Turned the audio-related crashing bug on Mac OS X was
apparently a bug in the old PortAudio library;
it's about time to ditch it and upgrade anyway...)

---

Revision 1841 - Directory Listing
Modified Thu Mar 29 20:16:26 2007 UTC (2 years, 7 months ago) by baford

Netsteria configure script now automatically detects
if there's an SST subtree embedded directly in the Netsteria source tree
(as there probably will be in Netsteria release source trees),
and incorporates that subtree into the build automatically
without requiring a --with-sst= option.

---

Revision 1840 - Directory Listing
Modified Thu Mar 29 20:07:29 2007 UTC (2 years, 7 months ago) by jastr

only run autoconf on the needed directories

---

Revision 1839 - Directory Listing
Modified Thu Mar 29 19:52:32 2007 UTC (2 years, 7 months ago) by jastr

rather than saying --disable-foo, if you want just one package,
then 
./configure [sst|netsteria|uianet|yam] --other-options
works now

---

Revision 1838 - Directory Listing
Modified Thu Mar 29 19:41:00 2007 UTC (2 years, 7 months ago) by jastr

oops

---

Revision 1837 - Directory Listing
Modified Thu Mar 29 19:37:40 2007 UTC (2 years, 7 months ago) by jastr

Makefile doesn't try to build disabled directories

---

Revision 1836 - Directory Listing
Modified Thu Mar 29 18:24:55 2007 UTC (2 years, 7 months ago) by jastr

disable the portions of autoconf that depend on built versions
of other uia packages, and don't have configure call make anymore.

This now restores the usual pattters of
./configure
make
make install

(except that configure still calls autoconf...)

---

Revision 1835 - Directory Listing
Modified Wed Mar 28 21:16:37 2007 UTC (2 years, 7 months ago) by jastr

netsteria builds now

---

Revision 1834 - Directory Listing
Modified Wed Mar 28 21:03:32 2007 UTC (2 years, 7 months ago) by jastr

merge -r 1826:1833 netsteria trunk -> branch

---

Revision 1833 - Directory Listing
Modified Wed Mar 28 21:00:42 2007 UTC (2 years, 7 months ago) by jastr

add --with-sst flag

---

Revision 1831 - Directory Listing
Modified Wed Mar 28 20:38:04 2007 UTC (2 years, 7 months ago) by jastr

merge -r 1823:1830 sst trunk->branch

---

Revision 1829 - Directory Listing
Modified Wed Mar 28 20:33:30 2007 UTC (2 years, 7 months ago) by jastr

top level makefile

---

Revision 1827 - Directory Listing
Modified Wed Mar 28 20:30:30 2007 UTC (2 years, 7 months ago) by jastr

cleaned up enough that netsteria configure completes

---

Revision 1826 - Directory Listing
Modified Wed Mar 28 20:11:39 2007 UTC (2 years, 7 months ago) by jastr

import netsteria in

---

Revision 1825 - Directory Listing
Modified Wed Mar 28 20:08:53 2007 UTC (2 years, 7 months ago) by jastr

sst build hooked in

---

Revision 1823 - Directory Listing
Modified Wed Mar 28 17:46:53 2007 UTC (2 years, 7 months ago) by jastr

copy sst into branch

---

Revision 1822 - Directory Listing
Modified Wed Mar 28 17:31:54 2007 UTC (2 years, 7 months ago) by jastr

link order correct everywhere now

---

Revision 1814 - Directory Listing
Modified Tue Mar 27 21:22:11 2007 UTC (2 years, 8 months ago) by jastr

uia starts compiling now (doesn't link properly yet)

---

Revision 1813 - Directory Listing
Modified Tue Mar 27 19:17:10 2007 UTC (2 years, 8 months ago) by jastr

start of a top-level configure script.
yam builds now, rest doesn't

---

Revision 1812 - Directory Listing
Modified Tue Mar 27 18:48:45 2007 UTC (2 years, 8 months ago) by jastr

change meaning of --with-boost= so that
--with-boost=/sw or --with-boost=/usr/local
sets both -I and -L

---

Revision 1810 - Directory Listing
Modified Mon Mar 26 17:28:00 2007 UTC (2 years, 8 months ago) by jastr

add yam to branch

---

Revision 1809 - Directory Listing
Modified Mon Mar 26 17:25:13 2007 UTC (2 years, 8 months ago) by jastr

remove externals link

---

Revision 1808 - Directory Listing
Modified Mon Mar 26 17:07:30 2007 UTC (2 years, 8 months ago) by jastr

new uianet subtree

---

Revision 1807 - Directory Listing
Modified Mon Mar 26 17:00:40 2007 UTC (2 years, 8 months ago) by jastr

new reorg branch

---

Revision 1806 - Directory Listing
Modified Mon Mar 26 16:45:27 2007 UTC (2 years, 8 months ago) by jastr

branch merged, remove branch

---

Revision 1804 - Directory Listing
Modified Mon Mar 26 15:59:13 2007 UTC (2 years, 8 months ago) by jastr

more fixes

---

Revision 1799 - Directory Listing
Modified Fri Mar 23 22:01:52 2007 UTC (2 years, 8 months ago) by jastr

don't write references to new records without syncing the log

---

Revision 1798 - Directory Listing
Modified Fri Mar 23 20:29:01 2007 UTC (2 years, 8 months ago) by jastr

evicted group member doesn't crash now

---

Revision 1794 - Directory Listing
Modified Tue Mar 20 20:00:16 2007 UTC (2 years, 8 months ago) by jastr

more fixes... you can break this version by deleting the last link
to yourself.

---

Revision 1789 - Directory Listing
Modified Tue Mar 20 15:52:22 2007 UTC (2 years, 8 months ago) by jastr

fix invalid sid bug

---

Revision 1788 - Directory Listing
Modified Mon Mar 19 21:48:16 2007 UTC (2 years, 8 months ago) by baford

First checkpoint in SST stream protocol modularization;
some of the modules even compile.

---

Revision 1787 - Directory Listing
Modified Mon Mar 19 21:44:26 2007 UTC (2 years, 8 months ago) by baford

Create temporary branch for an in-progress major reorganization of SST,
in particular to modularize the top-level Stream-related classes.

---

Revision 1786 - Directory Listing
Modified Sun Mar 18 21:23:43 2007 UTC (2 years, 8 months ago) by jastr

deleting links to devices triggers a mostly
working rollover

---

Revision 1783 - Directory Listing
Modified Wed Mar 14 21:38:02 2007 UTC (2 years, 8 months ago) by jastr

checkpoint -- only non-owner links delete now

---

Revision 1716 - Directory Listing
Modified Wed Mar 14 16:43:34 2007 UTC (2 years, 8 months ago) by jastr

cleanups, and make the calc.py tests work again

---

Revision 1715 - Directory Listing
Modified Wed Mar 14 16:17:10 2007 UTC (2 years, 8 months ago) by jastr

try that one again...

---

Revision 1714 - Directory Listing
Modified Wed Mar 14 16:16:46 2007 UTC (2 years, 8 months ago) by jastr

oops

---

Revision 1713 - Directory Listing
Modified Wed Mar 14 16:10:58 2007 UTC (2 years, 8 months ago) by jastr

new branch for finishing the other half of revocation

---

Revision 1712 - Directory Listing
Modified Wed Mar 14 16:05:27 2007 UTC (2 years, 8 months ago) by jastr

remove the old revocation branch
(will shortly create a new one)

---

Revision 1711 - Directory Listing
Modified Wed Mar 14 15:59:54 2007 UTC (2 years, 8 months ago) by jastr

YAODB

---

Revision 1710 - Directory Listing
Modified Wed Mar 14 15:54:39 2007 UTC (2 years, 8 months ago) by jastr

old branch no longer needed

---

Revision 1709 - Directory Listing
Modified Wed Mar 14 15:47:37 2007 UTC (2 years, 8 months ago) by jastr

all of branch merged in now

---

Revision 2341 - Directory Listing
Modified Fri Feb 2 22:00:54 2007 UTC (2 years, 9 months ago) by ctl

Fix tiny test suite bug in sexp.py.
Attempt and fail to get py.test to work on pylib.

---

Revision 2340 - Directory Listing
Modified Fri Feb 2 21:50:46 2007 UTC (2 years, 9 months ago) by ctl

Move directory name pcp->alpaca

---

Revision 2339 - Directory Listing
Modified Fri Feb 2 21:24:17 2007 UTC (2 years, 9 months ago) by ctl

Change name PCP->Alpaca.

---

Revision 1408 - Directory Listing
Modified Wed Jan 10 00:37:03 2007 UTC (2 years, 10 months ago) by jastr

don't crash when a link target isn't present yet

---

Revision 1407 - Directory Listing
Modified Tue Jan 9 23:38:11 2007 UTC (2 years, 10 months ago) by jastr

first attempt at cooperative garbage collection
bump rpc version number

---

Revision 1406 - Directory Listing
Modified Tue Jan 9 18:38:22 2007 UTC (2 years, 10 months ago) by jastr

a log gc branch

---

Revision 2338 - Directory Listing
Modified Fri Dec 8 02:30:44 2006 UTC (2 years, 11 months ago) by ctl

llama photos

---

Revision 2337 - Directory Listing
Modified Tue Nov 21 16:39:31 2006 UTC (3 years ago) by ctl

Another diagram, everything tidied up; this is the version I'm going to present.

---

Revision 2336 - Directory Listing
Modified Tue Nov 21 04:01:47 2006 UTC (3 years ago) by ctl

Many comments incorporated; some diagrams reworked.

---

Revision 2335 - Directory Listing
Modified Mon Nov 20 13:07:27 2006 UTC (3 years ago) by ctl

Notes from Max I have yet to incorporate usefully.

---

Revision 2334 - Directory Listing
Modified Mon Nov 20 12:53:58 2006 UTC (3 years ago) by ctl

Another totally reworked draft.

---

Revision 2333 - Directory Listing
Modified Thu Nov 16 15:53:00 2006 UTC (3 years ago) by ctl

some related works, some random notes.

---

Revision 1358 - Directory Listing
Modified Fri Nov 3 16:58:24 2006 UTC (3 years ago) by jastr

gossip branch no longer needed

---

Revision 1356 - Directory Listing
Modified Fri Nov 3 16:45:56 2006 UTC (3 years ago) by jastr

merge -r1345:1346 trunk -> branch

---

Revision 1355 - Directory Listing
Modified Fri Nov 3 16:14:11 2006 UTC (3 years ago) by jastr

next try

---

Revision 1354 - Directory Listing
Modified Fri Nov 3 16:11:15 2006 UTC (3 years ago) by jastr

next try

---

Revision 1353 - Directory Listing
Modified Fri Nov 3 16:08:45 2006 UTC (3 years ago) by jastr

typo

---

Revision 1352 - Directory Listing
Modified Fri Nov 3 16:03:10 2006 UTC (3 years ago) by jastr

less verbose logging

---

Revision 1351 - Directory Listing
Modified Fri Nov 3 15:51:45 2006 UTC (3 years ago) by jastr

merge -r1346:1349 trunk -> branch

---

Revision 1350 - Directory Listing
Modified Fri Nov 3 15:50:42 2006 UTC (3 years ago) by jastr

checkpoint before merge

---

Revision 1345 - Directory Listing
Modified Fri Oct 27 19:35:43 2006 UTC (3 years ago) by jastr

What I did sitting in the jury pool room this morning,
or, staring to reduce unneeded named gossip

---

Revision 1344 - Directory Listing
Modified Fri Oct 27 19:33:59 2006 UTC (3 years ago) by jastr

temporary branch for reducing redundant named gossip

---

Revision 2332 - Directory Listing
Modified Tue Oct 10 00:01:56 2006 UTC (3 years, 1 month ago) by ctl

spelling errors

---

Revision 2331 - Directory Listing
Modified Mon Oct 9 23:59:00 2006 UTC (3 years, 1 month ago) by kaashoek

rtm comment

---

Revision 2330 - Directory Listing
Modified Mon Oct 9 23:51:22 2006 UTC (3 years, 1 month ago) by ctl

expand the lemma example considerably --- better?

---

Revision 2329 - Directory Listing
Modified Mon Oct 9 23:44:22 2006 UTC (3 years, 1 month ago) by ctl

remove DRAFT footer

---

Revision 2328 - Directory Listing
Modified Mon Oct 9 23:35:41 2006 UTC (3 years, 1 month ago) by ctl

Write a short, not very good summary.
In submittable state, will submit a version asap.

---

Revision 2327 - Directory Listing
Modified Mon Oct 9 23:11:04 2006 UTC (3 years, 1 month ago) by ctl

Try to address some of frans's other comments about confusing jargon

---

Revision 2326 - Directory Listing
Modified Mon Oct 9 22:48:39 2006 UTC (3 years, 1 month ago) by ctl

clean up overview figure a bit.

---

Revision 2325 - Directory Listing
Modified Mon Oct 9 22:37:15 2006 UTC (3 years, 1 month ago) by ctl

kill some more XXXes

---

Revision 2324 - Directory Listing
Modified Mon Oct 9 22:27:24 2006 UTC (3 years, 1 month ago) by ctl

I'm an idiot, Jacob caught me citing where I should be reffing

---

Revision 2323 - Directory Listing
Modified Mon Oct 9 21:59:10 2006 UTC (3 years, 1 month ago) by ctl

fill in a bit of future work section

---

Revision 2322 - Directory Listing
Modified Mon Oct 9 21:26:17 2006 UTC (3 years, 1 month ago) by ctl

fix accumulated bugs pointed out by frans

---

Revision 2321 - Directory Listing
Modified Mon Oct 9 21:09:54 2006 UTC (3 years, 1 month ago) by ctl

add paragraph about uia implementation

---

Revision 2320 - Directory Listing
Modified Mon Oct 9 20:50:04 2006 UTC (3 years, 1 month ago) by ctl

overhaul sections 3.3 and 3.4 as per suggestions of frans.

---

Revision 2319 - Directory Listing
Modified Mon Oct 9 18:43:15 2006 UTC (3 years, 1 month ago) by ctl

fix figure and table captions.

---

Revision 2318 - Directory Listing
Modified Mon Oct 9 18:36:03 2006 UTC (3 years, 1 month ago) by ctl

frans and robert's comments on abstract, intro, background

---

Revision 2317 - Directory Listing
Modified Mon Oct 9 13:14:48 2006 UTC (3 years, 1 month ago) by ctl

I am almost a paper.

---

Revision 2316 - Directory Listing
Modified Mon Oct 9 00:31:48 2006 UTC (3 years, 1 month ago) by ctl

all citations should be valid now

---

Revision 2315 - Directory Listing
Modified Sun Oct 8 23:07:31 2006 UTC (3 years, 1 month ago) by ctl

Remove motivation (how apt)

---

Revision 2314 - Directory Listing
Modified Sun Oct 8 19:56:23 2006 UTC (3 years, 1 month ago) by ctl

overwrite with figure from talk

---

Revision 2313 - Directory Listing
Modified Sun Oct 8 19:56:06 2006 UTC (3 years, 1 month ago) by ctl

delete old figure

---

Revision 2312 - Directory Listing
Modified Sun Oct 8 09:21:05 2006 UTC (3 years, 1 month ago) by ctl

It is a whole draft again after being gutted.
12 pages, so room to expand.
Need thorough massaging of structure and XXXs tomorrow.

---

Revision 2311 - Directory Listing
Modified Sat Oct 7 00:05:48 2006 UTC (3 years, 1 month ago) by ctl

Forgot to check in new pulled-out background section.

---

Revision 2310 - Directory Listing
Modified Sat Oct 7 00:04:21 2006 UTC (3 years, 1 month ago) by ctl

insert comments from frans.  deal in morning.

---

Revision 2309 - Directory Listing
Modified Fri Oct 6 20:02:48 2006 UTC (3 years, 1 month ago) by ctl

unbroke the build

---

Revision 2308 - Directory Listing
Modified Fri Oct 6 16:08:34 2006 UTC (3 years, 1 month ago) by ctl

tweak references.

---

Revision 2307 - Directory Listing
Modified Fri Oct 6 09:40:42 2006 UTC (3 years, 1 month ago) by ctl

Finish basic PKI section.  What remains is an unknown amount of space devoted to the advanced tricks section.

---

Revision 2306 - Directory Listing
Modified Fri Oct 6 06:36:53 2006 UTC (3 years, 1 month ago) by ctl

reorganize names

---

Revision 2305 - Directory Listing
Modified Fri Oct 6 06:16:58 2006 UTC (3 years, 1 month ago) by ctl

reorganize implementation into future work, fill out serialization

---

Revision 2304 - Directory Listing
Modified Fri Oct 6 04:12:58 2006 UTC (3 years, 1 month ago) by ctl

api description

---

Revision 2303 - Directory Listing
Modified Fri Oct 6 01:14:07 2006 UTC (3 years, 1 month ago) by ctl

Authority section

---

Revision 2302 - Directory Listing
Modified Wed Oct 4 13:38:01 2006 UTC (3 years, 1 month ago) by ctl

forgot to check in this image before.

---

Revision 2301 - Directory Listing
Modified Wed Oct 4 13:35:10 2006 UTC (3 years, 1 month ago) by ctl

A checkpoint.  Everything is indeed still a mess.

---

Revision 2300 - Directory Listing
Modified Mon Oct 2 23:56:39 2006 UTC (3 years, 1 month ago) by ctl

checkpoint (submitted abstract)

---

Revision 1335 - Directory Listing
Modified Tue Sep 26 17:51:04 2006 UTC (3 years, 1 month ago) by jastr

- a reset the demo script (installed as uiaresetdemo)
- default device name goes in /etc/uia/devname.txt

---

Revision 1334 - Directory Listing
Modified Tue Sep 26 16:25:54 2006 UTC (3 years, 1 month ago) by jastr

export group owner list (for mynet primarily)

Remove some old unimplemented rpcs -- should be okay since
there were no old users of those ones.

---

Revision 2299 - Directory Listing
Modified Fri Sep 15 04:52:42 2006 UTC (3 years, 2 months ago) by ctl

version presented on 9-12

---

Revision 2298 - Directory Listing
Modified Tue Sep 12 02:19:54 2006 UTC (3 years, 2 months ago) by ctl

simple demo

---

Revision 2297 - Directory Listing
Modified Wed Sep 6 22:00:13 2006 UTC (3 years, 2 months ago) by ctl

new draft abstract

---

Revision 2296 - Directory Listing
Modified Wed Sep 6 21:09:03 2006 UTC (3 years, 2 months ago) by ctl

fix __future__ in wrong place;
add small demo harness
add some random notes;
set svn:ignore properties

---

Revision 2295 - Directory Listing
Modified Wed Sep 6 21:04:04 2006 UTC (3 years, 2 months ago) by ctl

change directory name to contain date of presentation.

---

Revision 2294 - Directory Listing
Modified Wed Sep 6 21:02:47 2006 UTC (3 years, 2 months ago) by ctl

frans's suggestion

---

Revision 2293 - Directory Listing
Modified Tue Sep 5 21:12:14 2006 UTC (3 years, 2 months ago) by ctl

comment from Russ

---

Revision 2292 - Directory Listing
Modified Tue Sep 5 21:10:21 2006 UTC (3 years, 2 months ago) by ctl

alpaca pictures

---

Revision 2291 - Directory Listing
Modified Tue Sep 5 19:50:49 2006 UTC (3 years, 2 months ago) by ctl

"final" version

---

Revision 2290 - Directory Listing
Modified Tue Sep 5 19:09:39 2006 UTC (3 years, 2 months ago) by ctl

almost completely filled out --- probably 3 hours worth of material :(

---

Revision 2289 - Directory Listing
Modified Tue Sep 5 11:47:26 2006 UTC (3 years, 2 months ago) by ctl

oops, that wasn't the right file.

---

Revision 2288 - Directory Listing
Modified Tue Sep 5 10:21:23 2006 UTC (3 years, 2 months ago) by ctl

actually include text

---

Revision 2287 - Directory Listing
Modified Tue Sep 5 10:14:43 2006 UTC (3 years, 2 months ago) by ctl

pdos presentation draft

---

Revision 1286 - Directory Listing
Modified Thu Aug 31 19:44:23 2006 UTC (3 years, 2 months ago) by jastr

tests to create a contested successor, see that it stops lookups,
and then a resolution, and working lookups.  

ready to merge to mainline now?

---

Revision 1283 - Directory Listing
Modified Thu Aug 31 17:52:57 2006 UTC (3 years, 2 months ago) by jastr

first set of revocation fixes & tests -- mostly works

---

Revision 1280 - Directory Listing
Modified Wed Aug 30 20:38:09 2006 UTC (3 years, 2 months ago) by jastr

successorship calculation first cut

---

Revision 1278 - Directory Listing
Modified Wed Aug 30 18:20:35 2006 UTC (3 years, 2 months ago) by jastr

lookups for name links fixed

---

Revision 1277 - Directory Listing
Modified Wed Aug 30 17:36:14 2006 UTC (3 years, 2 months ago) by jastr

== -> = bug

---

Revision 1276 - Directory Listing
Modified Wed Aug 30 17:18:24 2006 UTC (3 years, 2 months ago) by jastr

more fixes & tests

---

Revision 1275 - Directory Listing
Modified Wed Aug 30 16:42:03 2006 UTC (3 years, 2 months ago) by jastr

don't crash in the middle of a merge

---

Revision 1274 - Directory Listing
Modified Wed Aug 30 16:20:59 2006 UTC (3 years, 2 months ago) by jastr

more lookup fixes

---

Revision 1273 - Directory Listing
Modified Wed Aug 30 01:01:11 2006 UTC (3 years, 2 months ago) by jastr

bulk of changes for lookups

---

Revision 1272 - Directory Listing
Modified Tue Aug 29 20:51:37 2006 UTC (3 years, 2 months ago) by jastr

all tests passed, now I should make lookups work again

---

Revision 1271 - Directory Listing
Modified Tue Aug 29 19:41:11 2006 UTC (3 years, 2 months ago) by jastr

first four tests work (even though no lookups implemented yet)

---

Revision 1270 - Directory Listing
Modified Tue Aug 29 19:00:53 2006 UTC (3 years, 2 months ago) by jastr

create groups

---

Revision 1269 - Directory Listing
Modified Tue Aug 29 17:54:36 2006 UTC (3 years, 2 months ago) by jastr

next checkpoint, members & owners calc done, now on to content

---

Revision 1268 - Directory Listing
Modified Mon Aug 28 22:00:49 2006 UTC (3 years, 2 months ago) by jastr

revocation checkpoint

---

Revision 1267 - Directory Listing
Modified Mon Aug 28 18:06:34 2006 UTC (3 years, 2 months ago) by jastr

merge -r1210:1266 trunk -> branch

---

Revision 1250 - Directory Listing
Modified Thu Aug 24 18:04:54 2006 UTC (3 years, 3 months ago) by jastr

revocation branch checkpoint

---

Revision 1211 - Directory Listing
Modified Tue Aug 1 17:37:15 2006 UTC (3 years, 3 months ago) by jastr

log format changes for successors

---

Revision 1210 - Directory Listing
Modified Tue Aug 1 16:29:59 2006 UTC (3 years, 3 months ago) by jastr

new branch for new revocation mechanism

---

Revision 1199 - Directory Listing
Modified Mon Jul 17 22:05:37 2006 UTC (3 years, 4 months ago) by jastr

OSX compile fixes

---

Revision 1198 - Directory Listing
Modified Mon Jul 17 20:46:37 2006 UTC (3 years, 4 months ago) by jastr

merge r1193 trunk->branch

---

Revision 1197 - Directory Listing
Modified Mon Jul 17 20:32:05 2006 UTC (3 years, 4 months ago) by jastr

arm requires pointers to be word aligned.
name lookups now work on the 770

---

Revision 1196 - Directory Listing
Modified Fri Jul 14 22:07:04 2006 UTC (3 years, 4 months ago) by jastr

Some more progress...

 - n770 package includes nss_uia now
   (but doesn't add uia to /etc/nsswitch.conf itself)

 - ssh foobar (a name which doensn't exit) works correctly: name or service not found
 - ssh mydev (name which does exist)
   makes ssh segfault sometime after the uia named replies with the eid.
  
   time to switch back to a machine with meaningful core dumps.

---

Revision 1195 - Directory Listing
Modified Fri Jul 14 21:23:30 2006 UTC (3 years, 4 months ago) by jastr

 >  This should now be enough for the uia router, named, and tun driver to
 >  all run on the 770.

 I lied -- #includes on the 770 are broken.  but with that fixed I can do:

  Nokia770-13:/var/log/uia# ssh fc00:c3b6:957e:f3b4:3a8b:dfae:5c07:95b0
  root@fc00:c3b6:957e:f3b4:3a8b:dfae:5c07:95b0's password:
  Last login: Fri Jun 23 17:47:52 2006
  [root@portable-soup ~]# exit
  logout

---

Revision 1194 - Directory Listing
Modified Fri Jul 14 20:57:45 2006 UTC (3 years, 4 months ago) by jastr

 -- tun interface doesn't call ifconfig anymore on linux.
    uses the ioctl (as used by ifconfig) interface instead,
    which is supposedly  deprecated on linux in favor of the
    netlink version used by iproute2.  However, that version
    looked like it would take longer than an afternoon to implement.

 -- Linux tun driver can set the interface name to be different
    than the tun device name.  Now set to "uia" by default.
    (I'm not sure I fixed the darwin version correctly...)

This should now be enough for the uia router, named, and tun driver to
all run on the 770.

---

Revision 2286 - Directory Listing
Modified Fri Jul 14 18:58:38 2006 UTC (3 years, 4 months ago) by ctl

caching to improve performance a bit...

---

Revision 1192 - Directory Listing
Modified Thu Jul 13 21:21:51 2006 UTC (3 years, 4 months ago) by jastr

the 770 is apparantly the first machine where ipv6 isn't a module.
"/sbin/modprobe ipv6" consequently fails there, so only try to modprobe 
if /proc/sys/net/ipv6/route doesn't exist.
 

---

Revision 1191 - Directory Listing
Modified Thu Jul 13 20:40:52 2006 UTC (3 years, 4 months ago) by jastr

someone's broadcasting their name on bonjour as:
   no root info found: [Errno 2] No such file or directory: '/etc/uia/names.db.root'

---

Revision 1190 - Directory Listing
Modified Thu Jul 13 20:21:22 2006 UTC (3 years, 4 months ago) by jastr

renaming temp files from /tmp to /etc/uia doens't work if they're
on different filesystems, so put the temp files in /etc/uia instead

---

Revision 1189 - Directory Listing
Modified Thu Jul 13 19:57:06 2006 UTC (3 years, 4 months ago) by jastr

merge trunk -r1177:1188 -> branch

---

Revision 1187 - Directory Listing
Modified Thu Jul 13 16:37:54 2006 UTC (3 years, 4 months ago) by jastr

- daemonize named and dnspxy.
- uialegacy stop uses pid files to choose what to kill, not killall

---

Revision 1186 - Directory Listing
Modified Thu Jul 13 16:05:49 2006 UTC (3 years, 4 months ago) by jastr

uialecagy can't write pid files anymore with daemonize

---

Revision 1181 - Directory Listing
Modified Wed Jul 12 21:07:37 2006 UTC (3 years, 4 months ago) by jastr

daemonize tun

---

Revision 1180 - Directory Listing
Modified Wed Jul 12 20:58:19 2006 UTC (3 years, 4 months ago) by jastr

fix bugs on a machine with strace, not on the 770 proper

---

Revision 1179 - Directory Listing
Modified Wed Jul 12 20:26:53 2006 UTC (3 years, 4 months ago) by jastr

attempt to replace nohup with a daemonize()
(not quite working yet)

---

Revision 1178 - Directory Listing
Modified Tue Jul 11 18:25:42 2006 UTC (3 years, 4 months ago) by jastr

merge r1159:1177 trunk -> branch

---

Revision 1172 - Directory Listing
Modified Mon Jul 10 21:35:37 2006 UTC (3 years, 4 months ago) by jastr

uiaconfig runs inside scratchbox up until the point where it wants to
call openssl (which I haven't built yet)

---

Revision 1170 - Directory Listing
Modified Mon Jul 10 20:53:52 2006 UTC (3 years, 4 months ago) by jastr

add an installroot (with configure with --with-installroot=dir) or
make install installroot=foo
so that $(INSTALL) puts files there instead of the real /.
However, all of the configuration options are unchaged, and expect files
to end up with the specified prefix after the resulting package is installed.

---

Revision 1168 - Directory Listing
Modified Mon Jul 10 16:21:06 2006 UTC (3 years, 4 months ago) by srhea

update usage

---

Revision 1167 - Directory Listing
Modified Fri Jul 7 20:11:25 2006 UTC (3 years, 4 months ago) by jastr

separate configure (generating eid) out of make install into a
uiaconfig script.

configure now can take an optional --with-installconf=no, so that
package building can postpone running the uiaconfig script until 
installation time.  Normal builds run uiaconfig as part of make install.

the n770 pack builder now results in a complete package, though several
parts are at incorrect paths still

---

Revision 1166 - Directory Listing
Modified Fri Jul 7 17:32:11 2006 UTC (3 years, 4 months ago) by jastr

yam770 branch no longer needed

---

Revision 1164 - Directory Listing
Modified Fri Jul 7 17:18:18 2006 UTC (3 years, 4 months ago) by jastr

revert the libboost flags, add a make clean rule

---

Revision 1163 - Directory Listing
Modified Fri Jul 7 17:16:05 2006 UTC (3 years, 4 months ago) by jastr

add first cut at debianization for the 770.
This will probably need to be totally separate from a
real debian package for uia, due to the dependencies being
quite different.

to run this, from the main uia source dir, run ./misc/packaging/deb-770.sh

right now, it compiles, and dies about halfway through make install

---

Revision 1162 - Directory Listing
Modified Thu Jul 6 20:29:02 2006 UTC (3 years, 4 months ago) by jastr

boost lib changes

---

Revision 1161 - Directory Listing
Modified Thu Jul 6 20:27:59 2006 UTC (3 years, 4 months ago) by jastr

yam needs a 770 branch too

---

Revision 1160 - Directory Listing
Modified Thu Jul 6 20:19:01 2006 UTC (3 years, 4 months ago) by jastr

libboost configure fixes

---

Revision 1159 - Directory Listing
Modified Thu Jul 6 19:21:56 2006 UTC (3 years, 4 months ago) by jastr

new branch for not-ready-for-primetime changes for the n770

---

Revision 2285 - Directory Listing
Modified Fri Jun 30 22:42:25 2006 UTC (3 years, 4 months ago) by ctl

just some notes to myself on linear logic.

---

Revision 1157 - Directory Listing
Modified Wed Jun 28 19:48:11 2006 UTC (3 years, 4 months ago) by ctl

proposed join message addition

---

Revision 1156 - Directory Listing
Modified Wed Jun 28 18:44:56 2006 UTC (3 years, 4 months ago) by ctl

merge

---

Revision 1151 - Directory Listing
Modified Wed Jun 21 19:24:29 2006 UTC (3 years, 5 months ago) by srhea

Router now using src and dst ports for UIA messages.  When listening for
messages, clients must now specify a port number to listen to.  When sending,
both a src and dst port must be specified, and the sender must already be
listening on the src port.  uiaroutedcmd send and listen incorporate these
changes and work.  uiatunwrpd now listens on port 0 and ssh works.  uianamed
still needs to be changed.

---

Revision 1150 - Directory Listing
Modified Mon Jun 19 19:36:20 2006 UTC (3 years, 5 months ago) by ctl

merge in trunk changes, resolve conflicts

---

Revision 1145 - Directory Listing
Modified Fri Jun 16 22:16:01 2006 UTC (3 years, 5 months ago) by ctl

use logserial for target structures

---

Revision 1144 - Directory Listing
Modified Fri Jun 16 21:25:28 2006 UTC (3 years, 5 months ago) by ctl

load names explicitly from logformat

---

Revision 2284 - Directory Listing
Modified Fri Jun 16 06:19:13 2006 UTC (3 years, 5 months ago) by ctl

use filename instead of __main__

---

Revision 1143 - Directory Listing
Modified Fri Jun 16 06:18:36 2006 UTC (3 years, 5 months ago) by ctl

update to use py.test;
improve log message accuracy;
reject inauthentic log records.
(note, still need to make a record of rejected records.)

---

Revision 2283 - Directory Listing
Modified Fri Jun 16 06:12:59 2006 UTC (3 years, 5 months ago) by ctl

a self-contained test framework minimally compatible with py.test

---

Revision 2282 - Directory Listing
Modified Thu Jun 15 21:32:13 2006 UTC (3 years, 5 months ago) by ctl

handle newer version of pyparsing, with memoization changes I suggested to maintainer

---

Revision 1142 - Directory Listing
Modified Thu Jun 15 15:50:02 2006 UTC (3 years, 5 months ago) by jastr

new branch for router source & destination ports

---

Revision 1138 - Directory Listing
Modified Tue Jun 13 16:51:03 2006 UTC (3 years, 5 months ago) by ctl

I'm not sure how these missed the merge.

---

Revision 1137 - Directory Listing
Modified Mon Jun 12 20:12:48 2006 UTC (3 years, 5 months ago) by ctl

merged in trunk changes, resolve conflicts

---

Revision 1135 - Directory Listing
Modified Fri Jun 9 22:32:15 2006 UTC (3 years, 5 months ago) by ctl

Remove version-skewed copies from repository --- uiacert2eid should now pull modules from pylib directory/

---

Revision 1134 - Directory Listing
Modified Fri Jun 9 20:01:09 2006 UTC (3 years, 5 months ago) by ctl

reorganize signature-generation, signature-checking code

---

Revision 2281 - Directory Listing
Modified Thu Jun 8 23:02:16 2006 UTC (3 years, 5 months ago) by ctl

refactoring, performance improvements, expose interfaces

---

Revision 2280 - Directory Listing
Modified Wed Jun 7 22:35:49 2006 UTC (3 years, 5 months ago) by ctl

further reorg

---

Revision 2279 - Directory Listing
Modified Wed May 31 22:49:14 2006 UTC (3 years, 5 months ago) by ctl

clean up old irrelevant version

---

Revision 2278 - Directory Listing
Modified Wed May 31 22:32:06 2006 UTC (3 years, 5 months ago) by ctl

package reorganization and some resultant renames and bugfixes

---

Revision 2277 - Directory Listing
Modified Wed May 31 22:18:45 2006 UTC (3 years, 5 months ago) by ctl

paths change

---

Revision 2276 - Directory Listing
Modified Wed May 31 20:27:30 2006 UTC (3 years, 5 months ago) by ctl

reorganize and refactor tests

---

Revision 2275 - Directory Listing
Modified Tue May 30 20:55:38 2006 UTC (3 years, 5 months ago) by ctl

updated to use new pkcs1 framework

---

Revision 2274 - Directory Listing
Modified Mon May 29 10:00:34 2006 UTC (3 years, 5 months ago) by ctl

massive overhaul of pkcs1 code for spec compatibility

---

Revision 2273 - Directory Listing
Modified Wed May 24 18:46:16 2006 UTC (3 years, 6 months ago) by ctl

check in skeleton modifications

---

Revision 2272 - Directory Listing
Modified Wed May 24 18:30:32 2006 UTC (3 years, 6 months ago) by ctl

rename

---

Revision 2271 - Directory Listing
Modified Wed May 24 18:28:51 2006 UTC (3 years, 6 months ago) by ctl

nsdi branch

---

Revision 1113 - Directory Listing
Modified Tue May 23 20:51:28 2006 UTC (3 years, 6 months ago) by ctl

merge trunk changes onto signature branch

---

Revision 1111 - Directory Listing
Modified Tue May 23 19:39:32 2006 UTC (3 years, 6 months ago) by jastr

log records have actual signatures now

---

Revision 1103 - Directory Listing
Modified Mon May 22 16:16:49 2006 UTC (3 years, 6 months ago) by jastr

ignore files

---

Revision 1102 - Directory Listing
Modified Mon May 22 16:16:26 2006 UTC (3 years, 6 months ago) by jastr

sig branch needs logformat version # bumped

---

Revision 1101 - Directory Listing
Modified Mon May 22 15:35:56 2006 UTC (3 years, 6 months ago) by jastr

named_core needs () not None for default auth records

---

Revision 1099 - Directory Listing
Modified Fri May 19 15:47:48 2006 UTC (3 years, 6 months ago) by jastr

loading and storing auth'd records

---

Revision 1098 - Directory Listing
Modified Fri May 19 03:42:20 2006 UTC (3 years, 6 months ago) by ctl

signature format authentcator

---

Revision 1097 - Directory Listing
Modified Fri May 19 03:31:26 2006 UTC (3 years, 6 months ago) by ctl

make a branch for authenticators and log-format change

---

Revision 1096 - Directory Listing
Modified Fri May 19 03:30:57 2006 UTC (3 years, 6 months ago) by ctl

create local sandbox for ctl

---

Revision 1094 - Directory Listing
Modified Thu May 18 20:54:30 2006 UTC (3 years, 6 months ago) by ctl

these auto-created branches aren't useful.

---

Revision 2270 - Directory Listing
Modified Mon Apr 24 14:28:34 2006 UTC (3 years, 7 months ago) by ctl

needed an __init__.py

---

Revision 2269 - Directory Listing
Modified Mon Apr 24 14:19:08 2006 UTC (3 years, 7 months ago) by ctl

update certificate chain and fix some minor bugs

---

Revision 2268 - Directory Listing
Modified Mon Apr 24 13:29:45 2006 UTC (3 years, 7 months ago) by ctl

after long travails, generated a single precious certificate chain.

---

Revision 2267 - Directory Listing
Modified Mon Apr 24 11:34:46 2006 UTC (3 years, 7 months ago) by ctl

fix x509 signature computation

---

Revision 2266 - Directory Listing
Modified Mon Apr 24 11:22:43 2006 UTC (3 years, 7 months ago) by ctl

x509 signature checking

---

Revision 2265 - Directory Listing
Modified Mon Apr 24 10:31:34 2006 UTC (3 years, 7 months ago) by ctl

x509 encoding/decoding

---

Revision 2264 - Directory Listing
Modified Mon Apr 24 07:41:51 2006 UTC (3 years, 7 months ago) by ctl

expanded ca endorsement theorem, sign using hash

---

Revision 2263 - Directory Listing
Modified Mon Apr 24 03:07:51 2006 UTC (3 years, 7 months ago) by ctl

readme, another related doc on proof compression, some tools

---

Revision 2262 - Directory Listing
Modified Mon Apr 24 03:06:56 2006 UTC (3 years, 7 months ago) by ctl

ASN.1, DER, PKCS1 implemented.
Many related changes.

---

Revision 2261 - Directory Listing
Modified Sun Apr 23 11:18:57 2006 UTC (3 years, 7 months ago) by ctl

various changes to support named integration.

---

Revision 2260 - Directory Listing
Modified Sun Apr 23 07:11:54 2006 UTC (3 years, 7 months ago) by ctl

various performance tuning, bug fixes, etc.

---

Revision 2259 - Directory Listing
Modified Sat Apr 22 23:50:01 2006 UTC (3 years, 7 months ago) by ctl

proof compression / serialization --- only gimpy version works.

---

Revision 2258 - Directory Listing
Modified Thu Apr 20 20:08:27 2006 UTC (3 years, 7 months ago) by ctl

streamlined api

---

Revision 2257 - Directory Listing
Modified Thu Apr 20 20:03:02 2006 UTC (3 years, 7 months ago) by ctl

untested eid delegation lemmas

---

Revision 2256 - Directory Listing
Modified Thu Apr 20 18:23:56 2006 UTC (3 years, 7 months ago) by ctl

fixup fresh variables

---

Revision 2255 - Directory Listing
Modified Thu Apr 20 18:16:56 2006 UTC (3 years, 7 months ago) by ctl

kill let command

---

Revision 2254 - Directory Listing
Modified Thu Apr 20 18:11:21 2006 UTC (3 years, 7 months ago) by ctl

streamline some theorem code.

---

Revision 2253 - Directory Listing
Modified Wed Apr 19 19:19:37 2006 UTC (3 years, 7 months ago) by ctl

eid principals with rsa signatures

---

Revision 2252 - Directory Listing
Modified Mon Apr 17 22:42:08 2006 UTC (3 years, 7 months ago) by ctl

encapsulate into principal classes

---

Revision 2251 - Directory Listing
Modified Mon Apr 17 21:40:16 2006 UTC (3 years, 7 months ago) by ctl

rsa proof

---

Revision 2250 - Directory Listing
Modified Sat Apr 15 01:49:18 2006 UTC (3 years, 7 months ago) by ctl

write lemmas and contexts for prover to support hash principals

---

Revision 2249 - Directory Listing
Modified Fri Apr 14 00:32:04 2006 UTC (3 years, 7 months ago) by ctl

logic axioms

---

Revision 2248 - Directory Listing
Modified Thu Apr 13 23:57:51 2006 UTC (3 years, 7 months ago) by ctl

tidy up interfaces again.

---

Revision 2247 - Directory Listing
Modified Thu Apr 13 22:43:07 2006 UTC (3 years, 7 months ago) by ctl

clean up lemmas and last usage, refactoring mostly done.

---

Revision 2246 - Directory Listing
Modified Thu Apr 13 20:13:22 2006 UTC (3 years, 7 months ago) by ctl

tabular authorities as instances, not classes.

---

Revision 2245 - Directory Listing
Modified Thu Apr 13 17:01:28 2006 UTC (3 years, 7 months ago) by ctl

get witnesses provisionally working again

---

Revision 2244 - Directory Listing
Modified Thu Apr 13 09:48:53 2006 UTC (3 years, 7 months ago) by ctl

bring principals into theorem land

---

Revision 2243 - Directory Listing
Modified Thu Apr 13 08:53:15 2006 UTC (3 years, 7 months ago) by ctl

encapsulate theorems as a statement with a proof.

---

Revision 2242 - Directory Listing
Modified Wed Apr 12 14:45:40 2006 UTC (3 years, 7 months ago) by ctl

proof combinator

---

Revision 2241 - Directory Listing
Modified Wed Apr 12 14:18:17 2006 UTC (3 years, 7 months ago) by ctl

fix subtle alpha-substitution/free-variable bugs.

---

Revision 2240 - Directory Listing
Modified Wed Apr 12 01:46:31 2006 UTC (3 years, 7 months ago) by ctl

replace all uses of 'apply' with new magic 'deduce', and fix consequent bugs.

---

Revision 2239 - Directory Listing
Modified Wed Apr 12 00:26:06 2006 UTC (3 years, 7 months ago) by ctl

new magic deducer, thank god that's working.

---

Revision 2238 - Directory Listing
Modified Thu Apr 6 05:35:49 2006 UTC (3 years, 7 months ago) by ctl

rsa key proving works.

---

Revision 2237 - Directory Listing
Modified Thu Apr 6 02:38:09 2006 UTC (3 years, 7 months ago) by ctl

importing authorities

---

Revision 2236 - Directory Listing
Modified Thu Apr 6 01:13:24 2006 UTC (3 years, 7 months ago) by ctl

function authorities, general refactoring of authorities.

---

Revision 2235 - Directory Listing
Modified Wed Apr 5 07:28:06 2006 UTC (3 years, 7 months ago) by ctl

math and encoding for integers

---

Revision 2234 - Directory Listing
Modified Wed Apr 5 05:21:27 2006 UTC (3 years, 7 months ago) by ctl

create integer constants

---

Revision 2233 - Directory Listing
Modified Wed Apr 5 00:23:30 2006 UTC (3 years, 7 months ago) by ctl

streamline parser.
sadly, tests with psyco indicate that psyco is broken.

---

Revision 2232 - Directory Listing
Modified Tue Apr 4 22:39:53 2006 UTC (3 years, 7 months ago) by ctl

fix transition-related bugs, clean up code.

---

Revision 2231 - Directory Listing
Modified Tue Apr 4 20:54:19 2006 UTC (3 years, 7 months ago) by ctl

test cases

---

Revision 2230 - Directory Listing
Modified Tue Apr 4 04:47:39 2006 UTC (3 years, 7 months ago) by ctl

rewrite case->union, expression, proof classes.

---

Revision 2229 - Directory Listing
Modified Fri Mar 31 00:13:06 2006 UTC (3 years, 7 months ago) by ctl

finish tree and test-case reorg.

---

Revision 2228 - Directory Listing
Modified Thu Mar 30 23:04:22 2006 UTC (3 years, 7 months ago) by ctl

more tree reorg

---

Revision 2227 - Directory Listing
Modified Thu Mar 30 23:00:21 2006 UTC (3 years, 7 months ago) by ctl

reorganize tree

---

Revision 2226 - Directory Listing
Modified Thu Mar 30 22:58:36 2006 UTC (3 years, 7 months ago) by ctl

reorganize tree

---

Revision 2225 - Directory Listing
Modified Thu Mar 30 22:56:33 2006 UTC (3 years, 7 months ago) by ctl

reorganize package

---

Revision 2224 - Directory Listing
Modified Thu Mar 30 22:46:15 2006 UTC (3 years, 7 months ago) by ctl

test suite tests right thing

---

Revision 2223 - Directory Listing
Modified Thu Mar 30 22:31:07 2006 UTC (3 years, 7 months ago) by ctl

swap names of beta-reduce and beta-abstract to be consistent with others.

---

Revision 2222 - Directory Listing
Modified Thu Mar 30 20:24:58 2006 UTC (3 years, 7 months ago) by ctl

reduce proof-generating kludginess.

---

Revision 2221 - Directory Listing
Modified Thu Mar 30 20:20:02 2006 UTC (3 years, 7 months ago) by ctl

main proof for hash principals compiles and checks out.

---

Revision 2220 - Directory Listing
Modified Thu Mar 30 18:30:57 2006 UTC (3 years, 7 months ago) by ctl

prove delegation theorems.

---

Revision 2219 - Directory Listing
Modified Thu Mar 30 15:40:41 2006 UTC (3 years, 7 months ago) by ctl

implement substitute and apply

---

Revision 2218 - Directory Listing
Modified Thu Mar 30 02:06:36 2006 UTC (3 years, 7 months ago) by ctl

keep track of lemmas.

---

Revision 2217 - Directory Listing
Modified Thu Mar 30 01:10:32 2006 UTC (3 years, 7 months ago) by ctl

proof inference in principals' contexts.

---

Revision 2216 - Directory Listing
Modified Wed Mar 29 22:39:37 2006 UTC (3 years, 7 months ago) by ctl

fix base64 encoding
implement several authorities
refactor proof command interpreter using decorator
new claim checker

---

Revision 2215 - Directory Listing
Modified Wed Mar 29 05:19:42 2006 UTC (3 years, 7 months ago) by ctl

names

---

Revision 2214 - Directory Listing
Modified Wed Mar 29 01:16:06 2006 UTC (3 years, 7 months ago) by ctl

equals and says

---

Revision 2213 - Directory Listing
Modified Tue Mar 28 21:40:45 2006 UTC (3 years, 7 months ago) by ctl

modify sandbox branch

---

Revision 2212 - Directory Listing
Modified Tue Mar 28 21:40:15 2006 UTC (3 years, 7 months ago) by ctl

new sandbox branch

---

Revision 2211 - Directory Listing
Modified Tue Mar 28 00:48:08 2006 UTC (3 years, 7 months ago) by ctl

many changes dealing with level inference for contexts.  kind of kludgey.

---

Revision 2210 - Directory Listing
Modified Mon Mar 27 13:56:02 2006 UTC (3 years, 8 months ago) by ctl

refactor some expression-munging code out of proof.py.

---

Revision 2209 - Directory Listing
Modified Mon Mar 27 13:06:56 2006 UTC (3 years, 8 months ago) by ctl

OK, level solving in proof inference seems to work, albeit in a minimal way!
What a nice way to start the week.

---

Revision 2208 - Directory Listing
Modified Fri Mar 24 06:06:13 2006 UTC (3 years, 8 months ago) by ctl

new beta-reduction code works well now.

---

Revision 2207 - Directory Listing
Modified Fri Mar 24 02:12:42 2006 UTC (3 years, 8 months ago) by ctl

reworking beta-reduction search, taking a break for food.

---

Revision 2206 - Directory Listing
Modified Thu Mar 23 20:41:04 2006 UTC (3 years, 8 months ago) by ctl

new beta reduction checker, hopefully also better.

---

Revision 2205 - Directory Listing
Modified Thu Mar 23 14:58:32 2006 UTC (3 years, 8 months ago) by ctl

checkpoint last night's proof inference code.

---

Revision 2204 - Directory Listing
Modified Wed Mar 22 15:53:49 2006 UTC (3 years, 8 months ago) by ctl

partial proof inference engine.

---

Revision 2203 - Directory Listing
Modified Tue Mar 21 22:43:42 2006 UTC (3 years, 8 months ago) by ctl

send checkin email to dev list

---

Revision 2202 - Directory Listing
Modified Tue Mar 21 22:33:38 2006 UTC (3 years, 8 months ago) by ctl

more prover automation is good.

---

Revision 2201 - Directory Listing
Modified Tue Mar 21 20:14:38 2006 UTC (3 years, 8 months ago) by ctl

more believable level code

---

Revision 2200 - Directory Listing
Modified Tue Mar 21 09:00:29 2006 UTC (3 years, 8 months ago) by ctl

generalize level structure for proof inference

---

Revision 2199 - Directory Listing
Modified Thu Mar 16 21:09:05 2006 UTC (3 years, 8 months ago) by ctl

some definitions for data, skeletal uia context for reference only

---

Revision 2198 - Directory Listing
Modified Thu Mar 16 19:27:36 2006 UTC (3 years, 8 months ago) by ctl

hit a darn hairy snag.

---

Revision 2197 - Directory Listing
Modified Thu Mar 16 15:24:52 2006 UTC (3 years, 8 months ago) by ctl

various logic definitions

---

Revision 2196 - Directory Listing
Modified Wed Mar 15 22:41:03 2006 UTC (3 years, 8 months ago) by ctl

some very difficult manual proofs

---

Revision 2195 - Directory Listing
Modified Sat Mar 11 00:05:11 2006 UTC (3 years, 8 months ago) by ctl

pretty up the test suite.

---

Revision 2194 - Directory Listing
Modified Fri Mar 10 23:04:24 2006 UTC (3 years, 8 months ago) by ctl

proofs work again, with fancy generic types and all.  17 proofs in test suite all work again.

---

Revision 2193 - Directory Listing
Modified Fri Mar 10 01:11:51 2006 UTC (3 years, 8 months ago) by ctl

pull implicit levels from context

---

Revision 2192 - Directory Listing
Modified Fri Mar 10 00:25:00 2006 UTC (3 years, 8 months ago) by ctl

first step in reformulating parser for context.
also some cleanup.

---

Revision 2191 - Directory Listing
Modified Thu Mar 9 20:47:59 2006 UTC (3 years, 8 months ago) by ctl

midway through restructuring more robust proof code

---

Revision 2190 - Directory Listing
Modified Thu Mar 9 00:06:09 2006 UTC (3 years, 8 months ago) by ctl

another checkpoint with broken proofs

---

Revision 2189 - Directory Listing
Modified Wed Mar 8 23:22:36 2006 UTC (3 years, 8 months ago) by ctl

more sophisticated generics support in parser

---

Revision 2188 - Directory Listing
Modified Wed Mar 8 22:38:47 2006 UTC (3 years, 8 months ago) by ctl

intermediate check-in --- non-working state, but there's just too many changes to kep everything in working copy anymore.

---

Revision 2187 - Directory Listing
Modified Tue Feb 28 03:01:12 2006 UTC (3 years, 8 months ago) by ctl

more related work

---

Revision 2186 - Directory Listing
Modified Thu Feb 23 01:43:52 2006 UTC (3 years, 9 months ago) by ctl

many bug fixes, progress on the message verification front, but unexpected badness on the paradox-avoiding front.

---

Revision 2185 - Directory Listing
Modified Thu Feb 16 20:56:42 2006 UTC (3 years, 9 months ago) by ctl

empty file needed to find modules

---

Revision 2184 - Directory Listing
Modified Thu Feb 16 20:35:37 2006 UTC (3 years, 9 months ago) by ctl

substitute constant

---

Revision 2183 - Directory Listing
Modified Thu Feb 16 20:09:40 2006 UTC (3 years, 9 months ago) by ctl

renaming of modules

---

Revision 2182 - Directory Listing
Modified Thu Feb 16 19:53:32 2006 UTC (3 years, 9 months ago) by ctl

rename directory

---

Revision 2181 - Directory Listing
Modified Thu Feb 16 19:48:59 2006 UTC (3 years, 9 months ago) by ctl

keep old branch around in handy location for now.

---

Revision 2180 - Directory Listing
Modified Thu Feb 16 19:44:35 2006 UTC (3 years, 9 months ago) by ctl

trash old-old files

---

Revision 2179 - Directory Listing
Modified Thu Feb 16 19:40:25 2006 UTC (3 years, 9 months ago) by ctl

various other related works I've been poring over

---

Revision 2178 - Directory Listing
Modified Thu Feb 16 19:36:41 2006 UTC (3 years, 9 months ago) by ctl

a whole bunch of stuff I've failed to check in before...

---

Revision 2177 - Directory Listing
Modified Mon Jan 23 23:07:59 2006 UTC (3 years, 10 months ago) by ctl

some hastily scribbled notes

---

Revision 2176 - Directory Listing
Modified Tue Jan 17 11:02:20 2006 UTC (3 years, 10 months ago) by ctl

notes dump

---

Revision 2175 - Directory Listing
Modified Wed Nov 30 20:40:33 2005 UTC (3 years, 11 months ago) by ctl

checkpoint, postmortem

---

Revision 2174 - Directory Listing
Modified Tue Nov 29 22:14:39 2005 UTC (3 years, 11 months ago) by ctl

sad, sad slides

---

Revision 2173 - Directory Listing
Modified Tue Nov 29 15:47:11 2005 UTC (3 years, 11 months ago) by ctl

pull in skeleton from previous pdos presentation

---

Revision 2172 - Directory Listing
Modified Tue Nov 15 08:04:00 2005 UTC (4 years ago) by ctl

tag for version of paper submitted to IPTPS 2006.

---

Revision 2171 - Directory Listing
Modified Tue Nov 15 08:02:42 2005 UTC (4 years ago) by ctl

submitted PDF

---

Revision 2170 - Directory Listing
Modified Tue Nov 15 08:00:25 2005 UTC (4 years ago) by ctl

submitted version

---

Revision 2169 - Directory Listing
Modified Tue Nov 15 07:26:43 2005 UTC (4 years ago) by ctl

abstract

---

Revision 2168 - Directory Listing
Modified Tue Nov 15 07:18:33 2005 UTC (4 years ago) by ctl

minor related and summary tweaks

---

Revision 2167 - Directory Listing
Modified Tue Nov 15 07:12:19 2005 UTC (4 years ago) by ctl

finished pass over examples

---

Revision 2166 - Directory Listing
Modified Tue Nov 15 06:21:06 2005 UTC (4 years ago) by ctl

frans nits

---

Revision 2165 - Directory Listing
Modified Tue Nov 15 06:07:18 2005 UTC (4 years ago) by ctl

worked up through hashes.

---

Revision 2164 - Directory Listing
Modified Tue Nov 15 05:31:02 2005 UTC (4 years ago) by ctl

footnote

---

Revision 2163 - Directory Listing
Modified Tue Nov 15 05:25:03 2005 UTC (4 years ago) by ctl

work over x.509 and dnssec sections.

---

Revision 2162 - Directory Listing
Modified Tue Nov 15 03:02:44 2005 UTC (4 years ago) by ctl

let's move around cut blocks and see what needs to be salvaged.

---

Revision 2161 - Directory Listing
Modified Tue Nov 15 02:39:30 2005 UTC (4 years ago) by ctl

apply robert's comments

---

Revision 2160 - Directory Listing
Modified Tue Nov 15 01:51:31 2005 UTC (4 years ago) by ctl

some minor wording and formatting clarifications.

---

Revision 2159 - Directory Listing
Modified Tue Nov 15 00:59:19 2005 UTC (4 years ago) by ctl

hack and slash based on frans comments.
improved, but still doesn't flow with the rest.

---

Revision 2158 - Directory Listing
Modified Mon Nov 14 23:55:55 2005 UTC (4 years ago) by ctl

make expression notation less bulky.  much more pleasant to look at now!

---

Revision 2157 - Directory Listing
Modified Mon Nov 14 22:37:16 2005 UTC (4 years ago) by ctl

cargo-cult latex squeezing

---

Revision 2156 - Directory Listing
Modified Mon Nov 14 22:21:54 2005 UTC (4 years ago) by ctl

rule 1: fix the easy things first

---

Revision 2155 - Directory Listing
Modified Mon Nov 14 21:13:09 2005 UTC (4 years ago) by ctl

all sorts of changes, formatting, also fixes to frans's comments to first 3 sections.

---

Revision 2154 - Directory Listing
Modified Mon Nov 14 12:08:00 2005 UTC (4 years ago) by ctl

one more edit.

---

Revision 2153 - Directory Listing
Modified Mon Nov 14 12:06:46 2005 UTC (4 years ago) by ctl

streamline interface section somewhat.
wording tweaked, subsections reorganized to reduce redundancy, figures trimmed.
downside: the actual content of proofs remains put off to the next section.

---

Revision 2152 - Directory Listing
Modified Mon Nov 14 09:04:07 2005 UTC (4 years ago) by ctl

make figure more consistent with text

---

Revision 2151 - Directory Listing
Modified Mon Nov 14 08:49:07 2005 UTC (4 years ago) by ctl

tweak 3.0

---

Revision 2150 - Directory Listing
Modified Mon Nov 14 08:29:34 2005 UTC (4 years ago) by ctl

fix figure labels

---

Revision 2149 - Directory Listing
Modified Mon Nov 14 08:18:08 2005 UTC (4 years ago) by ctl

minor tweaks to wording here and there.  edit figure to be more complete but more complex.

---

Revision 2148 - Directory Listing
Modified Mon Nov 14 07:21:07 2005 UTC (4 years ago) by ctl

tweak intro a bit more; perhaps more comprehensible now.

---

Revision 2147 - Directory Listing
Modified Mon Nov 14 07:09:26 2005 UTC (4 years ago) by ctl

improve accuracy of intro.

---

Revision 2146 - Directory Listing
Modified Mon Nov 14 03:01:09 2005 UTC (4 years ago) by kaashoek

Streamlining intro

---

Revision 2145 - Directory Listing
Modified Sun Nov 13 06:47:55 2005 UTC (4 years ago) by ctl

latex-style quotes, fix some citation locations

---

Revision 2144 - Directory Listing
Modified Sun Nov 13 05:45:49 2005 UTC (4 years ago) by ctl

clarify policy-mechanism in intro, somewhat clarify role of bob.  (robert's comments)

---

Revision 2143 - Directory Listing
Modified Sat Nov 12 23:55:38 2005 UTC (4 years ago) by ctl

snip down intro section.  add more citations.

---

Revision 2142 - Directory Listing
Modified Fri Nov 11 22:18:04 2005 UTC (4 years ago) by ctl

various related works, for reference

---

Revision 2141 - Directory Listing
Modified Fri Nov 11 22:11:48 2005 UTC (4 years ago) by ctl

actually check in the new section

---

Revision 2140 - Directory Listing
Modified Fri Nov 11 22:05:00 2005 UTC (4 years ago) by ctl

motivation section, first draft.
very long.

---

Revision 2139 - Directory Listing
Modified Tue Nov 8 05:39:12 2005 UTC (4 years ago) by ctl

huge quantities of tweaking.
fits under 6 pages!  (6.5 -> 6 achieved by cheating and setting tiny margins)

---

Revision 2138 - Directory Listing
Modified Mon Nov 7 15:29:35 2005 UTC (4 years ago) by ctl

rewrite intro to account for robert's comments.

---

Revision 2137 - Directory Listing
Modified Mon Nov 7 02:35:49 2005 UTC (4 years ago) by ctl

jvm and clr refs

---

Revision 2136 - Directory Listing
Modified Mon Nov 7 02:12:12 2005 UTC (4 years ago) by ctl

I'm a "real" "paper" now.  (summary section)
Now all that's needed is a complete reorganization. 

---

Revision 2135 - Directory Listing
Modified Mon Nov 7 01:33:00 2005 UTC (4 years ago) by ctl

related work section.

---

Revision 2134 - Directory Listing
Modified Sun Nov 6 21:51:34 2005 UTC (4 years ago) by ctl

some bibliography

---

Revision 2133 - Directory Listing
Modified Sun Nov 6 02:23:45 2005 UTC (4 years ago) by ctl

i.e., e.g.,

---

Revision 2132 - Directory Listing
Modified Sun Nov 6 02:20:59 2005 UTC (4 years ago) by ctl

work out pgp example.  start bibliography.

---

Revision 2131 - Directory Listing
Modified Sun Nov 6 00:08:19 2005 UTC (4 years ago) by ctl

dnssec and sdsi

---

Revision 2130 - Directory Listing
Modified Sat Nov 5 22:36:48 2005 UTC (4 years ago) by ctl

partway through examples fleshing-out

---

Revision 2129 - Directory Listing
Modified Sat Nov 5 14:38:38 2005 UTC (4 years ago) by ctl

further tweaks, formatting, wording --- no major reorg.

---

Revision 2128 - Directory Listing
Modified Fri Nov 4 18:47:37 2005 UTC (4 years ago) by ctl

reorganize somewhat; try to address round 1 of frans's comments.

---

Revision 2127 - Directory Listing
Modified Fri Oct 28 17:41:32 2005 UTC (4 years ago) by ctl

start in a tiny bit of implementation section (this may be redundant)

---

Revision 2126 - Directory Listing
Modified Fri Oct 28 17:22:14 2005 UTC (4 years ago) by ctl

fill out rest of interface section

---

Revision 2125 - Directory Listing
Modified Fri Oct 28 14:06:37 2005 UTC (4 years ago) by ctl

formatting change so it compiles

---

Revision 2124 - Directory Listing
Modified Fri Oct 28 13:25:57 2005 UTC (4 years ago) by ctl

convert rest to latex

---

Revision 2123 - Directory Listing
Modified Fri Oct 28 13:21:36 2005 UTC (4 years ago) by ctl

use latex instead of rest

---

Revision 2122 - Directory Listing
Modified Fri Oct 28 13:07:26 2005 UTC (4 years ago) by ctl

ReST modifications

---

Revision 2121 - Directory Listing
Modified Fri Oct 21 13:51:59 2005 UTC (4 years, 1 month ago) by ctl

checkpoint of a draft

---

Revision 2120 - Directory Listing
Modified Thu Oct 6 17:02:42 2005 UTC (4 years, 1 month ago) by ctl

basic outline of certificate subsystem.

---

Revision 2119 - Directory Listing
Modified Fri Sep 23 22:38:24 2005 UTC (4 years, 2 months ago) by ctl

kludge libtool to statically link libuip

---

Revision 2118 - Directory Listing
Modified Fri Sep 23 19:05:30 2005 UTC (4 years, 2 months ago) by ctl

hack in some goo to barely interface with UIP transport.

---

Revision 2117 - Directory Listing
Modified Thu Sep 22 19:57:47 2005 UTC (4 years, 2 months ago) by ctl

a bunch of half-working uipsock interface code --- need to completely rework this.

---

Revision 2116 - Directory Listing
Modified Wed Sep 14 01:17:37 2005 UTC (4 years, 2 months ago) by ctl

some goop to prove UIP-style self-certifying messages.
uses RSA instead of DSA --- don't want to have to hash messages yet!
this goop is really kludgey.  this codebase wants an overhaul badly.

---

Revision 2115 - Directory Listing
Modified Thu Sep 8 22:34:36 2005 UTC (4 years, 2 months ago) by ctl

dsa support

---

Revision 2114 - Directory Listing
Modified Thu Aug 11 21:50:07 2005 UTC (4 years, 3 months ago) by ctl

skeleton of uip support

---

Revision 2113 - Directory Listing
Modified Mon Aug 8 23:14:15 2005 UTC (4 years, 3 months ago) by ctl

various prep for restructuring, integration

---

Revision 2112 - Directory Listing
Modified Thu Aug 4 01:29:55 2005 UTC (4 years, 3 months ago) by ctl

some more todo

---

Revision 2111 - Directory Listing
Modified Wed Aug 3 13:06:14 2005 UTC (4 years, 3 months ago) by ctl

Throw together blecherous example application.

---

Revision 2110 - Directory Listing
Modified Tue Aug 2 21:55:30 2005 UTC (4 years, 3 months ago) by ctl

extensive changes -- encapsulate and refactor all message proving functionality.

---

Revision 2109 - Directory Listing
Modified Thu Jul 28 00:35:38 2005 UTC (4 years, 3 months ago) by ctl

a whole mess of edits in order to refactor certificates, in preparation for incorporating into a test application.
not in a working state!

---

Revision 2108 - Directory Listing
Modified Sat Jul 23 10:29:30 2005 UTC (4 years, 4 months ago) by ctl

now checking messages with real RSA keys.
keys have to be very long (and hence slow to generate) because we're not doing any message hashing.
(This is intentional, since the whole point is to bootstrap that stuff.)

---

Revision 2107 - Directory Listing
Modified Sat Jul 23 09:22:23 2005 UTC (4 years, 4 months ago) by ctl

add hooks to verify messages using the module entry point

---

Revision 2106 - Directory Listing
Modified Sat Jul 23 09:06:28 2005 UTC (4 years, 4 months ago) by ctl

wrote the two-line toplevel stub that would be called by an external module.
still todo: write documentation for this rubbish.

---

Revision 2105 - Directory Listing
Modified Sat Jul 23 08:56:30 2005 UTC (4 years, 4 months ago) by ctl

proofs can be marshaled and unmarshaled

---

Revision 2104 - Directory Listing
Modified Sat Jul 23 08:08:33 2005 UTC (4 years, 4 months ago) by ctl

incorporate marshaling/unmarshaling into expression code directly.
should this really go in another file?  it's not part of the TCB.

---

Revision 2103 - Directory Listing
Modified Sat Jul 23 06:22:33 2005 UTC (4 years, 4 months ago) by ctl

we now have a proof proving itself to a verifier.

---

Revision 2102 - Directory Listing
Modified Sat Jul 23 03:09:28 2005 UTC (4 years, 4 months ago) by ctl

new pretty printer uses proof flattening code.

---

Revision 2101 - Directory Listing
Modified Fri Jun 17 20:57:23 2005 UTC (4 years, 5 months ago) by ctl

prover/verifier interface, mark N.
pretty printing works, but need to hook it up to marshal/unmarshal.

---

Revision 2100 - Directory Listing
Modified Fri Jun 3 00:10:10 2005 UTC (4 years, 5 months ago) by ctl

set up commit email messages.

---

Revision 2099 - Directory Listing
Modified Fri Jun 3 00:07:10 2005 UTC (4 years, 5 months ago) by ctl

get rid of test file

---

Revision 2098 - Directory Listing
Modified Fri Jun 3 00:05:05 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2097 - Directory Listing
Modified Fri Jun 3 00:01:18 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2096 - Directory Listing
Modified Thu Jun 2 23:59:59 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2095 - Directory Listing
Modified Thu Jun 2 23:48:05 2005 UTC (4 years, 5 months ago) by ctl

remove test

---

Revision 2094 - Directory Listing
Modified Thu Jun 2 23:36:57 2005 UTC (4 years, 5 months ago) by ctl

set commit email

---

Revision 2093 - Directory Listing
Modified Thu Jun 2 23:34:05 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2092 - Directory Listing
Modified Thu Jun 2 23:33:47 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2091 - Directory Listing
Modified Thu Jun 2 23:32:55 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2090 - Directory Listing
Modified Thu Jun 2 23:29:03 2005 UTC (4 years, 5 months ago) by ctl

test commit email

---

Revision 2089 - Directory Listing
Modified Thu Jun 2 23:00:55 2005 UTC (4 years, 5 months ago) by golem

make tests more consistent
prepare some notes about proofs

---

Revision 2088 - Directory Listing
Modified Wed May 25 22:50:18 2005 UTC (4 years, 6 months ago) by golem

test

---

Revision 2087 - Directory Listing
Modified Wed May 25 22:49:45 2005 UTC (4 years, 6 months ago) by golem

test

---

Revision 2086 - Directory Listing
Modified Wed May 25 22:48:39 2005 UTC (4 years, 6 months ago) by golem

test

---

Revision 2085 - Directory Listing
Modified Wed May 25 22:47:29 2005 UTC (4 years, 6 months ago) by golem

test

---

Revision 2084 - Directory Listing
Modified Wed May 25 22:44:06 2005 UTC (4 years, 6 months ago) by golem

test commit mail

---

Revision 2083 - Directory Listing
Modified Wed May 25 22:36:22 2005 UTC (4 years, 6 months ago) by golem

test commit

---

Revision 2082 - Directory Listing
Modified Wed May 25 07:02:15 2005 UTC (4 years, 6 months ago) by golem

begin framework for real RSA. (NYI)

---

Revision 2081 - Directory Listing
Modified Wed May 25 06:14:40 2005 UTC (4 years, 6 months ago) by golem

break out witness axiom into separate module

---

Revision 2080 - Directory Listing
Modified Wed May 25 06:08:58 2005 UTC (4 years, 6 months ago) by golem

add RSA snake oil --- for testing purposes only!

---

Revision 2079 - Directory Listing
Modified Wed May 25 05:44:48 2005 UTC (4 years, 6 months ago) by golem

fix representation
test it in message.py

---

Revision 2078 - Directory Listing
Modified Wed May 25 05:43:50 2005 UTC (4 years, 6 months ago) by golem

expose the "representation" function

---

Revision 2077 - Directory Listing
Modified Wed May 25 05:20:08 2005 UTC (4 years, 6 months ago) by golem

both instance axioms are now "key says something"

---

Revision 2076 - Directory Listing
Modified Wed May 25 05:15:05 2005 UTC (4 years, 6 months ago) by golem

fix parser to accept no-argument functions, e.g. constants.

---

Revision 2075 - Directory Listing
Modified Wed May 18 03:04:41 2005 UTC (4 years, 6 months ago) by golem

use s-expressions for representation.  hopefully this will be easier to incorporate into the logic.

---

Revision 2074 - Directory Listing
Modified Wed May 18 02:54:57 2005 UTC (4 years, 6 months ago) by golem

first stab at representation code.  extant problems:
 - doesn't scrub symbols --- should only allow conservative values
 - let's dump this syntax and do s-exps.  so much nicer.

---

Revision 2073 - Directory Listing
Modified Wed May 18 01:47:35 2005 UTC (4 years, 6 months ago) by golem

clean up code a little bit more

---

Revision 2072 - Directory Listing
Modified Wed May 18 01:39:58 2005 UTC (4 years, 6 months ago) by golem

message proof much simplified by use of generalized infer.
next step: extend proof backwards

---

Revision 2071 - Directory Listing
Modified Wed May 18 01:15:58 2005 UTC (4 years, 6 months ago) by golem

since the new implementation is also python, this is a better name.

---

Revision 2070 - Directory Listing
Modified Wed May 18 01:14:38 2005 UTC (4 years, 6 months ago) by golem

great, generalized substitution and inference seems to work.

---

Revision 2069 - Directory Listing
Modified Wed May 18 00:46:35 2005 UTC (4 years, 6 months ago) by golem

further prepare infrastructure for real axioms

---

Revision 2068 - Directory Listing
Modified Wed May 18 00:35:27 2005 UTC (4 years, 6 months ago) by golem

new parser implementation.  a bit ugly, but shorter than the old one...

---

Revision 2067 - Directory Listing
Modified Tue May 17 22:58:17 2005 UTC (4 years, 6 months ago) by golem

fit in the generalized inferencer; start to build up axioms (NYI)

---

Revision 2066 - Directory Listing
Modified Mon May 16 07:09:46 2005 UTC (4 years, 6 months ago) by golem

fix subtle substitution bug

---

Revision 2065 - Directory Listing
Modified Sat May 14 00:21:15 2005 UTC (4 years, 6 months ago) by golem

converted and-elimination-right proof to brave new world.

---

Revision 2064 - Directory Listing
Modified Fri May 13 05:28:11 2005 UTC (4 years, 6 months ago) by golem

proof infrastructure

---

Revision 2063 - Directory Listing
Modified Fri May 13 04:49:40 2005 UTC (4 years, 6 months ago) by golem

first module of brave new implementation --- disturbingly similar to old implementation.

---

Revision 2062 - Directory Listing
Modified Thu May 12 22:35:35 2005 UTC (4 years, 6 months ago) by golem

move all this unwieldy python stuff into its own directoy

---

Revision 2061 - Directory Listing
Modified Thu May 12 22:34:38 2005 UTC (4 years, 6 months ago) by golem

yet another half-assed broken checkpoint

---

Revision 2060 - Directory Listing
Modified Wed May 11 15:07:36 2005 UTC (4 years, 6 months ago) by golem

checkpoint --- nothing works at this point

---

Revision 2059 - Directory Listing
Modified Fri Apr 29 20:59:36 2005 UTC (4 years, 6 months ago) by golem

large portion of a single message proof

---

Revision 2058 - Directory Listing
Modified Fri Apr 29 05:48:19 2005 UTC (4 years, 6 months ago) by golem

logically unsound changes to make says work.
this is only for testing purposes!  burn it all down and start from scratch for final draft.

---

Revision 2057 - Directory Listing
Modified Fri Apr 22 18:15:13 2005 UTC (4 years, 7 months ago) by golem

checkpoint of a couple random changes -- about to restructure entirely

---

Revision 2056 - Directory Listing
Modified Fri Apr 1 16:52:30 2005 UTC (4 years, 7 months ago) by golem

intermediate state I used to demo to Frans.

---

Revision 2055 - Directory Listing
Modified Mon Mar 28 06:55:51 2005 UTC (4 years, 7 months ago) by golem

intermediate state

---

Revision 2054 - Directory Listing
Modified Fri Mar 25 20:15:57 2005 UTC (4 years, 8 months ago) by golem

questionable substitution code.
when is the type checking going to come in?

---

Revision 2053 - Directory Listing
Modified Thu Mar 24 22:06:22 2005 UTC (4 years, 8 months ago) by golem

oops, forgot to check in primary domain file

---

Revision 2052 - Directory Listing
Modified Thu Mar 24 07:25:37 2005 UTC (4 years, 8 months ago) by golem

baby's first proof!

---

Revision 2051 - Directory Listing
Modified Thu Mar 24 00:23:56 2005 UTC (4 years, 8 months ago) by golem

lots of code to fill out Domain class --- not yet working

---

Revision 2050 - Directory Listing
Modified Wed Mar 23 03:54:04 2005 UTC (4 years, 8 months ago) by golem

implemented expression comparison

---

Revision 2049 - Directory Listing
Modified Wed Mar 23 03:08:34 2005 UTC (4 years, 8 months ago) by golem

fix parsing bug --- I really should refactor the "parsing position" code out.

---

Revision 2048 - Directory Listing
Modified Wed Mar 23 03:03:47 2005 UTC (4 years, 8 months ago) by golem

refactor parsing code;
implement semantics
implement substitutions.

---

Revision 2047 - Directory Listing
Modified Fri Mar 18 07:22:15 2005 UTC (4 years, 8 months ago) by golem

some initial parsing code

---

Revision 2046 - Directory Listing
Modified Thu Mar 3 23:04:46 2005 UTC (4 years, 8 months ago) by golem

framework

---

Revision 97 - Directory Listing
Modified Wed Sep 15 22:34:16 2004 UTC (5 years, 2 months ago) by

This commit was manufactured by cvs2svn to create branch 'create'.

---

Revision 5 - Directory Listing
Modified Wed Jun 2 21:21:40 2004 UTC (5 years, 5 months ago) by

This commit was manufactured by cvs2svn to create branch 'initial'.

---

Revision 1 - Directory Listing
Added Wed Jun 2 21:05:56 2004 UTC (5 years, 5 months ago) by

New repository initialized by cvs2svn.