Commit Graph

391 Commits

Author SHA1 Message Date
Joe Bryan
e179667323 jets u3r_mur 2019-01-07 23:31:37 -05:00
Joe Bryan
cee1bfe591 adds staged jet headers and dashboard declarations, renames everything 2019-01-07 23:31:37 -05:00
Joe Bryan
a906af1ca4 adds pristine jet copies (hash-order, containers, compiler) 2019-01-07 23:31:37 -05:00
Joe Bryan
86a38cbb92 fixes u3_atom/c3_w mixup in +muk jet, refactors 2019-01-07 21:23:29 -05:00
Elliot Glaysher
e25c8388a4 Add jet for +del:in 2018-12-13 14:39:53 -08:00
Elliot Glaysher
6c1e20dcbd Style nits 2018-12-13 11:29:36 -08:00
Elliot Glaysher
aea2139261 Add a jet for +del:by 2018-12-13 11:04:31 -08:00
Joe Bryan
6266388109 removes commonmark and the markdown jet 2018-12-10 16:03:37 -05:00
Joe Bryan
413b53ea16 prevents 0-byte allocation in u3qe_lore() 2018-12-10 11:15:54 -05:00
Elliot Glaysher
da8278d53c
Merge pull request #1088 from urbit/actually-jet-sort
Write a jet for +sort
2018-12-06 14:54:49 -08:00
Elliot Glaysher
3fc14073e0 Write a jet for +sort
Closes #387
2018-12-06 13:20:23 -08:00
joshuareagan
a36b2a010e remove hold 2018-12-06 13:38:33 -06:00
joshuareagan
ee483875bc removed more superfluous lines 2018-12-06 02:15:18 -06:00
joshuareagan
a9e760edb5 removed superfluous lines 2018-12-06 02:00:35 -06:00
joshuareagan
2769cb2ac9 using u3x functions 2018-12-06 01:01:27 -06:00
Joshua Reagan
def6538c08
braces constants 2018-12-05 23:48:09 -06:00
joshuareagan
3c4e85fcee added shape checks 2018-12-05 23:37:23 -06:00
joshuareagan
cfca39542f type variance bug fix 2018-12-05 22:24:44 -06:00
Joshua Reagan
2f8d0d6d34
fix core nest mismatch
There is a variance bug such that the following cast is allowed to go through:

```
> =a 12

> =core1 ^?  |=(b=@ a)

> =a "hello"

> =core2 ^?  |=(b=@ a)

> ^+(core1 core2)
```

This should not be!  The code in `hoon.hoon` is correct -- it turns out that the jet is wrong however.  It falsely returns "yes" for a nest in which two cores have identical code.  Obviously that's not enough to guarantee sameness of type.  So I've removed the offending lines.
2018-11-30 22:11:08 -06:00
Joshua Reagan
e62acfa1bc
remove superfluous reference decrements 2018-11-29 18:52:47 -06:00
joshuareagan
ab455736e9 variance fix: calling lead, zinc gates 2018-11-29 12:42:47 -06:00
Elliot Glaysher
98c581f95a Jet +jab:by, which is used extensively in ford. 2018-11-26 16:18:53 -08:00
Joe Bryan
1463b33bc0
Merge pull request #1041 from urbit/remove-jets-z
removes second staging copy of compiler jets
2018-11-21 13:11:25 -05:00
Benjamin Summers
2cb3ad1a7a Use Ed25519 u3a_malloc in the ed25519 jet. 2018-11-16 11:56:58 -08:00
Joe Bryan
4ec7ddb61b removes second staging copy of compiler jets 2018-11-15 19:29:39 -05:00
Fang
aa129666fc Make small stylistic improvements to crypto jets 2018-11-14 13:38:34 -08:00
Fang
8a25214167 Use custom memory allocation functions for Argon2 2018-11-13 11:11:48 -08:00
Fang
32bbb02140 Unpack blake jet arguments earlier, make sure to flip endianness 2018-11-06 15:32:56 -08:00
Fang
b11b8c1460 Make pointer to ripe context static 2018-11-06 14:50:46 -08:00
Fang
91bef8d863 Merge branch 'release-candidate' into crypto-additions 2018-11-06 10:32:02 -08:00
Fang
ee02677cf2 Clean up style in ripe jet 2018-11-04 12:51:49 -08:00
Fang
1978fc9b05 Fix ripe jet, treat input as byts rather than bits
Unpack input in u3we version, assume byts, don't check for multiple
of eight bits.
2018-11-04 12:23:24 -08:00
Fang
449cd080b0 Clean up style in blake2 jet 2018-11-04 11:42:33 -08:00
Fang
a74ea050fa Clean up style in argon2 jet 2018-11-04 11:42:17 -08:00
Fang
ce8779c929 Clean up argon2 jet config params unpacking 2018-11-04 11:40:14 -08:00
Fang
451bc588da Make blake adhere to desired output length
And makes sure to return in the correct byte order.
2018-11-04 09:55:25 -08:00
Fang
179c49429a Use u3a_malloc instead of c3_malloc 2018-11-04 09:44:53 -08:00
Joe Bryan
35bfb49086 Merge branch 'release-candidate' into ames-eth-keys
* release-candidate: (21 commits)
  zinc gate casting bug
  Bug fix for metal-wrapping runes
  converting iron and zinc cores to lead bug
  8. updates nock 4K spec
  7. updates %5 to require two subformulas (nock 4K)
  6. implements edit at %10 (nock 4K)
  5. removes %13 and %14 (nock 4K)
  4. emits %11 and %12 (nock 4K)
  3. implements hint at %11 and wish at %12 (nock 4K)
  2. removes %10 and %11 (nock 4K)
  1. duplicates hint (%10) and wish (%11) at %13 and %14 (nock 4K)
  Disable terminal echo on passcode entry
  increased inbound request and ward timeouts to 5 min
  mutating edit
  bail in _n_edit on invalid path
  avoid allocating an atom for _cj_bash
  bypass mat and chop directly in jam
  small memory leak for large edits
  disable hike jet, kill errant and unneccessary mutate-context-sample opcodes
  bugfixes
  ...
