162 Commits

Author	SHA1	Message	Date
Joe Bryan	f91c6c54db	arvo: update bootstrap/lifecycle formulas to be fully static	2022-09-06 11:03:21 -04:00
Philip Monk	d25194c7a3	arvo: reduce priority of lifecycle printfs	2022-05-14 23:59:21 -07:00
Philip Monk	e457a4c15e	Merge remote-tracking branch 'origin/jm/homebase' into philip/tomb	2022-05-14 20:46:09 -07:00
Philip Monk	8f96e8402b	Merge remote-tracking branch 'origin/jo/lull-bump' into philip/tomb	2022-05-14 20:36:14 -07:00
Philip Monk	591bdf458c	Merge branch 'next/arvo' into philip/tomb	2022-05-04 00:45:57 -07:00
Philip Monk	ac6e793aa2	arvo: rename +de to +of	2022-04-22 17:55:42 -07:00
Philip Monk	85fb3502c7	Merge branch 'philip/trie' into philip/tomb	2022-04-07 17:16:14 -07:00
Philip Monk	d46dc282c4	arvo: revert axal to use $	2022-04-07 17:15:59 -07:00
Philip Monk	3096bc8991	Merge branch 'philip/trie' into philip/tomb	2022-04-07 16:31:27 -07:00
Philip Monk	6765a03cac	clay: address review comments	2022-04-07 16:31:12 -07:00
Philip Monk	8084200f81	clay: add norm state, remove mark from %delta blobs	2022-04-06 21:44:50 -07:00
Philip Monk	a51152d1a4	clay: address review comments	2022-04-06 12:16:22 -07:00
Philip Monk	4131821b4f	clay: unify all trie implementations ... We had trie operations independently implemented in +de in arvo, +an:cloy in zuse, +zu in clay, lib/trie, and app/spider. This unifies them all into +de in arvo, aggregating the used operations.	2022-04-06 00:19:38 -07:00
Jōshin	66655a76b8	arvo: $card is (cask)	2022-03-26 09:17:39 -06:00
ryjm	155729ec8b	%home -> %base ... Mostly cosmetic, but also fixes `language-server` and parts of sundry neglected components (the nix build for solid pills, aqua, gaze exports, +help)	2022-03-06 11:55:55 -05:00
Jōshin	9d50957861	arvo: remove $crag, promote $page	2022-03-02 17:59:56 -06:00
Jōshin	8afea3c2ba	arvo: $card is not a cask	2022-03-02 17:38:45 -06:00
Jōshin	02d796cddb	arvo: remove redundant *	2022-03-02 15:07:10 -06:00
Jōshin	6aa72069e3	arvo: introduces $crag ... Also strips out `$` from khan top-level comment. There are arguments for keeping $crag in lull, and on the other side for moving $cast to arvo. This seemed like the most reasonable approach.	2022-02-14 12:46:31 -06:00
Jōshin	575ff61fa6	khan: vane skeleton	2022-01-21 18:48:05 +00:00
Joe Bryan	e8cdafddfc	arvo: refactor |mass output, make vane /whey peek optional	2021-12-16 12:21:21 -05:00
Joe Bryan	32e1ed0a15	arvo: fix type typo (s/mein/mien/g)	2021-12-16 12:15:48 -05:00
Fang	27fcc9b4c3	various: %home -> %base	2021-09-29 22:13:08 +04:00
Ted Blackman	6a1cbf8894	arvo: kelvin version type	2021-07-02 17:40:55 -04:00
Logan Allen	00fa3e7f0d	arvo: add %whiz option that allows one to prime the compiler cache	2021-05-27 12:55:03 -05:00
Logan Allen	7305ce1499	arvo: clean up unnecessary type casts and fix profiling hint	2021-05-26 17:59:00 -05:00
Logan Allen	517ebbbbee	arvo: rename +en-case to +de-case, prime the cache in +settle	2021-05-26 17:12:59 -05:00
Logan Allen	fdec9ebe93	arvo: add +en-case, hoon: remove +sloy	2021-05-26 15:45:39 -05:00
Logan Allen	8ee9382e7b	arvo/hoon: add +sloy, a %da short-circuited +slay to speed up +de-beam and thus +look	2021-05-23 20:34:43 -05:00
Joe Bryan	4b5f6ce1f4	arvo: time goes sideways	2020-12-08 14:49:28 -08:00
Joe Bryan	1e728aa52b	arvo: enables %wyrd kelvin stack sanity check	2020-12-08 01:59:28 -08:00
Joe Bryan	a08ad2306f	arvo: restores previous +load compilation	2020-12-08 00:26:35 -08:00
Joe Bryan	3e577d4ae7	arvo: kelvins	2020-12-07 22:56:01 -08:00
Joe Bryan	c2fb9cfd5c	arvo: cleans up upgrade implemenation	2020-12-07 22:50:00 -08:00
Joe Bryan	2cf29af98c	arvo: moves formal interface gate to the end	2020-12-07 19:35:31 -08:00
Joe Bryan	17736990ed	arvo: full vane names in $sign	2020-12-07 16:30:22 -08:00
Joe Bryan	98f2b8c6b3	arvo: reform of the scry reform	2020-12-07 13:52:12 -08:00
Joe Bryan	115d4f9ac8	arvo: removes $monk	2020-12-07 00:42:09 -08:00
Joe Bryan	358ed5f7a1	arvo: time advances	2020-12-07 00:11:09 -08:00
Joe Bryan	71ecdc60fc	arvo: interface	2020-12-06 23:10:58 -08:00
Joe Bryan	ea06fbed59	arvo: pill reform	2020-12-06 20:53:14 -08:00
Joe Bryan	fcf7e32de4	arvo: remove $hoof	2020-12-06 17:11:38 -08:00
Joe Bryan	48535b7f11	arvo: removes +slix, moves +slid and +slur	2020-12-06 17:10:02 -08:00
Joe Bryan	fb4000b3f0	arvo: adds %wyrd event validation (disabled) ... and switches runtime version to $path	2020-12-06 03:33:43 -08:00
Joe Bryan	ff06ccd2b9	arvo: completes scry reform	2020-12-06 03:33:43 -08:00
Joe Bryan	5bc6d38437	arvo: updates vane interface	2020-12-06 03:33:43 -08:00
Joe Bryan	2c6b1cab44	arvo: removes +sloy-light, updates call sites (%clay, %dill)	2020-12-05 18:45:50 -08:00
Joe Bryan	07b0cb4ca2	arvo: fixes vane-abbreviation handling in +peek:le	2020-12-05 18:22:57 -08:00
Joe Bryan	a5861a1349	hoon: moves |wa and $worm to arvo	2020-12-05 02:32:54 -08:00
Joe Bryan	5a26613a76	arvo: persist vanes by full name, not abbreviation	2020-12-05 00:51:49 -08:00