urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-04 04:35:02 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,178 Commits 768 Branches 10 Tags 215 MiB
a0cd05f889
Commit Graph

907 Commits

Author SHA1 Message Date
Raymond Pasco
a0cd05f889 Add new asymmetric cryptosystem as ++cruc 2016-05-23 15:15:35 -04:00
Raymond Pasco
fbb8c542b8 Merge branch 'web-stream-r', remote-tracking branches 'ohaitch/eyre-absolutish-paths', 'ohaitch/sorted-pick-dole', 'rsaarelm/fix-mug-hoon', 'cgyarvin/bugfix' and 'ray/sec-names' 
Fixed web-stream branch (see that branch for details)
Minor eyre tweaks for more liberal url resolution
Sort clauses of $fork type pretty-printing
Return 31-bit value for pair mug
Fix type-fail in ;;
Rename security driver arms
 2016-04-14 17:52:57 -04:00
C. Guy Yarvin
1018191d8e Added cast to noun to ;;. 2016-04-02 14:21:49 -07:00
Anton Dyudin
b6f3a1939d stop faces falling off of pretty-printed types 
while i'm in here. ++meet alone is a bit general
 2016-03-31 15:12:36 -07:00
Risto Saarelma
3ee968557b Return 31-bit value for pair mug 2016-03-28 11:24:34 +03:00
Anton Dyudin
676aa77afd sort clauses of $fork type pretty-printing 
- fixing unit/tree special cases
- generally show atom before cells and $% cases alphabetically
 2016-03-24 17:33:39 -07:00
Raymond Pasco
e736516911 Change remaining $-(* *) in arvo to gate 
because these ones represent gates to apply, not molds
 2016-03-04 21:17:06 -05:00
Raymond Pasco
96b39223a5 Add ++mold synonym for $-(* *) 
This is to aid the readability of higher-order molds. Now one can have

|*  a/mold
{p/a q/a}

instead of using $- directly.

The old arvo ++mold becomes ++wind. Cards are like the mathematical dual
to stack frames - they're instructions on whether to wind or unwind the
implicit stack.
 2016-03-04 21:15:58 -05:00
Raymond Pasco
a0358c17d9 Merge branches 'breach-20160302' and 'cgyarvin-teaching', remote-tracking branches 'ohaitch/talk-read-component', 'ohaitch/virtualize-pact-hoon' and 'ohaitch/eyre-sec' 
Conflicts:
	arvo/eyre.hoon

Breaching changes for 2016-03-02
Language/dojo improvements for teaching.
add web/listen.hoon module for listening to comment changes
virtualize ++pact %hoon side-path
Eyre security drivers
 2016-03-02 21:21:23 -05:00
Raymond Pasco
64f7f58143 Add ++lune/++nule Unix textfile arms 
++lune parses a cord to a list of lines, which must all be terminated by
a newline. The cord can be the empty string; this gives an empty list of
zero lines. Make sure to validate that any cords you use ++lune on are
either the empty string or end in a final newline; noeol textfiles are
invalid and you must use ++lore on them.

++nule is the inverse operation to ++lune; it takes a list of cords and
joins them into a single cord, with each line in the list terminated by
a newline character. This list can be empty, which will produce the
empty cord.
 2016-02-29 17:04:06 -05:00
C. Guy Yarvin
7b5ad6a307 Reverse =/ and =;. Fix a =^ issue. 2016-02-27 17:04:43 -05:00
C. Guy Yarvin
4a75bfd569 Add :moar syntax. 2016-02-26 11:09:41 -08:00
C. Guy Yarvin
43b4303a88 Some changes for basic doc: naked trap/call, var/rev/:;/:/. 2016-02-26 11:09:41 -08:00
Raymond Pasco
9a0167c99c Merge remote-tracking branches 'philipcmonk/init-reset', 'ohaitch/tree-perf' and 'galenwp/tree-fixes' 
Recompile the kernel on initial merge
Profiling-guided performance fixes
Frontend bugfixes
 2016-02-25 23:47:37 -05:00
