Commit Graph

495 Commits

Author SHA1 Message Date
Jared Tobin
98a3bcc318
Merge branch 'master' into philip/individual-breaches 2019-05-17 20:56:07 +08:00
pilfer-pandex
1e7fe11a6e remove ~&pure-mint from mint (prelude to jet decapitation) 2019-05-15 13:18:41 -07:00
Philip Monk
8cd261451a
Merge remote-tracking branch 'origin/master' into philip/individual-breaches 2019-05-15 11:37:06 -07:00
pilfer-pandex
4b2a3d877e remove +hard, replace with new ;; 2019-05-09 12:46:19 -07:00
pilfer-pandex
6d117664ba merge 2019-05-08 19:05:21 -07:00
pilfer-pandex
c30bea0366 ;; takes spec and hoon; no more 'idempotence' test 2019-05-08 16:32:51 -07:00
pilfer-pandex
46433e4ecc make =| print as =|, not ;; 2019-05-08 15:45:38 -07:00
Philip Monk
e7ac77281e
Merge pull request #1150 from urbit/philip/tis-cen
Add ;< for monadic operations
2019-04-23 16:57:19 -07:00
Fang
e770e9f992
Merge pull request #1151 from urbit/acme-local
%acme: use cert from clay files
2019-04-23 21:38:58 +02:00
Philip Monk
ce45aae608
add ;< 2019-04-18 14:07:21 -07:00
Philip Monk
1be2c1ff1f
add +bake 2019-04-16 14:36:16 -07:00
John Franklin
957788b5fa added ++arm:core, +-arm:core, +$arm:core, +*arm:core to udon parser 2019-04-14 21:12:31 -05:00
Isaac Visintainer
c04d06f905 reverted nap:to bugfix because we depend on its brokenness 2019-04-13 15:31:48 -07:00
ixv
da126f6ea6
Merge branch 'master' into next 2019-04-03 11:18:03 -07:00
Jose L. Bellod Cisneros
397dd6df81 fixes a bug in +nap:to affecting three-item queues 2019-03-30 18:53:05 +01:00
Jared Tobin
925e783513
Minor documentation fix. [ci skip] 2019-03-20 19:17:44 +13:00
Jared Tobin
27fad35eae
Cast more idiomatically. 2019-03-20 10:16:43 +13:00
Jared Tobin
e1fe53ae54
Fix =/ indentation. 2019-03-20 10:10:07 +13:00
Jared Tobin
c65f882408
Minor cosmetic changes.
Indent lengthy subexpressions after using =/.
2019-03-20 09:44:44 +13:00
Jared Tobin
fdb9d0f58d
Replace =+ with =/.
I believe =/ is the superior choice and is worth standardising on.
2019-03-20 09:43:20 +13:00
Jared Tobin
fbfc520f95
Add additional documentation for +ob. 2019-03-19 19:50:58 +13:00
Jared Tobin
0e97c1b92b
Use hex values for cipher arguments. 2019-03-19 19:49:58 +13:00
Jared Tobin
3beac031e6
Minor doc fix.
(The cipher's domain was documented incorrectly.)
2019-03-19 19:49:05 +13:00
Jared Tobin
89748fa179
Allow general PRFs in +ob functions.
This allows us to test the +ob functions exhaustively on smaller input
spaces.
2019-03-18 21:52:58 +13:00
Jared Tobin
758e3e2232
Replace +ob with a corrected version.
'ob', a core that implemented a permutation cipher for planet-sized
atoms, contained a critical bug that allowed multiple inputs to encipher
to the same output.  This created collisions between some planet-sized
@p values.

The rewritten version corrects this bug, and also rewrites +ob to more
clearly match both 1) the paper that the algorithm comes from, and 2)
the parallel implementation in urbit-ob that has gone through an
exhaustive test.

