Commit Graph

20890 Commits

Author SHA1 Message Date
Elliot Glaysher
61af5b104e king: patch cleanup 2020-10-22 10:53:28 -04:00
Elliot Glaysher
04ab7b5eb6 king: implement -I and --inject-event-list
This makes it so during `run`, you can inject a series of Events
into your Urbit. The `-I` injection was implemented in Vere, and
has been ported to KH, with the extended `--inject-event-list`
flag which handles a jammed list of events.

Also included is a sample generator which builds a list of events.
2020-10-21 14:39:35 -04:00
Elliot Glaysher
c6de028fc2
Merge pull request #3728 from urbit/kh-fix-newline
Revert "king: fix zig-zag in stderr logging"
2020-10-16 10:30:49 -04:00
Elliot Glaysher
170bede757
Merge pull request #3726 from urbit/kh-make-code
Simplify +code and implement it in KH.
2020-10-16 10:30:00 -04:00
Joe Bryan
33d93cc483
Merge pull request #3703 from urbit/jb/restore-treap-jets
u3: add more jets for list and treap operations
2020-10-15 15:12:10 -07:00
Joe Bryan
d4a34c2b66 u3: updates +all:by/+any:by jets to validate loobean gate product 2020-10-15 14:33:36 -07:00
Joe Bryan
0f1cf42511
Merge pull request #3522 from frodwith/reco-rebase
vere: fix typo in secp reco jet
2020-10-15 12:08:11 -07:00
Elliot Glaysher
aa8634ecdd Revert "king: fix zig-zag in stderr logging"
This reverts commit e9ed97f8a8.
2020-10-15 13:58:41 -04:00
Elliot Glaysher
9e2039ee2f arvo: Simplify the actual +code implemetation in jael. 2020-10-15 13:20:06 -04:00
Elliot Glaysher
16b3edfbd0 king: derive +code from Ring and print login +code on startup
We need to be able to programatically get the +code outside of
Urbit, so add an implementation of the derivation in king haskell.
2020-10-15 13:17:43 -04:00
Joe Bryan
d8e5690487
Merge pull request #3712 from urbit/jb/fixup-treap-jets
u3: cleanup new treap jets, rewrite and enable old
2020-10-14 16:59:16 -07:00
Joe Bryan
b786530de0 test: adds +find regression test, fixes set/map comment typo 2020-10-14 16:32:16 -07:00
Joe Bryan
6eb3890670
Merge pull request #3523 from urbit/jb/restage-leer
vere: adds leer-jet in support of new +to-wain:format
2020-10-14 12:56:17 -07:00
Joe Bryan
8f455a2d03 u3: rewrites and enables +int:by jet 2020-10-14 10:51:54 -07:00
Joe Bryan
0d5b6575b4 u3: adds u3kdb_uni() 2020-10-14 10:51:54 -07:00
Joe Bryan
57d2220d36 u3: refactors and enables +int:in jet, correcting refcounts 2020-10-14 10:51:59 -07:00
Joe Bryan
d095960132 u3: adds u3qdb_wyt declaration 2020-10-14 10:51:54 -07:00
Joe Bryan
6fa50ff69f u3: refactors +urn:by jet, normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
2832307c5d u3: refactors +run:by jet, normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
92dfaeb7eb u3: refactors +key:by jet, simplifying refcounts and normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
beec5c5c51 u3: refactors +apt:by jet, fixing recursion bugs and normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
842f2a8831 u3: refactors +any:by jet, adding tail-recursion and normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
69578a73fc u3: refactors +all:by jet, adding tail-recursion and normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
42c7885302 u3: refactors +run:in jet, normalizing declarations 2020-10-14 10:51:54 -07:00
Joe Bryan
f216db003a u3: refactors +rep:in jet, normalizing declarations 2020-10-14 10:51:50 -07:00
Joe Bryan
4dda88864d
Merge pull request #3701 from urbit/jb/re-re-repn
u3: re-re-enable +repn jet
2020-10-14 09:46:20 -07:00
Joe Bryan
34176e68ea u3: refactors +apt:in jet, fixing recursion bugs and normalizing declarations 2020-10-14 00:23:23 -07:00
Joe Bryan
7f0f77ebb9 u3: rewrites +find jet with necessary uint precision
and fixes end-of-haystack bug
2020-10-13 23:51:45 -07:00
Joe Bryan
d8ada45c35 u3: rewrites +zing jet using u3i_defcons() 2020-10-13 23:51:45 -07:00
Joe Bryan
5088292be3 pill: solid 2020-10-13 20:34:21 -07:00
Joe Bryan
c58c605ebe Merge branch 'release/next-vere' into jb/restore-treap-jets
* release/next-vere: (1707 commits)
  king: fix zig-zag in stderr logging
  u3: refactors +murn/+turn, removing unused variable
  u3: rewrites +skim jet with u3i_defcons()
  u3: rewrites +skip jet with u3i_defcons()
  u3: rewrites +skid jet with u3i_defcons()
  vere: updates ames to only print network send failures once
  u3: cleans up testing protocol, enables gc in mug tests
  u3: refactors and enables gc in jam tests
  u3: cleans up testing protocol, enables gc in hashtable tests
  u3: enables gc in ames and newt tests
  u3: initializes head/tail in u3i_defcons() (under U3_MEMORY_DEBUG)
  king: actually try shutting down the piers
  king: --serf="" is a host option, not a per ship option.
  u3: optimizes +wyt:in jet, gated by compile-time assertion
  u3: further optimizes +lent jet, gated by compile-time assertion
  u3: refactors allocator constants, adds u3a_cells and u3a_maximum
  u3: optimizes +lent jet, avoiding u3i_vint() while possible
  u3: moves cell allocation counter into u3a_celloc()
  u3: fixes memory leak introduced in +murn jet
  u3: fixes mismatches in +div and +dvr jets
  ...