Anton Dyudin
342b88a020 swap from: and into: in pi-tell; remove unneeded precision 2016-02-23 12:56:27 -08:00
Raymond Pasco
d690fa46f0 Merge branch 'repoll' 
Change profiler hint syntax: ~$(a ~) to ~$(%a ~)
 2016-02-23 15:33:04 -05:00
C. Guy Yarvin
440ebc4e19 Change ~$(a ~) to ~$(%a ~). 2016-02-23 11:35:16 -08:00
Anton Dyudin
93ccd6e151 Rounder profile counts through fixpoint arithmetic 
Since arms getting sampled is stochastic, there isn't actually much of a benefit to displaying them as raw counts and not "price" percentage point format.
 2016-02-22 23:44:11 -08:00
Anton Dyudin
42dbcefc0c from: treshold tweak, move more things to bottom of profile 2016-02-22 18:18:32 -08:00
Anton Dyudin
4bcf3219fc snip samples of price <10% 2016-02-22 17:11:41 -08:00
Anton Dyudin
87316451d8 sort profiler in increasing order of importance 2016-02-22 15:58:02 -08:00
Raymond Pasco
4b0ca55da3 Merge remote-tracking branches 'ohaitch/uglify-dial', 'ohaitch/fix-parsf' and 'ohaitch/fix-eyre-beak' 
Update type prettyprinting to Hoon 151 compliance
Fix electroplating bug in ++parsf
Don't use invalid "revision 0" in eyre
 2016-02-20 05:27:15 -05:00
Anton Dyudin
8d374e940e convert type printer to hoon151 syntax 2016-02-18 15:53:53 -08:00
Philip C Monk
7268164eba Merge remote-tracking branch 'arvo/master' into HEAD 
Conflicts:
	app/hood.hoon
	arvo/ford.hoon
	gen/cat.hoon
	gen/ls.hoon
	gen/ls/subdir.hoon
 2016-02-18 18:52:34 -05:00
Philip C Monk
67cc10f55a Merge tag 'hoon-151' of https://github.com/juped/urbit into transfer 
Hoon 151 merge

%gh crashes on startup

Conflicts:
    urb/urbit.pill
    urb/zod/app/dojo.hoon
    urb/zod/app/hood.hoon
    urb/zod/arvo/eyre.hoon
    urb/zod/arvo/ford.hoon
    urb/zod/arvo/gall.hoon
    urb/zod/arvo/hoon.hoon
    urb/zod/arvo/zuse.hoon
    urb/zod/gen/cat.hoon
    urb/zod/gen/ls.hoon
    urb/zod/gen/ls/subdir.hoon
 2016-02-18 18:31:26 -05:00
Anton Dyudin
9fb151179f sort profiling, omit if empty 2016-02-18 15:26:04 -08:00
Raymond Pasco
ca0fc9e704 Merge remote-tracking branches 'ohaitch/show-wing-tack' and 'cgyarvin/mushy' 
No ~| in ++tack
Fix up more typed .^ issues
 2016-02-18 17:06:12 -05:00
C. Guy Yarvin
90efa87743 Better handling of .^ in ames and ++mink 2016-02-18 13:44:17 -08:00
Anton Dyudin
29daf9a533 Apparently ++tack was also using ~| on wings. 
See #2
 2016-02-17 17:42:08 -08:00
Raymond Pasco
259eb79cb8 Merge remote-tracking branches 'curtis/swaggle', 'anton/fix-init-no-data' and 'anton/fix-generators' 
Conflicts:
	gen/hood/begin.hoon
	gen/moon.hoon

Fix ++swag electroplating-induced bug
Fix boot process for galaxies
Finish 151izing the source tree
 2016-02-17 19:35:36 -05:00