This also adjusts two calls to 'ob' elsewhere in hoon.hoon such that
they match the updated core.
2019-03-18 20:35:20 +13:00
jfranklin9000
34c69c300f added initial image support to udon parser (#1085) 2019-03-01 18:41:12 -08:00
benjamin-tlon
d06693dc7e
Add support to lens-command for pill output and optimized base64 encoding. (#1068)
Added support to `lens-command` for outputting a pill. We want this so that we can create (solid and brass) pills from `urb.py`.

This also adds an optimized base64 encoding routine. The previous version of base64 stack overflowed on large inputs, and a tail-recursive version took hours to encode 5mb of data. This one uses the `ripn` jet and only takes a second or two.
2019-02-27 16:12:59 -08:00
Joe Bryan
4b349d6a63 disables stack traces in +wa (the caching compiler engine) 2019-02-05 19:04:28 -05:00
Joe Bryan
e603aef6b5 Merge branch 'hotfix' into next
* hotfix:
  ensures $~ defaults nest in the actual structure
  behn: ignore duplicate %wait requests (#1043)
  restores +able:dill comment margin
  renames kernel upgrade initialization event from %vega to %lyra
  refactors arvo's +spam:is, which sends a move to every vane
  refactors effect iteration in arvo +poke
  updates arvo/vanes to send/receive %vega kernel upgrade notification
  build tank outside of |.
2019-02-05 18:42:19 -05:00
Joe Bryan
cee6ff1c9b ensures $~ defaults nest in the actual structure 2019-02-05 14:56:55 -05:00
Ted Blackman
141d7ebf6a fix a +has:in call site 2019-01-29 16:42:15 -08:00
Ted Blackman
b75c19e854 +has:in typecheck hack 2019-01-29 16:42:15 -08:00
Fang
8cd2a02f04 Remove trailing whitespace 2019-01-17 21:37:34 -08:00
benjamin-tlon
bf78d3a343
Type Printer Integration (#970)
Moved plum/plume/xray/pprint into the kernel, made it accessible from the dojo, and did a bit of cleanup.
2019-01-10 15:29:58 -08:00
Joe Bryan
9873cd77cf adds explicit types to the sample of +uno:by 2019-01-10 02:33:40 -05:00
Joe Bryan
d318b2cfcf renames +vor to +mor, comments noun-order gates 2019-01-08 22:37:28 -05:00
Joe Bryan
1d2f2ff36a switch +mug to murmur3 2019-01-08 22:07:01 -05:00
Joe Bryan
7f1168aa84 Revert "stage parallel noun-orders, map engine, and compiler"
This reverts commit 52db016fdc.
2019-01-08 22:06:46 -05:00
Joe Bryan
e71afba77d Revert "use +mur in place of +mug"
This reverts commit 5b4ab145cc.
2019-01-08 22:05:14 -05:00
Joe Bryan
ec7cc5a581 removes +lor 2019-01-08 18:10:40 -05:00
Joe Bryan
d0aaea8df5 removes +hor 2019-01-08 18:10:40 -05:00
Joe Bryan
0c4f2f9f14 uses +gor in place of +hor 2019-01-08 18:10:40 -05:00
Joe Bryan
5b4ab145cc use +mur in place of +mug 2019-01-08 18:10:40 -05:00
Joe Bryan
52db016fdc stage parallel noun-orders, map engine, and compiler 2019-01-08 18:10:40 -05:00
Joe Bryan
47d6b95edd renames +mum to +mur 2019-01-07 23:47:01 -05:00
Elliot Glaysher
9828c02473 Remove duplicated code between arvo and hoon
Also removes some dead code from arvo which lets us clean up some
^ in dojo.
2019-01-02 11:09:25 -08:00
Ted Blackman
7ed3a02a92
+slum to call raw nock gate; some associated cleanup (#923) 2018-12-08 18:42:36 -08:00
Elliot Glaysher
946204edd9
Merge pull request #924 from urbit/dont-nuck-in-sloy
Dont nuck in sloy
2018-12-07 15:06:51 -08:00
Elliot Glaysher
e65f374cc1 Also have some more hints. 2018-12-07 14:45:55 -08:00
Ted Blackman
51c7147a3d
Fix turn types (#919)
fix +turn types
2018-12-07 11:40:21 -08:00