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
|
6b2c2d6211
|
readme: point arvo URL at subtree [ci skip]
This one was still pointing at the deprecated arvo repository.
|
2019-09-20 12:16:50 -02:30 |
|
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 |
|
Jared Tobin
|
1eea634c7c
|
Merge branch 'philip/claz' (#1750)
* philip/claz:
claz: convert to iris
Signed-off-by: Jared Tobin <jared@tlon.io>
|
2019-09-20 11:49:55 -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
|
74eb0a7fde
|
Merge pull request #1747 from urbit/king-exit-cleanly
Make king shutdown cleanly on a new line.
|
2019-09-18 11:06:11 -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-tlon
|
e3b5c8a34d
|
Merge pull request #1748 from urbit/king-external-term-hack
External Terminal Hack
|
2019-09-18 10:58:29 -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-tlon
|
91b969a931
|
Merge pull request #1746 from urbit/king-boot-pb
Makes a progress bar on booting a new ship.
|
2019-09-17 19:56:26 -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 |
|