Jared Tobin
57d4ec897d
Merge branch 'la-remove-tiebout' ( #1762 )
...
* la-remove-tiebout:
tiebout: removed since it's unused
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-27 15:39:00 +04:00
Jared Tobin
b93dc72b3c
Merge branch 'la-remove-hall-publish' ( #1759 )
...
* la-remove-hall-publish:
publish: removed unused hall import statements
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-27 15:37:19 +04:00
Benjamin Summers
b8106bc427
Wrote a golden test for map/set conversions.
2019-09-26 16:03:25 -07:00
Logan Allen
707a667d47
hood: remove hall dependency.
2019-09-26 15:03:13 -07:00
Logan Allen
203be550fe
tiebout: removed since it's unused
2019-09-26 14:43:50 -07:00
Logan Allen
23e95e1839
publish: removed unused hall import statements
2019-09-26 14:38:20 -07:00
Benjamin Summers
bfc8d30c9d
Explicitly implement (map -> hoon map) and write simple qc tests.
2019-09-26 14:28:11 -07:00
Benjamin Summers
ee0def33f5
Haskell <-> Hoon conversions for map and set.
2019-09-26 13:29:19 -07:00
Elliot Glaysher
7d78ed73f3
General cleanup
2019-09-26 11:37:19 -07:00
Elliot Glaysher
9765920763
Various cleanups to the validation code.
2019-09-26 11:14:24 -07:00
Elliot Glaysher
89245cae7e
Fixup return types and half-implement the moon case.
2019-09-25 15:52:19 -07:00
Elliot Glaysher
2eacf091e8
Remove commented out imports.
2019-09-25 15:19:24 -07:00
Elliot Glaysher
ec9466d22b
Now with a more filled in Dawn event.
2019-09-25 15:16:48 -07:00
Elliot Glaysher
8b46d2dfc8
Switched from cryptonite to ed25519; key derivation works now!
2019-09-25 14:26:51 -07:00
Elliot Glaysher
5a6c6ff7cc
End of day checkpoint.
2019-09-24 17:15:00 -07:00
Philip Monk
a4dcad7d46
gall: unsubscribe after breach
...
fixes #1431
2019-09-24 15:00:16 -07:00
benjamin-tlon
7db5ef2c6c
Merge pull request #1749 from urbit/kh-demux-state
...
Make multiplexed terminals store state instead of history.
2019-09-24 14:52:09 -07:00
Elliot Glaysher
676a8ee6a6
WIP: Use edwards curve point types from Crypto.ECC.Edwards25519
...
This changes Pass to decode the Ed.Point directly in the type,
instead of having the packed Atom representation or raw ByteStrings.
Added conversion quickchecks and also decoded data off the Ethereum
contracts.
2019-09-24 14:01:39 -07:00
Joe Bryan
89ab6969d4
u3: adds and refines unifying-equality comments
2019-09-24 09:32:41 -07:00
Elliot Glaysher
c3b5dc9b24
Parse the Seed out of the keyfile.
2019-09-23 16:42:12 -07:00
Elliot Glaysher
599432456b
0w0 parsing and quickcheck tests on it and 0v0 parsing.
2019-09-23 15:45:33 -07:00
Elliot Glaysher
5fb7d44d68
Dump before going off to work on 0w0 what is this parsing code.
2019-09-23 14:42:19 -07:00
Joe Bryan
426378e838
u3: moves unification into u3a_wed()
2019-09-21 00:52:24 -07:00
Joe Bryan
e3f76a3bc3
u3: fixes road leap/fall debug printfs
2019-09-20 23:23:22 -07:00
Joe Bryan
a0a0c91ad3
u3: removes obsolete u3h_gut()
2019-09-20 23:22:52 -07:00
Joe Bryan
8b985fccfc
u3: unifies unifying equality (removes u3r_sang/u3r_sung)
2019-09-20 23:22:40 -07:00
Joe Bryan
aa25024e83
u3: refactors unifying equality unification
2019-09-20 23:21:07 -07:00
Joe Bryan
a5599eaab1
u3: minor refactoring of u3r_sing traversals
2019-09-20 23:21:07 -07:00
Joe Bryan
443f593d95
u3: removes u3rz_sing in favor of the pre-existing u3r_sing_c
2019-09-20 23:21:07 -07:00
Joe Bryan
442fdc3fe7
Merge pull request #1753 from urbit/hash-take
...
u3: hashtable improvements, road promotion refactor
2019-09-20 23:20:08 -07:00
Elliot Glaysher
dea512df09
Further filling out of Dawn.
2019-09-20 16:10:03 -07:00
Elliot Glaysher
e422a2ac7d
Ask ENS for azimuth.eth instead of hardcoding
2019-09-20 10:42:48 -07:00
Elliot Glaysher
dc189f3227
Galaxy table gets real pubkeys now.
2019-09-20 10:42:48 -07:00
Jared Tobin
3b01ddbbd2
Merge branch 'la-hall-perf' ( #1751 )
...
* la-hall-perf:
chat: message processing time down to 60ms
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-20 12:12:34 -02:30
Logan Allen
1b87eb2c3c
chat: message processing time down to 60ms
2019-09-20 11:43:30 -02:30
Joe Bryan
7e8186bce1
u3: further refactors u3m_love, removes obsolete ordering concerns
2019-09-19 16:56:08 -07:00
Joe Bryan
f8460c26f6
u3: refactors _cj_hank_find(), removes u3j_site_copy
2019-09-19 16:56:08 -07:00
Joe Bryan
859d0a6102
u3: separates "take" and "reap" in the jet dashboard
2019-09-19 16:56:34 -07:00
Joe Bryan
5baac037ab
u3: separates "take" and "reap" in the bytecode interpreter
2019-09-19 16:56:08 -07:00
Elliot Glaysher
87a9f4e667
Can retrieve the ames domains from Ethereum using web3.
...
Partial support for retrieving the galaxy table, but I'm having
problems converting the public key type.
2019-09-19 15:40:23 -07:00
Philip Monk
2e56034cfc
claz: convert to iris
2019-09-18 17:12:13 -07:00
Benjamin Summers
ff273f0b72
Demuxed terminals now track terminal state instead of terminal history.
...
Before, terminal demuxing used unbounded memory, but now it just tracks
the line state and 20 lines of history.
2019-09-18 16:11:06 -07:00
Benjamin Summers
dcb25bbbb8
Track terminal state in pure code.
2019-09-18 15:07:53 -07:00
Elliot Glaysher
31403543b8
Make it build
2019-09-18 11:05:36 -07:00
Elliot Glaysher
ba9bd01e35
Merge branch 'king-haskell' into king-exit-cleanly
2019-09-18 11:02:46 -07:00
Benjamin Summers
d3d42a7fdd
Re-enable local terminal (non-daemon mode) + cancelWait cleanup.
2019-09-18 10:55:21 -07:00
Elliot Glaysher
f417c084a4
Merge remote-tracking branch 'origin/king-haskell' into king-exit-cleanly
2019-09-18 10:38:20 -07:00
Jared Tobin
940ec12910
Merge branch 'liam-fitzgerald/xml-cdata-support' ( #1670 )
...
* liam-fitzgerald/xml-cdata-support:
pills: update solid
zuse: add en-xml:html and de-xml:html tests
zuse: fix comment parsing in de-xml:html
zuse: added CDATA support to de-xml:html
2019-09-18 13:31:39 -02:30
Benjamin Summers
b1a9dff197
Fixes live-lock by changing type of Vere.Term.API.Client.give to take [Term.Ev].
2019-09-18 02:11:18 -07:00
Benjamin Summers
6b8e88fdd8
Was replaying terminal events in the wrong order.
2019-09-18 01:08:13 -07:00
Benjamin Summers
24bc28e834
Hooked up a remote terminal, it runs but doesn't work yet.
2019-09-18 00:24:10 -07:00
Benjamin Summers
4c3342f9c6
External terminals get added to the demuxed terminal set.
2019-09-17 23:59:07 -07:00
Benjamin Summers
09b30bf169
Collect terminal size.
2019-09-17 23:58:42 -07:00
Joe Bryan
865e5b9592
u3: adds comments to inner hashtable struct definitions
2019-09-17 23:41:18 -07:00
Benjamin Summers
cd07b10946
Impement basic support for multiple terminals pretending to be one terminal.
2019-09-17 23:17:54 -07:00
Benjamin Summers
ebf3d3e5c6
Move terminal client API into it's own module.
2019-09-17 22:22:19 -07:00
Benjamin Summers
4fdfab66df
Minor
2019-09-17 22:06:40 -07:00
Benjamin Summers
99dd161b86
Simplify term interface.
2019-09-17 22:01:44 -07:00
Benjamin Summers
c4be3e4a19
Terminal loop cleanup.
2019-09-17 21:41:31 -07:00
Benjamin Summers
1523241b82
Got tests working again.
2019-09-17 20:33:38 -07:00
Benjamin Summers
da7190008c
Move top-level into it's own module.
2019-09-17 20:14:49 -07:00
Benjamin Summers
4214ee45ac
Merge branch 'king-haskell' of github.com:urbit/urbit into king-haskell
2019-09-17 20:01:34 -07:00
benjamin-tlon
5939737c43
Merge pull request #1744 from urbit/king-spinner
...
Terminal spinner implementation in King Haskell.
2019-09-17 19:56:43 -07:00
Benjamin Summers
0b667d8073
Merge branch 'king-haskell' of github.com:urbit/urbit into king-boot-pb
2019-09-17 19:54:08 -07:00
Benjamin Summers
2e5b1de297
Added dhall config sketch.
2019-09-17 19:50:11 -07:00
Benjamin Summers
26f5964ef7
Move lockfile logic into it's own file.
2019-09-17 19:45:51 -07:00
Joe Bryan
8059d10957
u3: adds u3h_take/with hashtable road promotion
2019-09-17 18:31:43 -07:00
Joe Bryan
1d955d67b4
u3: adds u3h_uni hashtable merge
2019-09-17 18:29:33 -07:00
Joe Bryan
b910d178a4
u3: moves u3_put immediately after internals
2019-09-17 18:28:06 -07:00
Joe Bryan
3680c5e7cb
u3: refactors hashtable allocations
2019-09-17 18:27:50 -07:00
Joe Bryan
8338345ac7
u3: adds macros for (most) hashtable shifts and bit-tests
2019-09-17 18:27:50 -07:00
Joe Bryan
a96928ad53
u3: refactors u3h_gut internals to more closely match u3h_git
2019-09-17 18:27:44 -07:00
Joe Bryan
225fba3d19
u3: fixes up whitespace in hashtable initializations
2019-09-17 14:28:57 -07:00
Joe Bryan
408eb0afcf
u3: consistently uses u3k/u3z in hashtable
2019-09-17 14:22:03 -07:00
Elliot Glaysher
7c6a3c2300
Make king shutdown cleanly on a new line.
...
This makes canceling the persistance thread not rethrow an exception
which kills the process, and makes the terminal driver write one
final newline before giving control back to the terminal so the
bash prompt writes to its own line.
2019-09-17 14:00:54 -07:00
Elliot Glaysher
efa396ed82
Makes a progress bar on booting a new ship.
...
Also prints the name of the ship you're trying to boot, along with
whether its a fake or not. Also fixes a regression where we were
trying to acquire a lockfile before the pier directory was created.
2019-09-17 11:56:54 -07:00
Jared Tobin
07fcbd6d29
Merge branch 'pp/rm-nest-find' ( #1643 )
...
* pp/rm-nest-find:
jets: rename ut_find.c -> ut_fond.c
jets: rm nest (keep dext); find was dead code
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-17 14:05:40 -02:30
pilfer-pandex
5c93964d88
jets: rename ut_find.c -> ut_fond.c
2019-09-17 14:02:16 -02:30
pilfer-pandex
42b3be3232
jets: rm nest (keep dext); find was dead code
2019-09-17 14:01:56 -02:30
Joe Bryan
1af7df7bb4
worker: also replaces fd 0/1 so we don't accidentally re-use them
2019-09-17 13:17:26 -02:30
Benjamin Summers
14a5507a93
worker: dup({0,1}) on serf start to prevent accidental use of stdin/stdout.
2019-09-17 13:17:23 -02:30
Elliot Glaysher
c7945689d2
Terminal spinner implementation in King Haskell.
...
This gets a terminal spinner to spin after a short delay like in
vere. This also fixes a bug in termRefreshLine which was screwing
up redisplay of the terminal spinner; it hadn't been translated
from C properly.
2019-09-16 16:51:17 -07:00
Elliot Glaysher
721945d1ba
Merge pull request #1740 from urbit/king-cleanup
...
Further terminal fixes and cleanups
2019-09-16 14:49:09 -07:00
Elliot Glaysher
350e9a8f5b
80 characters + golf
2019-09-13 13:06:13 -07:00
Elliot Glaysher
229870e0cc
Fix atom putfiles + do unicode accumulation correctly.
2019-09-13 11:46:03 -07:00
Elliot Glaysher
9fcbc864b2
WIP for term cleanup
2019-09-13 11:02:52 -07:00
Elliot Glaysher
189f03e285
Stylish + 80 col
2019-09-13 11:02:41 -07:00
Benjamin Summers
707c546cda
Implemented lockfile with correct handling of SIGINT (^C) and SIGTERM (send by kill
).
2019-09-12 23:55:10 -07:00
Elliot Glaysher
13f6d97545
Merge pull request #1725 from urbit/king-sync
...
Clay syncing.
2019-09-12 17:09:05 -07:00
Elliot Glaysher
af7605a7fc
Over the shoulder code review.
2019-09-12 17:08:04 -07:00
Elliot Glaysher
4aeb137ea5
Address comments.
2019-09-12 16:20:15 -07:00
Elliot Glaysher
860f59d46f
Display a progress bar on startup when we have to replay the log.
...
Use the terminal-progress-bar package to display a progress bar
during replay, when there are jobs that need to be replayed. Bumps
the lts resolver so we get access to this package.
2019-09-12 12:49:27 -07:00
Jared Tobin
1a6e5ce9fa
Merge branch 'treapfactor' ( #1724 )
...
* treapfactor:
u3: refactors disabled map treap jets (+int:by and +uni:by)
u3: refactors map treap jets (+by)
u3: refactors disabled set treap jet (+int:in)
u3: refactors set treap jets (+in)
u3: adds u3r_vmean (explicit varargs list), u3x_mean
u3: cleans up xtract.c (mostly style, minor refactoring)
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-12 06:49:54 -02:30
Jared Tobin
5cdbee9418
Merge branch 'muk-alloc-less' ( #1722 )
...
* muk-alloc-less:
u3: rewrites +muk jet to skip heap allocations where possible
Signed-off-by: Jared Tobin <jared@tlon.io>
2019-09-12 06:48:46 -02:30
Elliot Glaysher
3927e4d50a
Clay syncing.
...
This performs all normal filesystem operations. We can take
filesystem hash snapshots on startup, write the contents of an
%ergo to disk, send changes to Urbit with an %into, and finally
delete mount points when they are %ogre.
This doesn't deal with updating an initial filesystem on first
run with -A, or with acquiring a lockfile, which should happen
elsewhere.
Can take filesystem hash snapshots on startup, and can write the
contents of an %ergo to disk.
2019-09-11 16:20:05 -07:00
Joe Bryan
076d3879cd
u3: refactors disabled map treap jets (+int:by and +uni:by)
...
blah by
2019-09-11 13:37:23 -07:00
Joe Bryan
145bf47c27
u3: refactors map treap jets (+by)
2019-09-11 13:32:24 -07:00
Joe Bryan
358088a826
u3: refactors disabled set treap jet (+int:in)
2019-09-11 13:32:25 -07:00
Joe Bryan
722b961d3a
u3: refactors set treap jets (+in)
2019-09-11 13:32:20 -07:00
Joe Bryan
22f10d755f
u3: adds u3r_vmean (explicit varargs list), u3x_mean
2019-09-11 11:15:40 -07:00