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

973 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
514b51878f Sync up some names with doc; fix prettyprinting. 2016-04-12 11:00:46 -07:00
C. Guy Yarvin
902fbdf95d Steps toward one-step bootstrap. 2016-04-10 19:23:29 -07:00
C. Guy Yarvin
dcfd3c9b6b Merge remote-tracking branch 'cgyarvin/learning' into learning 2016-04-09 11:00:39 -07:00
C. Guy Yarvin
dbf8c5536c Merge branch 'wombjael' into learning 
Conflicts:
	arvo/zuse.hoon
 2016-04-09 10:59:39 -07:00
C. Guy Yarvin
1018191d8e Added cast to noun to ;;. 2016-04-02 14:21:49 -07:00
C. Guy Yarvin
24a2950b0a Moar learning. 2016-04-01 11:52:50 -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
C. Guy Yarvin
4973e086e7 Cosmetics. 2016-03-30 15:14:02 -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
C. Guy Yarvin
9c96cd6731 Double solid. 2016-03-10 18:33:41 -08:00
C. Guy Yarvin
3236823369 Various fixes. 2016-03-10 09:29:24 -08:00
C. Guy Yarvin
3fef8a2e09 Move diff code to zuse. 2016-03-09 15:56:40 -08: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
5daa7d2592 Merge tag 'hoon-151' into scrambler 
Hoon 151 merge

Conflicts:
	urb/urbit.pill
	urb/zod/arvo/dill.hoon
	urb/zod/arvo/hoon.hoon

Slightly evil: had to remove a ~doznec from lib/helm.hoon
 2016-02-10 15:10:18 -05: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
C. Guy Yarvin
76ab967ef6 About to change over to $-. 2016-02-03 22:59:22 -08:00
C. Guy Yarvin
4267697f9e Fully shifted over to modern typed namespace. 2016-02-03 20:51:01 -08:00
C. Guy Yarvin
779f70559b Ford uses new load model. 2016-02-03 19:32:14 -08:00
C. Guy Yarvin
0657bdee82 More typed .^. 2016-02-03 13:33:43 -08:00
Raymond Pasco
c3f4be83e5 Disallow leading 'zeroes' in @p 
As a consequence, also removed ~doznec special case in dill
 2016-02-03 16:22:06 -05:00
C. Guy Yarvin
631d4b9c04 Fully transitioned to correct %face. 2016-02-02 18:45:11 -08:00
C. Guy Yarvin
c406a58d08 Ready to remove temporary %fuss. 2016-02-02 18:26:22 -08:00
C. Guy Yarvin
af35cff1d6 %face to %fuss. Next change back. 2016-02-02 17:50:34 -08:00
C. Guy Yarvin
1832c14cca Merge remote-tracking branch 'cgyarvin/newdeal' into newdeal 2016-02-02 14:13:21 -08:00
C. Guy Yarvin
84e7c319ae Making typed .^ a little less fake. 2016-02-02 11:52:10 -08:00
C. Guy Yarvin
049f1defb2 151 merge is double solid. 2016-01-31 22:16:26 -08:00
C. Guy Yarvin
25d791e2a4 Merge remote-tracking branch 'upstream/master' into newdeal 2016-01-31 20:37:49 -08:00
C. Guy Yarvin
761f588cc6 Fix various marks, etc. 2016-01-30 19:37:03 -08:00
C. Guy Yarvin
e987337bfb In the middle of internal merge. 2016-01-29 18:25:52 -08:00
Anton Dyudin
e02c79ca6c add dojo support for multi-login 2016-01-27 14:04:51 -08:00
C. Guy Yarvin
d8440e73b3 Some zpgr rationalization. 2016-01-26 11:03:05 -08:00
C. Guy Yarvin
0231d41cb6 .^ fully transitioned. 2016-01-25 16:47:58 -08:00
C. Guy Yarvin
821a7eaac4 Double solid with .# support, still a bit flaky. 2016-01-25 13:29:30 -08:00
C. Guy Yarvin
a1362cf407 Add =;, fix =^, add leading ,. 2016-01-24 20:32:24 -08:00
C. Guy Yarvin
fdc328e71a Enforce type sanity on .=. 2016-01-24 19:37:41 -08:00
C. Guy Yarvin
ce4144c42b Make ++fork actually build set-shaped things. 2016-01-24 14:05:55 -08:00
C. Guy Yarvin
6f97000bdd Double solid with new find. 2016-01-23 19:23:14 -08:00
C. Guy Yarvin
4cb1b566f3 Clean up more leak. 2016-01-23 17:37:49 -08:00
C. Guy Yarvin
6231da3cb0 Fixed some uni bugs. ++fond jet still overflows when on. 2016-01-22 20:59:49 -08:00
C. Guy Yarvin
45cbf5131f ut_find *almost* works, but can't self-compile... 2016-01-22 15:43:56 -08:00
C. Guy Yarvin
fb685aa59f Better wiring for find testing. 2016-01-21 11:13:27 -08:00
C. Guy Yarvin
f40c7addb0 Some cleanups; still debugging ++find. 2016-01-21 09:39:50 -08:00
C. Guy Yarvin
abbc500200 ut_find.c compiles, not yet activated. 2016-01-20 17:35:11 -08:00
C. Guy Yarvin
e462c0b021 Moar cleanup. 2016-01-20 11:34:35 -08:00
C. Guy Yarvin
61513f3f65 Correct void pony. 2016-01-19 17:23:01 -08:00
C. Guy Yarvin
4af8543d2c ++find now produces a ++port. 2016-01-19 15:31:40 -08:00
C. Guy Yarvin
ee6a49d930 Remove some old cruft. 2016-01-19 15:01:36 -08:00
C. Guy Yarvin
ecbc0054d4 Some cleanups. 2016-01-19 14:36:57 -08:00
C. Guy Yarvin
fd0239a332 Checked. 2016-01-19 13:23:53 -08:00
C. Guy Yarvin
17de390bb5 ++ad actually works. 2016-01-19 09:34:43 -08:00
C. Guy Yarvin
c644c4d80d About to test final pyramid structure. 2016-01-18 20:50:49 -08:00
C. Guy Yarvin
ec0c7e628f Ecco is here but doesn't compile. 2016-01-18 20:11:17 -08:00
C. Guy Yarvin
8c637e4087 Cleaned-up ++ad. 2016-01-18 14:31:02 -08:00
C. Guy Yarvin
2bcd15ae1f Looking a little smoother. 2016-01-17 23:41:59 -08:00