Ted Blackman
|
900d923ccc
|
ames: fix aggressive lane timeout (still needs migration)
|
2019-12-01 02:49:46 -05:00 |
|
Philip Monk
|
d6c1ff4e20
|
ames: add routing diagnostics
|
2019-11-30 14:44:57 -08:00 |
|
Ted Blackman
|
071b1a4bbe
|
ames: ~s30 max timeout instead of ~m2
|
2019-11-28 01:17:34 -05:00 |
|
Ted Blackman
|
93604c2f29
|
Merge branch 'rc' of github.com:urbit/urbit into rc
|
2019-11-27 23:06:53 -05:00 |
|
Ted Blackman
|
3779cca5a9
|
ames: try sponsors above .our
|
2019-11-27 23:06:39 -05:00 |
|
Philip Monk
|
23cc21c383
|
ames: remove printf
|
2019-11-27 19:39:12 -08:00 |
|
Ted Blackman
|
e9ba500ee4
|
Merge branch 'rc' of github.com:urbit/urbit into rc
|
2019-11-27 22:31:18 -05:00 |
|
Philip Monk
|
26c5be2948
|
ames: remove printf
|
2019-11-27 18:40:33 -08:00 |
|
Ted Blackman
|
9af7b3954a
|
ames: ignore encrypted packets from alien comets
|
2019-11-27 20:58:18 -05:00 |
|
Philip Monk
|
138cbb5d2e
|
ames: clean up printfs
|
2019-11-27 16:58:26 -08:00 |
|
Philip Monk
|
fdb1069b33
|
ames: printfs
|
2019-11-27 16:43:09 -08:00 |
|
Philip Monk
|
fc74ab2dbd
|
ames: count unsent messages for backpressure
|
2019-11-27 15:58:38 -08:00 |
|
Philip Monk
|
74b0f66850
|
ames: continue processing memos after %done
|
2019-11-27 15:13:17 -08:00 |
|
Philip Monk
|
f035955a36
|
ames: rename alef -> ames
|
2019-11-27 00:46:02 -08:00 |
|
Ted Blackman
|
043f508f27
|
deleted old ames
|
2019-07-22 19:15:16 -07:00 |
|
Joe Bryan
|
dc2483f1f8
|
fixes jet-registration hint in %ames +turf-scry (for profiling)
|
2019-07-11 23:41:54 -07:00 |
|
Fang
|
12b8134c33
|
Merge branch 'v0.8.0rc' into gut-by
|
2019-07-10 01:49:07 +02:00 |
|
Joe Bryan
|
47aaef7904
|
disables spurious condition in %ames ping flow
|
2019-07-02 18:08:06 -07:00 |
|
Fang
|
eb6c8a45ce
|
Replace (fall (~(get by calls with (~(gut by
|
2019-06-30 18:13:34 +02:00 |
|
Jared Tobin
|
b3901ab42f
|
Add 'pkg/arvo/' from commit 'c20e2a185f131ff3f5d3961829bd7a3fe0f227f8'
git-subtree-dir: pkg/arvo
git-subtree-mainline: 9c8f40bf6c
git-subtree-split: c20e2a185f
|
2019-06-28 12:48:05 +08:00 |
|