C. Guy Yarvin
dfe5995abf Fix ++swag. 2016-02-17 13:00:37 -08:00
Anton Dyudin
14026b6579 switch find-limb from ~| to show %l 2016-02-16 16:10:52 -08:00
Anton Dyudin
47de9e0f6e added shol:show 2016-02-16 16:10:44 -08:00
Anton Dyudin
8540e1c97c handle ._~~__ many/~[`n/0] compilation properly 
Type was atom/%n, whould be cube/[0 atom/%n]
Cherry-pick of 005903
 2016-02-11 16:32:58 -08:00
Raymond Pasco
309805f5e7 Merge in Hoon 151 
Complicated merge of Hoon 151. This commit is a major sequence point.
 2016-02-10 14:03:28 -05:00
C. Guy Yarvin
7fde2eb242 Keyword/stem changes, final draft. 2016-02-08 19:35:13 -08:00
C. Guy Yarvin
81938c11b6 Generating new stems, double solid. 2016-02-08 18:17:17 -08:00
C. Guy Yarvin
6924491539 Add new keyword names. 2016-02-08 16:21:04 -08:00
Raymond Pasco
d5e097e82a Merge remote-tracking branch 'galenwp/factor' 
Conflicts:
	urb/urbit.pill
	urb/zod/ape/bit.hoon
	urb/zod/arvo/eyre.hoon
	urb/zod/mar/hook.hoon
	urb/zod/pub/bit/fab/hymn.hook
	urb/zod/pub/docs/dev/hoon/principles/1-twigs.md
	urb/zod/pub/docs/dev/hoon/principles/2-syntax.md
	urb/zod/pub/docs/dev/hoon/reference/odors.md
	urb/zod/pub/docs/dev/hoon/reference/pronunciation.md
	urb/zod/pub/docs/dev/hoon/runes/sg/sgcn.md
	urb/zod/pub/docs/dev/hoon/runes/sm.md
	urb/zod/pub/docs/dev/hoon/runes/sm/smsg.md
	urb/zod/pub/docs/dev/hoon/runes/sm/smzz.md
	urb/zod/pub/docs/dev/hoon/runes/ts/tssg.md
	urb/zod/pub/docs/dev/hoon/runes/wt/wthz.md
	urb/zod/pub/docs/dev/hoon/runes/wt/wtls.md
	urb/zod/pub/docs/dev/hoon/runes/zp/zpzp.md
	urb/zod/pub/docs/theory/whitepaper.md
	urb/zod/pub/docs/user/appliance.md
	urb/zod/pub/docs/user/intro.md
	urb/zod/pub/docs/user/talk.md

Merged Galen and Anton's web refactoring work
 2016-02-08 16:14:03 -08:00
C. Guy Yarvin
23d56f11e5 Some naming improvements. 2016-02-06 22:44:56 -08:00
C. Guy Yarvin
b0fd655914 Now with keywords. 2016-02-05 03:47:21 -08:00
C. Guy Yarvin
ed2269120c All stems changed over. 2016-02-05 03:27:26 -08:00
C. Guy Yarvin
26c5cba625 Modified all stems. About to remove old. 2016-02-05 03:10:07 -08:00
C. Guy Yarvin
2393f7c505 Everything changed over but %tssg, %tstr, %wtbr. 2016-02-05 02:52:10 -08:00
C. Guy Yarvin
d85cdd8e39 Everything except %tsgl through %wtdt. 2016-02-05 02:32:37 -08:00
C. Guy Yarvin
f20fb95a34 Everything but wtts-zpzp and wtkt-wtsg. 2016-02-05 02:22:47 -08:00
C. Guy Yarvin
aeb6ebc036 Still unchecked: tsgl thru zpzp. 2016-02-05 02:05:57 -08:00
C. Guy Yarvin
e52edd5d49 Converted use cases %ktwt and alphabetically above. 2016-02-05 01:58:19 -08:00
C. Guy Yarvin
ce8491f5f2 Keyword stems, step 1. 2016-02-05 01:25:58 -08:00
C. Guy Yarvin
24b1e1c5d2 Convert $+ to $-. 2016-02-03 23:12:23 -08:00