Commit Graph

2273 Commits

Author SHA1 Message Date
Joseph Bryan
4bae655fd7 updates ++ept to transitively verify map constraints 2016-10-05 12:14:02 -04:00
Joseph Bryan
d12044ab31 updates ++apt to transitively verify set constraints 2016-10-05 12:02:30 -04:00
Joseph Bryan
e7cb6dba8e removes +-gaf:by
(can't pretty-print key, so it's not much help)
2016-09-29 16:55:09 -04:00
Joseph Bryan
cf21f3e89b renames ++hump to ++hemp (in 2eP) to avoid name collision 2016-09-28 01:37:17 -04:00
Joseph Bryan
114b5b7d3f removes duplicate arms in %zuse and %dill 2016-09-28 01:26:38 -04:00
Joseph Bryan
ba36ba0e8e fixes +-key:by (produce a valid set by using +-put:in) 2016-09-26 11:46:50 -04:00
Joseph Bryan
f25d196ae2 updates ++cass and ++cuss to return a tape instead of a cord 2016-09-08 15:10:37 -04:00
Anton Dyudin
2113b4d6e1 show "Redirecting..." page for cross-ship redirects 2016-09-06 13:05:36 -07:00
Anton Dyudin
c82014d4be clear ship= cookie on /~/away 2016-09-06 13:04:25 -07:00
Joseph Bryan
7ca92dd6ed serve css from the current desk 2016-08-27 00:31:28 -04:00
Raymond Pasco
2433a3f101 Merge remote-tracking branches 'ohaitch/robots-back-in-eyre', 'Fang/oust', 'ohaitch/warn-pump-blocked', 'joemfb/moon-talk', 'yebyen/master', 'ohaitch/fix-login-css' and 'ray/repope-rep'
Reinstate robots.txt hardcoded into eyre hack
Add ++oust, arm to remove items from a list
Pump blocked printf for security driver requests
Allow moons to link to parent's talk
Rekey ~del for new crypto era
Use absolute path for login page CSS
Rekey ~rep for new crypto era
2016-08-26 17:03:08 -04:00
Raymond Pasco
859a96cf6d Rekey ~rep for crypto B era 2016-08-26 17:00:58 -04:00
Anton Dyudin
0ec6f47642 Absolute path for login CSS 2016-08-25 14:54:48 -07:00
Kingdon Barrett
c903b0d6f6 update fingerprint for new crypto
please accept my proof of identity as ~del
2016-08-22 20:26:45 -04:00
Anton Dyudin
64cf7698cf use mint instead of slot, nest, play
I think the slowness was in the slot, in per-road compiler cache; at any rate, fixed now
2016-08-22 14:48:05 -07:00
Anton Dyudin
df9134cc60 use compiler cache in ++ap-slam check 2016-08-22 13:38:15 -07:00
Fang
cd0416d39f Updated ++cite to be compatible with star moons, short planet moons and short comets. 2016-08-21 20:38:24 +02:00
Anton Dyudin
3cecb280fd print "pump blocked" on sequentialized sec/ requests 2016-08-19 10:17:38 -07:00
Philip C Monk
25f071acf3 bump protocol number to 5 2016-08-15 16:16:40 -04:00
Raymond Pasco
a1e21b9d66 Use !. to prevent stack overflows in zuse 2016-08-15 14:21:26 -04:00
Raymond Pasco
b5dca87907 Calculate number of blocks from length in CTR mode 2016-08-15 14:00:23 -04:00
Anton Dyudin
f47db234e4 re-enable sec/ pump on all http responses 2016-08-12 13:31:14 -07:00
Raymond Pasco
38ff23eb6b Add length parameter to AES CTR modes 2016-08-12 03:00:37 -07:00
Raymond Pasco
7e18d9408c Move ++ahem computations inside jetted arms 2016-08-12 00:27:45 -07:00
Philip C Monk
07daf3dcc1 key ~zod, ~ten, ~pub, ~dev, ~bus, and bump protocol 2016-08-12 03:07:01 -04:00
Raymond Pasco
786bce0a79 Merge branches 'breaching-inception' and 'womb' into staging 2016-08-11 19:40:06 -07:00
Raymond Pasco
bbc8381e60 Fix lingering @p bug
It was stupid, as expected
2016-08-11 19:39:37 -07:00
Raymond Pasco
904cc31891 Double system entropy size 2016-08-11 19:39:37 -07:00
Raymond Pasco
26550e0df4 Revert ohaitch/gall-boot-fixes 2016-08-11 17:12:39 -07:00
Anton Dyudin
0a1340e6d9 serialize outbound sec/ requests 2016-08-11 17:07:55 -07:00
Anton Dyudin
ba9d32a705 Continue on failed sec/ http requests 2016-08-11 17:07:55 -07:00
Anton Dyudin
09c037079d better made-* naming in ++vi 2016-08-11 17:07:55 -07:00
Anton Dyudin
7cb741b0fc remove stray sigh-httr (spec) 2016-08-11 17:07:55 -07:00
Fang
f608612b12 Implemented ++oust, for deleting elements from lists. 2016-08-11 21:04:56 +02:00
Raymond Pasco
7cd3d476d3 Switch over crypto to crypto B 2016-08-11 10:57:30 -07:00
Raymond Pasco
7423392cba Merge branch 'scrambler' into breaching-inception
We need new @p
2016-08-11 10:40:59 -07:00
Raymond Pasco
c24c77bc16 Merge remote-tracking branches 'ray/murmur3-hoon', 'ray/full-crub', 'dhaffey/electroll', 'joemfb/talk-foreign', 'joemfb/key-val', 'joemfb/gaf-by', 'dhaffey/peg-zero', 'joemfb/head-tail-electro', 'ohaitch/gall-boot-fixes', 'ohaitch/eyre-no-double-spacing', 'dhaffey/burn-zeroing' and 'philipcmonk/less-clay-sugar'
Correct Murmur3 hash implementation
Fully implemented AES and crub in zuse
Electroplate faces off ++roll etc.
Reject foreign pokes in talk
Arms to retrieve keys and values from maps
Add gas:by variant that rejects collisions
Fix ++peg axis 0 behavior
Electroplate faces off ++head/++tail
Improve type validation in gall
Don't double-space eyre stack traces
Fix improper ^~ zeroing of values
Fix clay bug caused by above fix
2016-08-10 17:11:51 -07:00
Philip C Monk
e482fc81be remove broken sugar 2016-08-10 19:52:28 -04:00
Raymond Pasco
84d1ee87cc Ruin ++crub
acru sucks
2016-08-10 12:17:42 -07:00
Raymond Pasco
b8791effb0 Fix broken CTR mode 2016-08-10 12:17:42 -07:00
Raymond Pasco
daf6f2a948 Write new ++trub test for crub 2016-08-10 12:17:42 -07:00
Raymond Pasco
40a31b550e Remove brew/hail/wear 2016-08-10 12:17:42 -07:00
Raymond Pasco
347faa7cad Use SHA-512 with length for pit:nu:crub seed 2016-08-10 12:17:42 -07:00
Raymond Pasco
1c7d69ad80 Use 512-bit AES-256 SIV and SHA-512 user keys 2016-08-10 12:17:42 -07:00
Raymond Pasco
83a8f71f5f Use pair rather than bare cons in crub result 2016-08-10 12:17:42 -07:00
Raymond Pasco
ba38f7700d Fix lack of key expansion bug in shar:ed 2016-08-10 12:17:41 -07:00
Dan Haffey
fb670851e1 Prevent ++burn:ut from zeroing non-constants. 2016-08-09 02:16:20 -07:00
Joseph Bryan
7d7d70655b electroplates ++head and ++tail 2016-08-05 23:36:32 -04:00
Anton Dyudin
46453684fb fix double-spaced eyre stack trace rendering 2016-08-05 17:10:38 -07:00
Anton Dyudin
82df022181 fix #68 gall slam not being type-checked. 2016-08-05 16:47:07 -07:00
Anton Dyudin
7c13e96c05 keep old core on ++prep fail, fixing #231 2016-08-05 16:15:03 -07:00
Anton Dyudin
d730eb4e44 redundant asserts 2016-08-05 16:15:03 -07:00
Anton Dyudin
897cac2e0c fix #219 permanently fatal "bogus core"
The next-version subscription was happening after the core check.
2016-08-05 16:15:03 -07:00
Raymond Pasco
37de0c8ad8 Fix murmur3 implementation 2016-08-05 09:29:09 -07:00
Dan Haffey
cc470a3023 Fix ++peg discrepancy with jet. 2016-08-03 23:01:46 -07:00
Joseph Bryan
d2acbc2d04 adds ~| printf to +-gaf:by 2016-08-01 14:59:26 -04:00
Joseph Bryan
40a232e642 adds +-gaf:by (non-colliding gas) 2016-07-30 22:20:23 -04:00
Fang
6d5288b79d Moved ++shortship to zuse, renamed to ++cite. 2016-07-29 14:53:42 +02:00
Joseph Bryan
9ab8241e78 adds ++key:by and ++val:by 2016-07-29 04:27:25 -04:00
Joseph Bryan
e6f814683d adds ++team to zuse; reject :talk ++command pokes from foreign ships
... and refactors rejection in :dojo ++peer-sole
2016-07-29 04:04:05 -04:00
Raymond Pasco
166343139c Fix up parser validity
leading ~doz is ok if it's not the only word
leading ~dozzod is never ok
2016-07-26 10:15:17 -07:00
Dan Haffey
9f82c20647 Apply electroplating to roll and reel results. 2016-07-21 11:53:13 -07:00
Raymond Pasco
4e65d73c34 Rekey ~rep due to compromised passphrase 2016-07-13 09:53:50 -07:00
Raymond Pasco
4f93668dcf Key fingerprint for ~rep (Raymond Pasco) 2016-07-12 09:53:02 -07:00
Anton Dyudin
ba6ecf24f9 Allow robots instead of denying them 2016-07-07 11:16:14 -07:00
Anton Dyudin
eceaab80bb Revert "move robots.txt out of %eyre"
This reverts commit a0485c6d30.
2016-07-07 11:14:24 -07:00
Anton Dyudin
2c54668211 Merge remote-tracking branch 'ray/nonbreaching-crypto' into womb 2016-07-06 11:03:36 -07:00
Raymond Pasco
26c674e9ae Merge remote-tracking branches 'ray/nonbreaching-crypto', 'ohaitch/tree-8c94e48', 'joemfb/indx', 'joemfb/dedupe-history', 'ohaitch/userspace-robots-txt', 'philipcmonk/sso-fix', 'dhaffey/da-parser' and 'galenwp/prs'
Conflicts:
	web/talk/main.js

