Ted Blackman
fdd2067e75
gall: review cleanups
2022-05-03 12:49:09 +02:00
Ted Blackman
edf5ec9123
gall: upgrades almost smoothly
2022-05-03 12:49:09 +02:00
Ted Blackman
a4ae79e794
gall: compiles with nonce in wire
2022-05-03 12:49:08 +02:00
yosoyubik
0252d71553
gall: WIP added sub-nonce to state and wire
2022-05-03 12:49:08 +02:00
Philip Monk
53a417dc43
clay: add sprig cache
2022-05-03 01:32:40 -07:00
Philip Monk
21cc132884
clay: rename ford-cache->flow
2022-05-03 00:17:30 -07:00
Philip Monk
8bab16d448
clay: remove -k arms
2022-05-01 17:03:17 -07:00
Philip Monk
0b72164740
clay: remove +build-leak
2022-05-01 16:36:45 -07:00
Philip Monk
c2754662b8
clay: new ford cache
2022-05-01 03:54:03 -07:00
Philip Monk
7219b7e58f
clay: collapse version 12 into 11
2022-04-29 20:44:42 -07:00
Philip Monk
5a5de05518
clay: enable mounting revisions of desks
2022-04-29 18:50:30 -07:00
Philip Monk
a7eaddfdc7
clay: remove ankh
...
ankh was a cache of the current validated blobs, which is no longer
necessary
2022-04-29 17:29:50 -07:00
Philip Monk
60950ade08
clay: cleanup
2022-04-29 15:05:53 -07:00
yosoyubik
02806f63a1
ames: hardcode rift for comets in state upgrade
2022-04-27 06:24:55 +02:00
Philip Monk
ac6e793aa2
arvo: rename +de to +of
2022-04-22 17:55:42 -07:00
yosoyubik
9cb425e0ef
ames: remove unused ames-to-ames %plea logic
...
This seems to have been used in the past for pinging the ship's
sponsor, but was later removed when the :ping app was introduced
2022-04-22 15:49:15 +02:00
yosoyubik
087f24e931
ames: use +trace to print logs
2022-04-22 12:29:16 +02:00
yosoyubik
e2f8e21529
ames: remove sigwut
2022-04-22 12:26:53 +02:00
yosoyubik
471b9be22d
ames: fix emit of parsing old wire log
2022-04-22 12:26:24 +02:00
yosoyubik
91435a92ca
ames: don't drop events with old wires
...
Previously we were dropping events that used old
wires that lacked a rift in them. This seems a
bad behavior because we don't want to destroy a
flow that has not been processed by both ends.
Note: pending a fix to test-old-ames-wire
2022-04-22 12:26:14 +02:00
yosoyubik
6cdebea1af
ames: address review
2022-04-22 12:26:08 +02:00
yosoyubik
60cc44e961
ames: fix cached state in larval upgrade
2022-04-22 12:26:02 +02:00
yosoyubik
1b01455fe5
ames: fix dangling-bone error
2022-04-22 12:25:55 +02:00
Philip Monk
dfd4fc1028
clay: wip
2022-04-19 20:03:32 -07:00
Philip Monk
3b337a14ce
Merge branch 'philip/direct' into philip/tomb
2022-04-13 15:01:25 -07:00
Philip Monk
3a04dc3160
clay: address review comments
2022-04-13 15:00:59 -07:00
Philip Monk
10a2acdcc1
clay: use old requests for now when backfilling
2022-04-13 01:12:05 -07:00
Philip Monk
ce5ef26202
Merge branch 'philip/direct' into philip/tomb
2022-04-13 01:00:23 -07:00
Philip Monk
8805e0ee85
clay: convert all blobs to pages
...
This converts the blob store from having deltas, directs, and
tombstones, to just having direct pages. This simplifies a lot of code,
since we don't have to constantly ensure that deltas always have their
parent available.
This removes the hardcoded text diff logic from clay, which was
previously required for bootstrapping.
Over the wire, we handle both old and new requests and responses
transparently, so communication is normal in both directions across
ships which do or do not have this change.
2022-04-13 00:35:58 -07:00
Philip Monk
bb14c495da
clay: seek wip
2022-04-12 21:02:50 -07:00
Philip Monk
72fa850912
clay: don't download unneeded blobs
2022-04-12 18:31:55 -07:00
Philip Monk
ed00d38166
clay: add |tomb
2022-04-08 21:20:02 -07:00
Philip Monk
78d2d12cca
clay; fix overly cautios tombstoning
2022-04-08 17:28:42 -07:00
Philip Monk
39b7b0a96b
clay: add %tako scry
2022-04-08 16:21:19 -07:00
Philip Monk
07d8187fcc
clay: allow to set norm for past revision
2022-04-08 15:50:35 -07:00
Philip Monk
d71a685b91
clay: add norm to +pick cache
2022-04-07 18:10:00 -07:00
Philip Monk
85fb3502c7
Merge branch 'philip/trie' into philip/tomb
2022-04-07 17:16:14 -07:00
Philip Monk
d46dc282c4
arvo: revert axal to use $
2022-04-07 17:15:59 -07:00
Philip Monk
3096bc8991
Merge branch 'philip/trie' into philip/tomb
2022-04-07 16:31:27 -07:00
Philip Monk
6765a03cac
clay: address review comments
2022-04-07 16:31:12 -07:00
Philip Monk
6dc20bfa7f
clay: trying to find %dead bug
2022-04-07 00:44:49 -07:00
Philip Monk
7482717c02
clay: make +pick fast
2022-04-06 23:16:26 -07:00
Philip Monk
84ccf60b19
clay: add gc routines
2022-04-06 21:45:30 -07:00
Philip Monk
8084200f81
clay: add norm state, remove mark from %delta blobs
2022-04-06 21:44:50 -07:00
fang
13d1c28927
hoon: make manual shorthand type printing prettier
2022-04-06 23:24:43 +02:00
Philip Monk
a51152d1a4
clay: address review comments
2022-04-06 12:16:22 -07:00
Philip Monk
4131821b4f
clay: unify all trie implementations
...
We had trie operations independently implemented in +de in arvo,
+an:cloy in zuse, +zu in clay, lib/trie, and app/spider. This unifies
them all into +de in arvo, aggregating the used operations.
2022-04-06 00:19:38 -07:00
Philip Monk
0f6f2d6321
clay: bump kelvin, refactor
2022-04-06 00:18:23 -07:00
Philip Monk
90a2625016
clay: style
2022-04-05 20:30:52 -07:00
lukechampine
8399b7b96c
ames: add resend timer for attestation requests
2022-04-04 00:19:55 -04:00
Joe Bryan
9a1b3eaf15
Merge pull request #5664 from urbit/jb/type-leak
...
hoon: plug type leak in compiler bootstrap
2022-03-28 09:08:59 -04:00
Philip Monk
90098067f2
clay: extend %tomb to delete all unneeded blobs
2022-03-26 14:37:46 -07:00
Jōshin
66655a76b8
arvo: $card is (cask)
2022-03-26 09:17:39 -06:00
Jōshin
29a6692784
khan: minor whitespace cleanup
2022-03-26 09:17:38 -06:00
Jōshin
83baaaafa0
lull, zuse: cool
2022-03-26 09:17:28 -06:00
Philip Monk
ee3951e2df
clay: require non-dead files at head of remote
2022-03-25 22:15:53 -07:00
Philip Monk
4278d4c8b3
Merge pull request #5673 from urbit/philip/fix-uno
...
hoon: fix +uno:by when map is null
2022-03-25 18:23:32 -07:00
Philip Monk
07d01a0071
Merge branch 'philip/fix-uno' into philip/tomb
2022-03-25 18:11:34 -07:00
Philip Monk
50fb239d2f
hoon: fix +uno:by when map is null
...
This crashed at runtime when `a` is null because it tried to instantiate
`meg`, and that means bunting its argument, and that calls `node`, where
the assert failed.
Wet gates use the bunt of their formal argument, so we use that.
2022-03-25 18:08:13 -07:00
Philip Monk
6e641005a0
clay: add upgrade to %11
2022-03-25 18:02:22 -07:00
Philip Monk
fb3f74f639
clay: prefer life
2022-03-25 15:32:38 -07:00
Philip Monk
ef9521272a
Merge remote-tracking branch 'origin/lf/ford-memory-shit' into philip/tomb
2022-03-25 13:13:24 -07:00
Philip Monk
c5fda496ac
clay: add basic %tomb
2022-03-25 13:13:09 -07:00
Philip Monk
fb05255a83
clay: align comments
2022-03-25 12:38:51 -07:00
Philip Monk
99a10aa7a8
clay: use XX for things that really need to change
2022-03-25 12:33:48 -07:00
Philip Monk
0c3eee07b5
Merge remote-tracking branch 'origin/master' into philip/tomb
2022-03-25 12:21:56 -07:00
Joe Bryan
d937e131a4
hoon: preserve structural sharing by testing subject/product equality in +burp
2022-03-25 10:28:05 -04:00
Joe Bryan
15e570a622
hoon: plug type leak in vase literals by properly burping %hint
2022-03-25 10:27:32 -04:00
Philip Monk
5ff4cc7f66
Merge pull request #5612 from ynx0/story
...
clay: add `story`, a set of tools to support commit messages
2022-03-22 21:49:16 -07:00
Liam Fitzgerald
dd70856188
clay: be careful with subject in ford results
...
This fixes a space leak where the entire ford/clay core would be
included in the ford cache. Heavily reduces memory usage by clay,
reducing total usage from 100-200MB to around 10MB.
2022-03-21 13:02:36 -06:00
Liam Fitzgerald
2def946ded
clay: break out ford memory usage in more detail
...
Instead of reporting a single memory size for built files, marks and
conversions, we now report memory size per path, mark name and mark
pair, respectively.
2022-03-21 12:21:38 -06:00
Jōshin
4be43d5e28
hoon: fix comment whitespace
2022-03-21 10:24:27 -06:00
fang
3df227760f
hoon: hook up $+ for shorthand type rendering
...
Too often when dealing with big types the compiler traces and other such
outputs become hard to read. Wrapping a type as $+(shorthand big-type)
will now print #shorthand in place of the type.
2022-03-10 01:45:18 +01:00
ryjm
155729ec8b
%home -> %base
...
Mostly cosmetic, but also fixes `language-server` and parts of sundry
neglected components (the nix build for solid pills, aqua, gaze exports,
+help)
2022-03-06 11:55:55 -05:00
Jōshin
06fe78ef6e
Merge branch 'next/arvo' into jo/khan
2022-03-02 20:28:44 -06:00
Jōshin
0139550c79
khan: saner tic rollover, remove our
2022-03-02 20:15:44 -06:00
Jōshin
e54e92cfa9
khan: docs
2022-03-02 18:02:20 -06:00
Jōshin
9d50957861
arvo: remove $crag, promote $page
2022-03-02 17:59:56 -06:00
Jōshin
8afea3c2ba
arvo: $card is not a cask
2022-03-02 17:38:45 -06:00
Jōshin
0b507cf498
khan: don't reset tic
...
instead make it a rolling 128-bit integer. 128 bits is the same size as
the +sham space, so is one natural choice for "big enough to never have
to think about this." 64, 32, 16, even 8 bits would probably be fine.
2022-03-02 17:28:10 -06:00
Jōshin
18274090b2
khan: handle multiple %fards in one event
2022-03-02 16:37:46 -06:00
Jōshin
5d7321385f
khan: separate arms by blank comments
2022-03-02 15:09:01 -06:00
Jōshin
1ef958ea25
khan: use +en-beam / +de-beam, wide form
2022-03-02 15:07:38 -06:00
Jōshin
02d796cddb
arvo: remove redundant *
2022-03-02 15:07:10 -06:00
Jōshin
91d390d529
khan: update docs
2022-03-02 13:23:06 -06:00
Jōshin
340f4d5b6c
khan: %fard/%arow use $cage, not $vase
...
Threads should eventually take and produce $cage instead of $vase. Since
%khan is likely to be used by third parties, we write to the eventual
intended API. We ignore the mark on the input $cage (it is safe to
always specify %noun), and we always use %noun as the output mark.
%fyrd now makes more sense. It was previously discarding the type of the
output %arow and re-encoding the raw noun as a vase of the output mark;
it is now performing mark conversion from the mark of the output $cage
to the originally requested output mark.
2022-03-02 13:07:52 -06:00
Yaseen
a57cb822a3
Merge branch 'urbit:master' into story
2022-03-02 12:03:44 -05:00
lukechampine
53a0c87cdb
ames: add sendkeys-packet
2022-03-02 00:56:57 -05:00
lukechampine
df6318acd0
ames: fix comet self-attestation handling
2022-03-02 00:52:48 -05:00
lukechampine
1044d42a15
ames: don't enqueue blobs sent to unknown comets
2022-03-02 00:46:18 -05:00
Jōshin
f5fb214939
khan: initial state version is %0
2022-03-01 23:38:55 -06:00
Jōshin
6ce6e4f504
khan: structural slap, not general slam
2022-03-01 19:34:56 -06:00
Jōshin
2e9b4f5a94
khan: better wire production
...
runs afoul of a likely hoon bug and/or use case for dependent hoon.
2022-03-01 19:33:54 -06:00
Yaseen
70afcbd642
clay: fix bug in fuse
...
Co-authored-by: Philip Monk <phil@pcmonk.me>
2022-02-25 16:34:44 -05:00
Jōshin
a9442040be
khan: alignment
2022-02-25 11:16:47 -08:00
Joe Bryan
ff3bb495d8
hoon: updates %mcgl with an hygienic expansion
2022-02-22 20:39:30 -05:00
Jōshin
d771a4b9ef
khan: randomize tids
...
tid was accidentally getting set to the name of the output mark. As we
don't currently support cancelling threads, there is no reason to
maintain the originally-intended correspondence between tid and conn
request-id.
Take the opportunity to clean up indentation somewhat.
2022-02-19 02:18:49 -08:00
~nallux-dozryl
ab35dd4028
Merge branch 'urbit:master' into master
2022-02-19 09:04:02 +08:00
Yaseen
3d006d60ad
clay: add scry for case existence check
2022-02-18 17:43:38 -05:00
Jōshin
470ae80d4b
khan: cleanup
2022-02-15 22:32:52 -08:00
Jōshin
6aa72069e3
arvo: introduces $crag
...
Also strips out `$` from khan top-level comment.
There are arguments for keeping $crag in lull, and on the other side for
moving $cast to arvo. This seemed like the most reasonable approach.
2022-02-14 12:46:31 -06:00
Jōshin
6d275fe9f3
khan: move =/ down
2022-02-14 09:09:55 -06:00
Jōshin
6c443191a7
khan: name $cast type
2022-02-13 21:13:48 -06:00
Jōshin
044e9015af
Merge branch 'next/arvo' into jo/khan
...
Conflicts:
bin/brass.pill
bin/solid.pill
Resolved by regenerating pills.
2022-02-13 21:00:10 -06:00
Jōshin
1d487a758b
test: full run, happy path
2022-02-13 07:33:03 -08:00
Jōshin
d7608019f2
khan: cleanup, namespace
2022-02-11 22:18:15 -08:00
Jōshin
c0423adea6
khan: parameterized types, nested implementation
...
%fyrd is now implemented in terms of %fard, and likewise %avow in terms
of %arow. State is tracked via wire rather than in a global map.
Unit tests adjusted to match.
2022-02-11 21:58:09 -08:00
Jōshin
ca0a861c5e
zuse: add missing assertions
2022-02-09 14:14:12 -06:00
Liam Fitzgerald
b813580b93
zuse: add ++ns:dejs:format
...
Adds a signed integer JSON parser, i.e. a gate of type $-(json @s)
2022-02-09 13:16:24 -06:00
Jōshin
5ff5082a5d
khan: docs, lift arg vase into (unit)
2022-02-08 12:03:00 -06:00
Jōshin
8123255a62
khan: add %fard/%arow for in-arvo threads
...
These take and produce vases, and assign random tids (rather than
deducing them from the input duct.)
Since %fard does not require mark conversion, we make the mark/beak on
$thread-state optional (and use this to decide whether to send %avow or
%arow.) Provide a state adapter since it's possible that people have
been experimenting with this vane.
This makes the negative case of %avow/%arow kind of clunky, since there
is no content difference, but the following does not seem possible
within the Hoon type system:
=/ gif
?~ p.tad
%arow %avow
[hen %give gif %| p.cag tang]~
2022-02-07 17:51:05 -06:00
Yaseen
ce0fa85e18
story: generators improvements
...
- use desk parameter instead of %base everywhere
- formatting clean up
- make |story-remove take a case instead of an aeon
- make desk param optional for story-set and story-log
2022-02-05 22:50:10 -05:00
Jōshin
64fcd685af
zuse: comment clarifying sk bounds check
2022-02-03 13:52:09 -06:00
Jōshin
4cef7dc38b
bounds-check against sk=1
...
+sign:schnorr crashes on `=(0 sk)`, so the bounds checking code is not
exercised for sk=0. It also crashes on `(gte sk n.domain.c)`, which is
redundant with the size check on sk, so we remove that.
2022-02-03 13:21:21 -06:00
Jōshin
f07f759253
zuse: style cleanup, use +rep/+end
2022-02-03 12:54:27 -06:00
Jōshin
822eb6ea08
Merge branch 'next/arvo' into jo/secp-arvo
2022-02-02 20:34:11 -06:00
Yaseen
b7e0b28220
Merge branch 'urbit:master' into story
2022-01-30 16:03:48 -05:00
Jōshin
21ea32e8ad
khan: +bear allows a full +beak
2022-01-27 22:28:30 -08:00
Jōshin
72981203c8
khan: PR feedback, wip tests
2022-01-27 22:20:31 -08:00
Jōshin
7f6868a06e
khan: strip inner faces from +bear
2022-01-26 21:50:08 -08:00
Jōshin
05a11d57b3
khan: cleanup
...
- only store metadata in the persistent map. just enough to support
(eventual) thread cancellation and output mark lookup.
- try to delete thread state at other failure points not covered by
%kick.
- reflect back the passed output mark rather than form.dais. not sure
about this one yet.
2022-01-26 20:09:36 -08:00
Jōshin
aba5c0303d
khan: del in %kick
2022-01-26 17:45:25 -08:00
Jōshin
1281e1cdbe
khan: functionally done
2022-01-26 17:41:01 -08:00
Jōshin
425bf6b011
khan: accepts thread arguments with marks
2022-01-26 16:26:30 -08:00
Jōshin
8ad57d8bd2
khan: cleanup
2022-01-25 21:28:45 -08:00
Jōshin
12b4c80cf1
khan: wip threads v0
...
super ghetto first pass with a bunch of stuff hard-coded to prevent
sending giant vases over the wire.
2022-01-25 20:08:48 -08:00
Jōshin
fd7d315e3b
khan: wip fyrd
2022-01-25 15:37:48 -08:00
~nallux-dozryl
dd53baa059
Fix comment indent for abs:si
2022-01-24 15:24:01 +08:00
Jōshin
30df250c7d
khan: closer to starting threads
2022-01-22 01:46:59 +00:00
Jōshin
a247113c57
khan: %done task
2022-01-22 01:46:12 +00:00
Jōshin
3cf803129d
khan: basic +call, types
2022-01-21 22:09:01 +00:00
Jōshin
575ff61fa6
khan: vane skeleton
2022-01-21 18:48:05 +00:00
yosoyubik
3d943ec201
ames: ignore missing peer-state on-publ-sponsor
2022-01-18 20:34:32 +01:00
Yaseen
b37fd09fab
clay: implement %base-tako scry under the %s care
2022-01-13 15:56:20 -05:00
jose
f158ebe312
Merge pull request #5532 from urbit/azimuth/jael-fix
...
jael: give new private key to subscribers on %keys new-event
2022-01-12 12:47:21 +01:00
yosoyubik
432d9674f5
jael: don't put conflicting this-su in the subject
2022-01-12 11:01:06 +01:00
Jōshin
71c59737d8
zuse: boundary assertions for schnorr
...
Just assert on mis-sized values.
2022-01-09 05:31:36 +00:00
yosoyubik
fccf99e0a6
jael: refactor new-event for %keys diff
...
this also adds a %rerun %poke to /app/azimuth
2022-01-08 19:28:11 +01:00
yosoyubik
8535563de6
jael: give private key to subscribers on keys diff
...
Triggering this event has been added to /app/azimuth's +on-load
2022-01-08 09:48:28 +01:00
Jōshin
40fbd16036
zuse: schnorr address
2021-12-30 05:46:44 +00:00
Jōshin
cb5983c6ae
zuse: schnorr jet hints
2021-12-30 04:25:31 +00:00
Jōshin
f93457ce9c
zuse: style
2021-12-30 04:14:25 +00:00
Jōshin
0fb3dd5ed0
zuse: cleanup
2021-12-30 00:47:11 +00:00
Jōshin
022ec2867d
zuse: banish byte twiddling from schnorr
...
Actually it's just hidden in +sha-256l:sha now.
2021-12-30 00:42:47 +00:00
Jōshin
57ef17fc91
zuse: signatures were backwards
2021-12-29 23:58:31 +00:00
Jōshin
09294d79bc
zuse: unused ffra
2021-12-29 23:50:16 +00:00
Jōshin
4c6187787f
zuse: remove redundant flips on sig
2021-12-29 23:50:16 +00:00
Jōshin
4f1269b205
zuse: cleanup in schnorr
2021-12-29 23:50:15 +00:00
Jōshin
b296f3912e
zuse: verify:schnorr works
2021-12-29 23:50:15 +00:00
Jōshin
ab4b735471
zuse: sign:schnorr basically done
...
Schnorr's choice of big-endian encoding commits us to some degree of
byte twiddling; try to make this fairly seamless.
2021-12-29 23:49:54 +00:00
