ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-18 04:11:49 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,179 Commits 6 Branches 0 Tags 164 MiB
e4c37ed9f3
Commit Graph

908 Commits

Author SHA1 Message Date
Raymond Pasco
e4c37ed9f3 Squash subtract-underflow bug in ++ob 2016-05-23 15:17:52 -04:00
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