2018-11-01 00:16:20 -04:00
Joshua Reagan
5911cb10c6
Merge pull request #1045 from urbit/joshuareagan-patch-3
zinc gate casting bug
2018-10-31 20:32:04 -05:00
Joshua Reagan
aadd95bf98
zinc gate casting bug
Casting with a `^&` rune example fails because of a minor jet typo:

```
> ^+(^&(|=(@ 15)) |=(@ 15))
-gene.[%ktpd %brts [%base %atom 0] %sand %ud 15]
play-open-z
ford: %slim failed: 
ford: %ride failed to compute type:
```

The above cast should go through.  This fix makes that happen.
2018-10-31 16:40:37 -05:00
Joshua Reagan
0a7d338553
Bug fix for metal-wrapping runes
A bug causes this cast to go through:

```
^+(|=(@ 15) ^&(|=(@ 15)))
```

It should nest-fail.  This change makes the cast work correctly with the metal wrapping runes `^&`, `^|`, and `^?`.
2018-10-31 14:02:17 -05:00
Joe Bryan
05b4c7726b updates +met jet to always measure only once 2018-10-28 21:26:42 -04:00
Joe Bryan
f8bf967912 rewrites/re-enables +xeb jet 2018-10-28 21:15:07 -04:00
Joe Bryan
b7fbd4108e fixes memory leak (temporarily) by disabling +xeb jet 2018-10-28 21:10:25 -04:00
Joshua Reagan
a8fbd49864
converting iron and zinc cores to lead bug
In the current release candidate, this happens:

```
> ^?(^|(add))
wrap-gold
ford: %slim failed: 
ford: %ride failed to compute type:
```

This is a jet mismatch from `+wrap`, I believe:

https://github.com/urbit/arvo/blob/release-candidate/sys/hoon.hoon#L11139

You should be able to convert iron and zinc cores to lead.
2018-10-25 17:34:49 -07:00
Joe Bryan
b21b1c6fe1 WIP Merge remote-tracking branch 'fodwyt/edit' into nock-4k
* fodwyt/edit:
  mutating edit
  bail in _n_edit on invalid path
  avoid allocating an atom for _cj_bash
  bypass mat and chop directly in jam
  small memory leak for large edits
  disable hike jet, kill errant and unneccessary mutate-context-sample opcodes
  bugfixes
  first pass at nock 12 impl
2018-10-10 19:50:13 -04:00
Joe Bryan
8f42a29933 5. removes %13 and %14 (nock 4K) 2018-10-10 19:26:50 -04:00
Joe Bryan
c3ca5c24b6 4. emits %11 and %12 (nock 4K) 2018-10-10 18:44:17 -04:00
Joe Bryan
4d6950d68a 3. implements hint at %11 and wish at %12 (nock 4K) 2018-10-10 18:40:13 -04:00
Joe Bryan
f64b5c8f80 2. removes %10 and %11 (nock 4K) 2018-10-10 18:16:07 -04:00