Elliot Glaysher
16440eaeb5
Fix TermEfInit so it takes a Ship instead of null
2019-10-01 11:36:46 -07:00
Elliot Glaysher
d96bf9bb52
Booting fake ships other than zod
2019-10-01 11:23:34 -07:00
Elliot Glaysher
51126ec1d4
Make the Behn tests less noisy.
2019-09-27 13:21:07 -07:00
Elliot Glaysher
1c683b3d97
Merge remote-tracking branch 'origin/king-haskell' into king-dawn
...
Does a few small fixups for compilation and to make sure things
still work.
2019-09-27 10:30:26 -07:00
benjamin-tlon
8b951283b0
Merge pull request #1770 from urbit/noun-map-set
...
Haskell <-> Hoon conversions for ?(map set)
2019-09-26 16:09:16 -07:00
Benjamin Summers
b8106bc427
Wrote a golden test for map/set conversions.
2019-09-26 16:03:25 -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
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
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
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
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
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
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
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
