Commit Graph

20788 Commits

Author SHA1 Message Date
Joe Bryan
43425061b0 u3: adds u3i_defcons(), deferred cell constructor 2020-10-06 13:55:29 -07:00
Joe Bryan
6b5be2b5cf
Merge pull request #3577 from urbit/jb/base16-jets
vere: adds jets for en/decoding base16
2020-10-06 10:52:23 -07:00
Elliot Glaysher
51e8924b27
Merge pull request #3549 from urbit/kh-strict
Fix a bunch of strictness issues in King Haskell
2020-10-05 16:57:08 -04:00
Elliot Glaysher
7e117f86b7 king: move internal IPC types to own file
This lets us put a StrictData annotation on these datas, without
touching the rest.
2020-10-05 14:28:17 -04:00
Elliot Glaysher
77a11a82be
Merge branch 'release/next-vere' into kh-strict 2020-10-05 13:26:46 -04:00
Elliot Glaysher
8d3e15c62b king: strictify all parsed nouns
At least some of the parsed plea structures were holding on to the raw
bytestrings through laziness.
2020-10-05 13:16:45 -04:00
Elliot Glaysher
0451953822 king: evaluate text which goes into the log 2020-10-05 13:15:57 -04:00
Elliot Glaysher
37a52136ab king: Use modifyTVar' instead of modifyTVar.
We mostly used modifyTVar', but there were a few lazy cases.
2020-10-05 13:12:22 -04:00
Elliot Glaysher
e7b69c9407 king: use Data.Map.Strict instead of Data.Map. 2020-10-05 13:12:22 -04:00
fang
ba0192f9f1
Merge pull request #3524 from urbit/m/unassume-klr
term: don't print styles in non-interactive mode
2020-10-05 16:13:20 +02:00
Joe Bryan
4415c1c099
Merge pull request #3490 from urbit/jb/moar-pile
u3: use new road-stack api in noun traversals
2020-10-02 15:25:01 -07:00
Joe Bryan
e314d070ea u3: corrects a couple more comments 2020-10-02 14:44:57 -07:00
Joe Bryan
236dd0b894 u3: cleans up comments, fixing typos 2020-10-01 17:14:13 -07:00
Elliot Glaysher
4698659bb2
Merge pull request #3575 from urbit/kh-printing-is-a-slog
King Haskell terminal fixes
2020-10-01 12:14:30 -04:00
Elliot Glaysher
4b2d2b5931 king: more review comments 2020-10-01 11:10:30 -04:00
Joe Bryan
b3746e1cba u3: updates u3qe_de_base16() to use slab api 2020-09-30 18:06:17 -07:00
Joe Bryan
e03c8f34a0 u3: updates u3qe_en_base16() to use slab api 2020-09-30 18:02:14 -07:00
Joe Bryan
9d7f3b99ed Merge branch 'release/next-vere' into jb/base16-jets
* release/next-vere: (47 commits)
  u3: updates u3i_slab implementation to normalize zero-length allocations to 1
  u3: updates u3i_slab_grow() to always zero-initialize new space
  u3: adds debug assertion for atom-allocation internal invariant
  u3: renames word-length in u3i_slab
  u3: removes byte-length from u3i_slab
  u3: tweaks u3s_jam_fib() call sites, correcting byte-length calculation
  u3: minor refactoring/dedupication of slab implementation
  u3: simplifies atom slab-allocation in cue implementations
  u3: removes redundant condition in +dis jet
  u3: adds u3i_chub(), refactors u3i_chubs()
  u3: improves effiency of gmp->u3a_atom conversion
  u3: uses c3_d for length arguments in slab api
  u3: removes redundant bitwidth function in serial.c
  u3: refactors u3s_jam_fib to use slab api
  u3: fixes u3i_slab_grow()
  u3: removes unnecessary zero-initialization in +rip jet
  u3: adds u3i_slab_from(), removes unnecessary uses of u3r_chop()
  u3: removes u3a_slab and friends
  u3: refactors +repn jet using u3i_slab api
  u3: refactors u3i_* atom functions using u3i_slab api
  ...
2020-09-30 17:54:40 -07:00
Joe Bryan
6bc52c0591
Merge pull request #3612 from urbit/jb/slab
u3: replaces atom slab-allocation api for efficiency
2020-09-30 17:49:40 -07:00
Joe Bryan
854279772a Merge branch 'release/next-vere' into jb/slab
* release/next-vere: (23 commits)
  kh: abolish unicode syntax in favor of ascii
  vere: use cue/test handles for repeated packet parsing
  ur: adds missing serial.h include
  u3: updates u3s_cue_xeno() to return error, not bail on oversized atoms
  u3: factors atoms/backrefs back into u3s_cue_xeno()
  u3: renames u3s_cue_sill* to u3s_cue_xeno*
  u3: removes u3s_cue_xeno()
  u3: removes unused atom measurement function in urth.c
  vere: use u3s_cue_sill() for ivory pill
  vere: use u3s_cue_sill for ipc $plea's
  serf: use u3s_cue_sill() for ipc $writ's
  u3: use u3s_cue_sill_with() in u3u_uncram()
  u3: adds u3s_cue_fill and handle-based api
  u3: factors atoms/backrefs out of u3s_cue_xeno
  u3: refactors u3s_cue_bytes() to use road-stack api
  ur: removes unused variables in tests
  ur: cleans up ur_bsr_log()
  ur: cleans up ur_met(), atom measurement
  ur: refactors unsafe jam into a handle-based api
  ur: adds walk_fore variant with a handle-based api for repeated traversal
  ...