Add ++aes to zuse, and ++crub frontend (unrelated to previous ++crub)
Superseded tree update, merged for historical purposes
Library gates to search lists
Deduplication of dojo history
robots.txt no longer hardcoded in eyre
Fix crash caused by bad eyre cookie
Fix @da parser crash
talk@2ba76c1, tree@ca059b5
2016-07-06 05:42:14 -04:00
Raymond Pasco
d5f23e7a52 Bypass zuse core in jet hierarchy
Otherwise, the jet won't register when booting from a pill
2016-07-06 05:40:40 -04:00
Raymond Pasco
4e01e8f868 Ignore seed width in crub in the proper fashion 2016-07-06 05:40:37 -04:00
Joseph Bryan
057227eca1 adds ++find/++fand (tape/list search) 2016-07-05 12:36:40 -04:00
Dan Haffey
2de8328b4c Fix @da parser crash (#139) 2016-07-03 19:29:36 -07:00
Philip C Monk
9628a46861 fix sso crash 2016-06-30 18:04:23 -04:00
Philip C Monk
7caa16e318 Merge remote-tracking branch 'origin/master' into HEAD
Conflicts:
	web/tree/main.js
2016-06-30 14:39:47 -04:00
Anton Dyudin
a0485c6d30 move robots.txt out of %eyre 2016-06-30 10:56:19 -07:00
Raymond Pasco
40365667c7 Merge remote-tracking branches 'joemfb/run-in', 'max19/master', 'chc4/spin', 'cgyarvin/docs-issue-28' and 'ray/galactic-transactions'
Actually valid +-run:in "map over set" arm
Less loopy ++og PRNG (TODO: better PRNG)
++spin/++spun, "stateful ++turn" arms
Remove syntactically impossible %$ regular form for bunt
Galactic transactions
2016-06-26 00:51:33 -04:00
Raymond Pasco
0a58067d6c Give ~red to Alex Kravets, swap ~rep to Raymond Pasco 2016-06-25 20:34:37 -04:00
C. Guy Yarvin
cb5d4b6e6b Add :bunt to fix docs issue 28. 2016-06-22 13:44:23 -07:00
Charlie Cummings
906411c06c spin and spun 2016-06-21 12:33:50 -04:00
Joseph Bryan
9911308996 fixes run:in (map over a set, producing a set) 2016-06-18 22:29:20 -04:00
Max G
643041bcbe Improve random continuation in ++og 2016-06-18 03:53:09 -04:00
Raymond Pasco
5968c86df7 Remove extremely spammy debug print from ford 2016-06-06 15:19:46 -04:00
Raymond Pasco
5d4c1484b3 Merge remote-tracking branch 'galenwp/eyre-fix'
Conflicts:
	arvo/eyre.hoon

Change placeholder text in eyre login page
2016-06-06 14:28:16 -04:00
Raymond Pasco
84734bf61d Merge remote-tracking branch 'galenwp/clock'
Conflicts:
	web/talk/main.js
	web/tree/main.js
	web/tree/~.main_urb.js

Comments, talk feed, &c
2016-06-06 14:21:21 -04:00
Raymond Pasco
70836c353b Merge remote-tracking branches 'philipcmonk/porcelain' and 'ohaitch/clay-tluc'
Better gh app, various (known broken code)
improve performance for writing files, rebuilding tree
2016-06-06 13:29:55 -04:00
Galen Wolfe-Pauly
aa39d1d214 planet -> your-urbit 2016-06-04 16:45:49 -07:00
production server
bf469e5705 bump protocol to 3 2016-05-27 18:38:03 +00:00
Anton Dyudin
2cc8acd0df normalize %core silks to use numerical revisions
@juped should boot fine now. Filed #145 for the underlying issue.
2016-05-23 15:51:53 -07:00
Anton Dyudin
2fad2d4cf9 rename %hoop cache to %path 2016-05-23 14:16:47 -07:00
Raymond Pasco
f6331f1290 Replace crub with cruc 2016-05-23 15:22:49 -04:00
Raymond Pasco
f045872ff6 Switch ++ob from aesc to muk 2016-05-23 15:20:11 -04:00
Raymond Pasco
e94a08e4dd Refactor murmur3 into ++muk and ++mum 2016-05-23 15:19:40 -04:00
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
bb828c3457 Make ++crub a SIV/ed/curve acru 2016-05-23 05:41:45 -04:00
Max G
4eb75b8269 Take ownership of ~nym 2016-05-19 22:40:35 +03:00
Raymond Pasco
40d6f5f576 Merge remote-tracking branches 'galenwp/wheel', 'zaphar/master' and 'chc4/patch-2'
Style changes, some tree changes, etc
Jeremy Wall: ~ped key fingerprint
Charlie Cummings: ~rys key fingerprint
2016-05-18 20:38:01 -04:00
chc4
6049c527e8 Take ownership of ~rys 2016-05-18 20:06:23 -04:00
Jeremy Wall
0064ed1bf3 Take possession of ~ped.
for ~ramtev-wisbyt:

<said over catholic bible>
  I solemnly swear that I am Jeremy Wall and will treat this
  Galaxy with the respect it deserves.
</said over catholic bible>
2016-05-18 18:47:34 -05:00
C. Guy Yarvin
deb8ddff32 Galaxy table update. 2016-05-18 12:50:24 -07:00