Commit Graph

15847 Commits

Author SHA1 Message Date
Logan Allen
8421e236df chat: added temporary chat-two-update mark with new %messages type 2019-11-15 15:27:50 -08:00
Logan Allen
9dd949b8a1 chat: oust correctness fix and js style fix 2019-11-15 13:28:53 -08:00
Logan Allen
b69bb7d7a1 chat-store: factored out functions used in both message and messages 2019-11-15 12:27:35 -08:00
Logan Allen
f9df1b6af4 chat: style fixes 2019-11-15 11:07:40 -08:00
Logan Allen
223fc8c5b4 chat: fixes to cli parser and increased page size in hook 2019-11-14 13:38:53 -08:00
Logan Allen
a97e36d6d6 chat-js: updated to support %messages events 2019-11-14 10:42:55 -08:00
Logan Allen
dcde20c86c sur: added rw-security to replace chat-security 2019-11-14 10:42:55 -08:00
Logan Allen
9cacb12dbc chat: add history functionality. optionally request backlog. 2019-11-14 10:42:52 -08:00
Jared Tobin
a480e3aafd
Merge branch 'philip/core-gol' (#1928)
* philip/core-gol:
  hoon: extend gol check through cores

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-09 18:36:32 +08:00
Philip Monk
e43036d748
hoon: extend gol check through cores
This extends `gol` "backward-inference" typechecking to thread through
cores.  Recall that `gol` is used exclusively for receiving more
specific error messages; these changes should have no effect on programs
which already compile successfully.

Before, this would type-fail on the second `|%`.

```
!:
^+  ^?
    |%
    ++  foo  *@ud
    --
|%
++  foo
  ?:  =(1 1)
    2
  %foo
--
```

With these changes, it gives a mint-nice at `%foo`.  It will also give
you explicit errors if you have the wrong number/names of arms,
including which arms it expects.

This is becoming much more important with static gall, since it's the
first time we've used core subtyping so extensively and in userspace.
2019-11-09 18:25:42 +08:00
Jared Tobin
a244b452ac
Merge branch 'jt/fix-ropsten-pills' (#1924)
* jt/fix-ropsten-pills:
  build: use HEAD in sh/create-ropsten-pills

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-07 20:41:48 +08:00
Jared Tobin
080cd38f0a
tests: add unit tests for SHA hashes, etc. (#1853)
This tests each arm referenced in
https://urbit.org/docs/reference/library/3d/, based on official NIST
test vectors wherever possible.

Squashed commit of the following:

commit 3162b29f4d4d25460647be6ffb18214e602c0f7c
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 16:51:38 2019 +0000

    Update hoon.hoon

commit fe31ab286ad221147c1b6d5d733338bef2a6d39c
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 16:50:19 2019 +0000

    Create hoon.hoon

commit 28051f248694f6280b9803b37c388aab398c2976
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 16:45:38 2019 +0000

    Delete hoon.hoon

commit 186aaa89a1549ae14ab3faaf7c5867ffc84a6eaa
Merge: d0c8ae043 ed57763f1
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 11:43:51 2019 -0500

    Merge pull request #1 from ken-meier/master

    Add files via upload

commit ed57763f1e47c28bebe4f99d1be1cdea151c3d40
Merge: 225987e10 d0c8ae043
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 11:43:18 2019 -0500

    Merge branch 'add-sha-unit-tests' into master

commit 225987e100fe207a599738655d5377c10a171359
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Nov 6 11:28:05 2019 -0500

    Add files via upload

commit d0c8ae04358fa76bd6a3a654eb5f9f38c3fba502
Author: Ken Meier <55196189+ken-meier@users.noreply.github.com>
Date:   Fri Oct 25 19:20:50 2019 +0000

    Added containers for shad, shas, shaf

commit 1c9ac5b89c619b9005f6691aaf271a2992c5660e
Merge: 62f438bf5 7f124db8d
Author: Ken Meier <55196189+ken-meier@users.noreply.github.com>
Date:   Fri Oct 25 18:28:32 2019 +0000

    Merge branch 'master' into add-sha-unit-tests

commit 62f438bf5f754903779a69eb2fec48c1bdb5aae5
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Fri Oct 25 11:03:38 2019 -0400

    Add files via upload

commit 5090ea40a8100197cee415463b9b331920b7dfa3
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Fri Oct 25 11:02:59 2019 -0400

    Add files via upload

commit 9084b1598984476c4fd4ce1e66edbea42166ca72
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Wed Oct 23 20:41:45 2019 -0400

    Add files via upload

commit 4575827736361b687551582a7842951226f38eac
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Thu Oct 24 00:17:07 2019 +0000

    Delete sha.hoon

commit 833e4d6fda5befdbe2a39c92d6971774f476483c
Author: ken-meier <55196189+ken-meier@users.noreply.github.com>
Date:   Fri Oct 18 17:56:41 2019 +0000

    Add files via upload

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-07 17:27:23 +08:00
Jared Tobin
f183a5f669
contributing: update git practice section [ci skip]
Updates our git practice notes regarding long-form commit descriptions
and solid pills, per the urbit-dev thread:

https://groups.google.com/a/urbit.org/d/msg/dev/RLzP6AMAOhM/O8dsJ2rxCQAJ
2019-11-07 17:23:33 +08:00
Jared Tobin
ac26dabd57
Merge branch 'philip/jael-fix' (#1925)
* philip/jael-fix:
  jael: don't update state until you've tested for breach

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-07 16:02:30 +08:00
Philip Monk
23f99e8f85
jael: don't update state until you've tested for breach
We were updating our state and then using that when checking if the rift
had incremented.  This would never be true, since we'd already set the
new state.

Fixes #1852 again
2019-11-06 12:51:33 -08:00
Jared Tobin
fd3756a3b7 build: use HEAD in sh/create-ropsten-pills
If we're not on a branch, e.g. if we've checked out an arbitrary
revision, then 'git branch --show-current' sensibly won't give us any
output, and thus the pills produced by sh/create-ropsten-pills will be
misnamed.

Consuming HEAD with git-rev-parse has the same effect here, and should
work in all cases of interst.
2019-11-06 20:14:51 +09:00
Jared Tobin
d557ea87dc
Merge branch 'slog-priority-style' (#1921)
* slog-priority-style:
  vere: flushes slog output to ensure style isolation

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-06 18:35:11 +08:00
Jared Tobin
24f6309670
Merge branch 'behn-flop-drip' (#1916)
* behn-flop-drip:
  behn: print %drip errors in the correct order

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-06 18:31:45 +08:00
Jared Tobin
3ec88f9bb1
Merge branch 'goad-gall' (#1915)
* goad-gall:
  updates solid pill
  dill: fixes cursor position during boot
  dill: adds %goad automation
  dill: refactors move production
  goad: adds app to unblock :hood if necessary
  hood: adds |goad-gall generator
  gall: restores "not-running" printf
  gall: adds %goad task force agent rebuilds

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-06 17:29:45 +08:00
Jared Tobin
0e6542afd5
Merge branch 'philip/language-server' (#1910)
* philip/language-server:
  language-server: address review comments
  language-server: fix rune typos
  language-server: multiple files and ford
  language-server: namespace libraries
  language-server: cleanup and incremental text sync
  language-server: initial commit

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-06 16:12:26 +08:00
Jared Tobin
144445beb1
Merge branch 'invite-app' (#1901)
* origin/invite-app:
  chat-hook: upgrade from old state and perform invitatory creation and subscription
  invite-hook: crash upon invalid invite received
  changed invite peek interface to /:path/:uid
  invite: add comments and clean up
  chat-js: added invite functionality
  chat-hook: added invite functionality
  app: added invite app and mark converters to JSON

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-06 15:47:05 +08:00
Philip Monk
545fe25cd2
language-server: address review comments 2019-11-05 20:26:33 -08:00
Joe Bryan
8e3e9f23e8 vere: flushes slog output to ensure style isolation 2019-11-05 15:01:32 -08:00
Joe Bryan
8594d2bbbf updates solid pill 2019-11-05 14:56:15 -08:00
Joe Bryan
cafb58b080 dill: fixes cursor position during boot 2019-11-05 14:56:15 -08:00
Joe Bryan
5ace479711 dill: adds %goad automation 2019-11-05 14:56:10 -08:00
Joe Bryan
c930aceec6 dill: refactors move production 2019-11-05 13:08:10 -08:00
Joe Bryan
c43290c9d8 goad: adds app to unblock :hood if necessary 2019-11-05 13:04:27 -08:00
Joe Bryan
c26d547625 hood: adds |goad-gall generator 2019-11-05 13:04:27 -08:00
Joe Bryan
d852d4f159 gall: restores "not-running" printf 2019-11-05 13:04:27 -08:00
Joe Bryan
1b187657cb gall: adds %goad task force agent rebuilds 2019-11-05 13:04:27 -08:00
Logan Allen
8367dfc77b chat-hook: upgrade from old state and perform invitatory creation and subscription 2019-11-05 10:57:10 -08:00
Jared Tobin
3fac197ec1
Merge branch 'eth-watcher-2' (#1895)
* eth-watcher-2: (21 commits)
  eth: move existing chain requests into ethio
  eth-watcher: refactor refresh rate to top of file
  hook: add pool-group-hook for making invite groups
  ethio: add +read-contract for chain state reading
  zuse: add delegated-sending address
  eth: move eth-watcher's request-rpc into ethio lib
  gaze: make compile for latest eth-watcher
  drum: start eth-watcher on boot
  azimuth-tracker: remove deprecated generator
  eth: implement azimuth-tracker using eth-watcher
  eth-watcher: ensure logs always sent oldest-first
  eth-watcher: allow peers to unconfigured watchdogs
  eth-watcher: saner %watch behavior
  eth-watcher: implement %clear poke
  eth-watcher: store logs in state to implement peer
  eth-watcher: move types into /sur file
  eth-watcher: properly tag out-peer-data
  eth-watcher: single update timer loop
  eth-watcher: implement /block peek
  eth: turn azimuth-tracker into eth-watcher
  ...

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-05 17:11:19 +08:00
Jared Tobin
eafd3e50b1
Merge pull request #1902 from urbit/pool-group-hook
Pool group hook
2019-11-05 16:52:01 +08:00
Joe Bryan
6ccc8b65d5 behn: print %drip errors in the correct order 2019-11-05 00:22:53 -08:00
Philip Monk
189f6cc955
language-server: fix rune typos 2019-11-04 23:46:46 -08:00
Philip Monk
0713d3d38c
language-server: multiple files and ford
Handle multiple files by keeping a map of text buffers.  Also use the
Ford parser so we can parse ford runes.  At some point we should load in
libraries when that happens so we have the appropriate types.

This corresponds to hoon-language-server 0.1.1
2019-11-04 18:18:36 -08:00
Jared Tobin
dc1c32406b
Merge branch 'gall-mule-mint' (#1914)
* gall-mule-mint:
  gall: fix virtualization of agent compilation

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-05 08:11:16 +08:00
Logan Allen
1b3c14eeb1 invite-hook: crash upon invalid invite received 2019-11-04 15:37:11 -08:00
Jared Tobin
92e4a3ca18
Merge branch 'jt/arvo-priority' (#1913)
* jt/arvo-priority:
  build: give arvo a high priority

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-05 07:33:05 +08:00
Joe Bryan
ec32a76596 gall: fix virtualization of agent compilation 2019-11-04 15:29:17 -08:00
Jared Tobin
999bc1704e
build: give arvo a high priority
0bdced981e introduced the 'arvo-ropsten' derivation.  Attempting to
install both 'arvo' and 'arvo-ropsten' via nix-env will result in a
priority error; this assigns a higher priority to 'arvo' to resolve the
conflict.

Fixes #1912.
2019-11-05 07:10:04 +08:00
Fang
8c452ef61f
Merge branch 'eth-watcher-2' into pool-group-hook 2019-11-04 20:52:29 +01:00
Fang
5c6c75c7ea
eth: move existing chain requests into ethio
To avoid reimplementing these (on top of ethio) every time. This seems
like a good place to centralize chain request logic going forward.
2019-11-04 18:59:30 +01:00
Fang
dc35958918
eth-watcher: refactor refresh rate to top of file 2019-11-04 18:57:17 +01:00
Philip Monk
8fe859ad49
language-server: namespace libraries 2019-11-03 21:54:04 -08:00
Philip Monk
647c0ddf8b
language-server: cleanup and incremental text sync 2019-11-03 21:46:15 -08:00
Philip Monk
da71dac4ab
language-server: initial commit
A simple language server engine, for use with hoonls.py, which presents
the RPC interface expected by editors.  Features:

- Syntax error detection
- Rune snippets
- Autocomplete
2019-11-03 21:42:35 -08:00
Jared Tobin
988b3a4785
Merge branch 'philip/tab-complete' (#1899)
* philip/tab-complete:
  auto: gain and lose types on ?:
  auto: handle tab in middle of symbol
  auto: support forks
  auto: support autocomplete inside wings
  auto: fix some crashes on strange wet gates
  auto: support multiline tab completion
  auto: don't look in context of non-gold cores
  easy-print: don't crash if type-check crashes
  dojo, drum: change %tab sole-effect to use tanks
  dojo, auto: move insert-magic logic to lib/auto
  dojo, drum: give tab completion as true output
  dojo: add a better function printer
  dojo: add tab completion

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-03 22:09:55 +08:00
Jared Tobin
9c34bbc4c3
Merge branch 'mp-chatcli-link' (#1909)
* mp-chatcli-link:
  chat-cli: Update ;help link

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-11-03 22:06:31 +08:00