Philip Monk
80e22ab7c2
monadify foreign request/update
2019-05-22 17:55:45 -07:00
Elliot Glaysher
57bca9c631
+verify is written, but the whole system doesn't work.
2019-05-22 17:10:18 -07:00
Elliot Glaysher
f9e174a433
First attempt at a +sign which works on ed25519 ring signatures.
...
This is an attempt at implementing optionally linkable ring signatures
in hoon. This vaguely follows adjoint.io's haskell implementation of AOS,
except we make the linkage tag configurable (a trick I first saw with
DEDIS' kyber implementation of the algorithm).
Not only is this crypto code unaudited, it doesn't even work. I can't get
real ed25519 public/private keypairs out of the zuse stdlib, and when using
fake values, I'm getting subtraction-overflow errors, so I've just jammed
a 0 in there for now.
2019-05-21 15:45:10 -07:00
Jared Tobin
ec1b5a2e21
Merge pull request #1169 from urbit/philip/individual-breaches
...
Individual breaches, Clay edition
2019-05-18 05:31:24 +08:00
Philip Monk
959b474ef9
Merge pull request #1174 from urbit/philip/more-clay-monads
...
Clad improvements
2019-05-17 11:37:48 -07:00
Jared Tobin
98a3bcc318
Merge branch 'master' into philip/individual-breaches
2019-05-17 20:56:07 +08:00
Jared Tobin
75e3479a53
Merge pull request #1172 from urbit/jet
...
remove ~&pure-mint from mint (prelude to jet decapitation)
2019-05-17 20:54:33 +08:00
Philip Monk
e412bf808e
factor out the essential clad evaluation
2019-05-16 14:02:21 -07:00
Philip Monk
cba357f5ea
add paths to notes for documentation
2019-05-16 11:50:13 -07:00
Philip Monk
e615814ba4
re-add cross-commit mime cache
2019-05-15 15:50:13 -07: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
Philip Monk
8a56dd8da9
style
2019-05-15 11:07:14 -07:00
Philip Monk
4a569c4a79
fix tests
2019-05-13 23:18:52 -07:00
Philip Monk
1aefafbba4
make slow
2019-05-13 22:36:05 -07:00
Philip Monk
780c0ebbc6
light refactoring and heavy commenting
2019-05-13 22:27:11 -07:00
Philip Monk
815f6c942d
breach-sync works
2019-05-13 14:45:53 -07:00
Philip Monk
1eaac49e4d
wip child-sync works
2019-05-13 13:53:46 -07:00
Philip Monk
c6670249a5
wip debugging child-sync
2019-05-10 19:23:13 -07:00
Philip Monk
1903d68b14
boot works
2019-05-10 14:51:37 -07:00
Philip Monk
38cfb7fbec
compiles
2019-05-09 18:06:18 -07:00
Jared Tobin
4b09d4db98
Merge pull request #1166 from urbit/hard
...
remove +hard, replace with new ;;
2019-05-10 08:16:58 +08:00
pilfer-pandex
8b34af4ca2
fix inappropriate translation in hall-legacy
2019-05-09 13:52:15 -07:00
pilfer-pandex
4b2a3d877e
remove +hard, replace with new ;;
2019-05-09 12:46:19 -07:00
Jared Tobin
72745fcd7f
Merge pull request #1164 from urbit/hard
...
;; takes spec and hoon; no more 'idempotence' test
2019-05-09 12:09:24 +08:00
pilfer-pandex
6d117664ba
merge
2019-05-08 19:05:21 -07:00
Jared Tobin
d9f8e78976
Merge pull request #1163 from urbit/tsbr-plum
...
make =| print as =|, not ;;
2019-05-09 09:10:56 +08: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
Jared Tobin
8018745d9b
Merge pull request #1096 from jfranklin9000/udon-hep-buc
...
added ++arm:core, +-arm:core, +$arm:core, +*arm:core to udon parser
2019-05-09 06:13:39 +08:00
Jared Tobin
83b9534256
Merge branch 'master' into udon-hep-buc
2019-05-08 20:59:01 +08:00
Philip Monk
7e029a3c28
wip try to compile
2019-05-03 19:24:24 -07:00
Jared Tobin
1323120500
Merge pull request #1158 from urbit/helm-mint
...
Update %mint task structure in helm
2019-05-03 19:33:13 +08:00
Philip Monk
feda6530b1
wip factored out writes and merges
2019-05-02 18:50:20 -07:00
Philip Monk
cb0dec1ed1
wip merge monadified
2019-05-02 18:06:31 -07:00
Fang
c3439a7e0c
Update %mint task structure in helm
2019-05-02 23:27:04 +02:00
Philip Monk
89ce5cedbe
real queueing for clay writes
2019-05-01 18:21:32 -07:00
Philip Monk
4d1c72dfb4
add %drip to behn
2019-04-30 14:58:51 -07:00
Philip Monk
407919b24a
wait to start sync until ship exists
2019-04-30 10:40:38 -07:00
Jared Tobin
e99d1ea106
Merge pull request #1093 from urbit/leap-seconds
...
Update leap second lists
2019-04-30 08:18:35 +08:00
ixv
d3eabbf5b6
Merge pull request #1155 from urbit/landscape-load-fixes
...
Landscape load fixes
2019-04-29 11:09:25 -07:00
Isaac Visintainer
7a6eb739ec
landscape commit: c7f57a3467
2019-04-26 14:43:13 -07:00
Isaac Visintainer
98d9c44fd1
allow range queries for inbox on collections primary subscription
2019-04-26 11:23:04 -07:00
Joe Bryan
587b4d26df
Merge pull request #1154 from urbit/arvo-warn
...
adds Arvo %warn error notification event handler
2019-04-25 13:05:21 -07:00
Joe Bryan
f7fdd0ccee
tweaks %crud error printing in %dill
2019-04-25 11:49:17 -07:00
Joe Bryan
5ba046b373
adds top-level arvo error notification event %warn
2019-04-25 11:48:55 -07:00
Philip Monk
186513b723
wip
2019-04-25 11:01:54 -07:00
Jared Tobin
d2724bb705
Merge pull request #1152 from urbit/philip/ph-monad
...
Monadic pH tests
2019-04-25 19:12:56 +12:00
Philip Monk
4950564078
Merge branch 'philip/ph-monad' into philip/individual-breaches
2019-04-23 16:58:45 -07:00
Philip Monk
0e792817b8
Merge remote-tracking branch 'origin/next' into philip/ph-monad
2019-04-23 16:58:08 -07:00