2020-10-13 18:53:32 -07:00
Joe Bryan
c3af1afec1
Merge pull request #3693 from urbit/jb/ames-print-less
vere: updates ames to only print network send failures once
2020-10-13 17:36:13 -07:00
pilfer-pandex
4107ad0e05
Merge pull request #3698 from urbit/pp/log-zag
Fix zigzag in --stderr logging
2020-10-13 16:15:59 -07:00
pilfer-pandex
e9ed97f8a8 king: fix zig-zag in stderr logging 2020-10-13 12:01:04 -07:00
Joe Bryan
cddcf96d75
Merge pull request #3695 from urbit/jb/defcons-redux
u3: improve efficiency of more list jets
2020-10-13 10:59:35 -07:00
Joe Bryan
cabd811091 u3: refactors +murn/+turn, removing unused variable 2020-10-11 00:19:43 -07:00
Joe Bryan
880203ec1d u3: rewrites +skim jet with u3i_defcons() 2020-10-09 16:15:24 -07:00
Joe Bryan
6010f2a866 u3: rewrites +skip jet with u3i_defcons() 2020-10-09 16:13:12 -07:00
Joe Bryan
fda817dc61 u3: rewrites +skid jet with u3i_defcons() 2020-10-09 16:06:28 -07:00
Joe Bryan
e74ca2c0fd vere: updates ames to only print network send failures once 2020-10-09 12:02:50 -07:00
Joe Bryan
21c2f91062
Merge pull request #3688 from urbit/jb/gc-tests
u3: run gc after each unit test suite
2020-10-09 09:55:53 -07:00
Joe Bryan
074b0cc0b0 u3: cleans up testing protocol, enables gc in mug tests 2020-10-08 14:20:30 -07:00
Joe Bryan
2ca626429e u3: refactors and enables gc in jam tests 2020-10-08 14:19:47 -07:00
Joe Bryan
5350dbfbbd u3: cleans up testing protocol, enables gc in hashtable tests 2020-10-08 14:19:47 -07:00
Joe Bryan
84ff37482a u3: enables gc in ames and newt tests 2020-10-08 14:19:37 -07:00
Joe Bryan
cd4a64d93d u3: renames lore.c to leer.c 2020-10-07 20:03:07 -07:00
Joe Bryan
76b854b329 u3: refactors %leer jet 2020-10-07 20:02:50 -07:00
Joe Bryan
4a0e09efa4 u3: updates %leer jet (+to-wain) to use u3i_defcons() 2020-10-07 19:56:15 -07:00
Joe Bryan
c5394b775f Merge branch 'release/next-vere' into jb/restage-leer
* release/next-vere: (57 commits)
  u3: initializes head/tail in u3i_defcons() (under U3_MEMORY_DEBUG)
  king: actually try shutting down the piers
  king: --serf="" is a host option, not a per ship option.
  u3: optimizes +wyt:in jet, gated by compile-time assertion
  u3: further optimizes +lent jet, gated by compile-time assertion
  u3: refactors allocator constants, adds u3a_cells and u3a_maximum
  u3: optimizes +lent jet, avoiding u3i_vint() while possible
  u3: moves cell allocation counter into u3a_celloc()
  u3: fixes memory leak introduced in +murn jet
  u3: fixes mismatches in +div and +dvr jets
  u3: fixes memory leaks in +dvr and +sqt jets
  u3: rewrites +flop jet using new list iteration idiom
  u3: rewrites +weld jet using u3i_defcons()
  u3: rewrites +scag jet using u3i_defcons()
  u3: rewrites +murn jet using u3i_defcons()
  u3: rewrites +turn jet using u3i_defcons()
  u3: adds u3i_defcons(), deferred cell constructor
  vere: add missing function comment
  vere: use h2o functions for finding cookie header
  vere: put runtime http bindings under /~_~
  ...
2020-10-07 19:48:58 -07:00
Joe Bryan
9aa9ad7ad2
Merge pull request #3666 from urbit/jb/necessary-precision
u3: replaces arbitrary-precision math in +lent and +wyt:in jets
2020-10-07 18:45:25 -07:00