2020-09-29 13:01:41 -07:00
Joe Bryan
54d7b85cab u3: updates u3i_slab implementation to normalize zero-length allocations to 1 2020-09-29 12:55:06 -07:00
Joe Bryan
e189aa13a6 u3: updates u3i_slab_grow() to always zero-initialize new space 2020-09-29 12:46:16 -07:00
Joe Bryan
f6279181bb u3: adds debug assertion for atom-allocation internal invariant 2020-09-29 12:36:13 -07:00
Joe Bryan
190297266a u3: renames word-length in u3i_slab 2020-09-29 12:33:37 -07:00
Joe Bryan
e8a042cb25 u3: removes byte-length from u3i_slab 2020-09-29 12:28:22 -07:00
Joe Bryan
5be91ad7b2 u3: tweaks u3s_jam_fib() call sites, correcting byte-length calculation 2020-09-29 12:24:00 -07:00
Joe Bryan
5c8fac43d4 u3: minor refactoring/dedupication of slab implementation 2020-09-29 12:20:48 -07:00
Joe Bryan
187fee0406 u3: simplifies atom slab-allocation in cue implementations 2020-09-29 11:48:28 -07:00
Joe Bryan
c551b2a9ab
Merge pull request #3579 from urbit/jb/ur-handles-ames
vere: adds/uses apis for repeated deserialization
2020-09-29 11:16:48 -07:00
Joe Bryan
ef3ea31683 u3: removes redundant condition in +dis jet 2020-09-28 22:15:22 -07:00
Joe Bryan
1ca3fdcf5e u3: adds u3i_chub(), refactors u3i_chubs() 2020-09-28 18:20:46 -07:00
Joe Bryan
02804f8d21 u3: improves effiency of gmp->u3a_atom conversion 2020-09-28 17:49:41 -07:00
Joe Bryan
cdb94ae70e u3: uses c3_d for length arguments in slab api 2020-09-28 17:49:17 -07:00
Joe Bryan
667a5a71db u3: removes redundant bitwidth function in serial.c 2020-09-28 12:38:27 -07:00
Joe Bryan
f026343713 u3: refactors u3s_jam_fib to use slab api 2020-09-28 12:28:57 -07:00
Joe Bryan
9620fb1545 u3: fixes u3i_slab_grow() 2020-09-28 12:28:57 -07:00
Joe Bryan
a0b7f852ee u3: removes unnecessary zero-initialization in +rip jet 2020-09-28 12:28:57 -07:00
Joe Bryan
ecb9c23e08 u3: adds u3i_slab_from(), removes unnecessary uses of u3r_chop() 2020-09-28 12:28:57 -07:00
Joe Bryan
ea9328a4db u3: removes u3a_slab and friends 2020-09-28 12:28:57 -07:00
Joe Bryan
1116652b2a u3: refactors +repn jet using u3i_slab api 2020-09-28 12:28:57 -07:00
Joe Bryan
58267092fa u3: refactors u3i_* atom functions using u3i_slab api 2020-09-28 12:28:57 -07:00
Joe Bryan
5f75ad0055 u3: moves all use of u3a_slab/slaq to new u3i_slab api 2020-09-28 12:28:57 -07:00
Joe Bryan
c01134bf10 u3: moves slab atom-builder to "imprison" module, refactors 2020-09-28 12:28:46 -07:00
Elliot Glaysher
dd18bf6f0f king: review comments 2020-09-28 10:56:51 -04:00
Joe Bryan
012991310b u3: adds u3a_wtrim(), for shrinking word-aligned allocations 2020-09-25 19:21:18 -07:00
Joe Bryan
4ce4ce1974 u3: adds new bigatom allocation/builder api 2020-09-25 17:21:23 -07:00
Joe Bryan
5ea372be12 vere: adds basic tests for base16 jets 2020-09-25 10:51:35 -07:00
Elliot Glaysher
20a6c0331c king: set initial terminal size and react to resizes
This changes startup so we get the size of the current terminal
to send to Urbit on startup. We then subscribe to terminal size
change notifications and send those to your Urbit via the terminal
muxing system.

In the case where there are multiple terminal connections to your
Urbit, set the terminal size to the minimum of the widths.
2020-09-25 12:40:24 -04:00
Elliot Glaysher
e9f09e32c1 king: put slogs in the muxed scrollback
If you connect to an urbit using the remote terminal code,
slogs would not be printed to them since they were hard
coded to be printed to stderr. This threads slog printing
to the terminal driver, and puts them in scrollback.

(It does not actually fix slogs being printed on one line.)
2020-09-25 12:40:23 -04:00
fang
dc7f9bd08c
Merge pull request #3561 from urbit/m/king-ascii
kh: abolish unicode syntax in favor of ascii
2020-09-25 11:12:23 +02:00