Commit Graph

403 Commits

Author SHA1 Message Date
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
Joe Bryan
82c89c1696 1. duplicates hint (%10) and wish (%11) at %13 and %14 (nock 4K) 2018-10-10 17:59:50 -04:00
Joe Bryan
e61a041f61 Merge branch 'release-candidate' into crypto-additions
* release-candidate: (153 commits)
  uses u3x_at in reel and roll jets
  adds comments for known-valid u3r_at calls in jets.c
  remove orphaned declarations for mux and shux jets
  bail %exit in _cj_site_lock if axis is not in core
  Fix issue with trimming >4 character jet names
  adds -S to skip battery hashes
  fixes u3n_prog pointers in u3n_ream()
  adds meson option (-Dprof=true) to set U3_CPU_DEBUG
  adds meson option (-Dgc=true) to set U3_MEMORY_DEBUG
  refactors http card validation
  fixes leak in proxy when networking is disabled
  fixes leak in _http_serv_start_all
  avoid allocating an atom for _cj_bash
  bypass mat and chop directly in jam
  use nul prefix for regular (no loc) nock formulas, fix memory leak in _cj_mile, delete unused code
  kill mux and shux jets, whose services are no longer required
  for posterity
  all hashes
  more hashes
  update pill/arvo hashes
  ...
2018-10-03 19:29:56 -04:00
Joe Bryan
599b5052ea uses u3x_at in reel and roll jets 2018-10-03 11:57:18 -04:00
Joe Bryan
f0524c23f0 Merge branch 'release-candidate' into hashboard
* release-candidate: (138 commits)
  adds meson option (-Dprof=true) to set U3_CPU_DEBUG
  adds meson option (-Dgc=true) to set U3_MEMORY_DEBUG
  refactors http card validation
  fixes leak in proxy when networking is disabled
  fixes leak in _http_serv_start_all
  bypassed profiling bug
  Eliminate cons optimization.
  Remove broken assert.
  Clean up some printfs.
  increases tcp proxy listener timeout to 2 minutes
  fixes dumb bug in tcp reverse proxy remote address resolution
  Fix issue with trimming >4 character jet names
  upgrades libh2o to v0.13.5 (h2o v2.2.5)
  sets the http client request timeout to 2 minutes
  adds an http request timer to ensure connections are always closed
  adds an http request timer to ensure connections are always closed
  adds (disabled) h2o access log
  don't leak ship-name in _proxy_ward_connect()
  refactors .http.ports write/release (avoid the loom, etc.)
  updates SSL_CTX init to support any PEM private key, simplifies error handling
  ...
2018-10-02 18:25:41 -04:00
Fang
e414767957
Merge branch 'crypto-additions' into blake_ripe 2018-09-30 11:41:49 -07:00
Fang
97bc5ba400
Merge branch 'release-candidate' into crypto-additions 2018-09-28 12:02:05 -07:00
BernardoDeLaPlaz
cce78f57d4 code review 2018-09-07 14:27:14 -04:00
Fang
9396f7cc22
Remove nonstandard 27 minimum value from ecdsa signature v
As per urbit/arvo/b2365db.
2018-09-04 18:17:52 +02:00
Curtis Yarvin
68fc04e619 Eliminate cons optimization. 2018-08-20 15:31:43 -07:00
Curtis Yarvin
e530f02111 Remove broken assert. 2018-08-19 16:05:28 -07:00
BernardoDeLaPlaz
10bdf51640 crypto (blake, ripe) jetted 2018-08-10 17:09:55 -04:00
Curtis Yarvin
c910827cd7 Clean up some printfs. 2018-08-07 13:34:46 -07:00
BernardoDeLaPlaz
fd78579e24 secp256 jetted 2018-08-07 15:16:48 -04:00
Fang
34629b9d87 Disable testing for argon2 jet 2018-07-20 02:12:27 +02:00
Fang
3ddcf1290a Remove unnecessary u3k's in ++rev jet 2018-07-20 01:48:44 +02:00
Fang
ea3aa7d2bd Implement jet for ++argon2:argon2:crypto 2018-07-20 01:48:07 +02:00
Fang
e8103edb06 Fix compile-time issue with OpenSSL version of SHA-1 jet. 2018-07-13 15:55:37 +02:00
Fang
9498336f2a Implement jet for ++hmac:hmac:crypto. 2018-07-13 02:03:08 +02:00
Fang
d969775d8f Implement jet for ++sha-1:sha. 2018-07-13 02:01:31 +02:00
Fang
919780c570 Implement jet for ++rev. 2018-07-13 01:59:56 +02:00
Fang
b8712677ea Implement jet for ++swp. 2018-07-13 01:58:32 +02:00
Fang
5189295d02 Add k versions for the mix, rep and rip jets.
This makes upcoming work a bit easier.
2018-07-13 01:56:56 +02:00
Curtis Yarvin
d5ae5c4efa Passes smoke test. 2018-07-09 17:35:13 -07:00
Curtis Yarvin
7a48d012f6 Initial draft of modern fishing. 2018-07-09 15:37:27 -07:00
Curtis Yarvin
e820f2b995 Add a spec to %tstr. 2018-06-21 16:44:53 -07:00
Curtis Yarvin
ad1b3ad162 Proper skin control, with some =/ issues. 2018-06-17 11:03:42 -07:00
Paul Driver
07e524532f avoid allocating an atom for _cj_bash 2018-06-15 11:17:56 -07:00
Paul Driver
dca55cf921 bypass mat and chop directly in jam 2018-06-15 11:17:49 -07:00
Paul Driver
e629272ac6 avoid allocating an atom for _cj_bash 2018-06-14 11:36:56 -07:00
Paul Driver
a3f27a6a39 bypass mat and chop directly in jam 2018-06-12 10:24:36 -07:00
Paul Driver
61f9a39f35 disable hike jet, kill errant and unneccessary mutate-context-sample opcodes 2018-06-11 15:04:49 -07:00
Paul Driver
38e7ab0ea8 kill mux and shux jets, whose services are no longer required 2018-06-04 12:21:13 -07:00
Paul Driver
667ecc80f8 for posterity 2018-06-04 12:20:01 -07:00
Paul Driver
7bc52ec13d all hashes 2018-06-04 12:10:02 -07:00
Paul Driver
3fcd769e66 more hashes 2018-05-30 17:33:33 -07:00
Paul Driver
8f72dbcd9d update pill/arvo hashes 2018-05-30 14:07:25 -07:00
Paul Driver
cd013b9f47 adding some hashes 2018-05-30 13:33:13 -07:00
Paul Driver
c8f5fbe29f moot, since we have already measured 2018-05-30 11:22:59 -07:00
Paul Driver
aaac65446e actually smaller buffers to begin works better for small inputs 2018-05-30 11:10:58 -07:00
Paul Driver
d4e27d38a0 simplify _jam_buf_top 2018-05-30 09:49:04 -07:00
Paul Driver
9fdf806f14 start with a bigger buffer for jam 2018-05-29 21:52:07 -07:00
Paul Driver
402e77357d stash - working out which hash to use 2018-05-29 21:33:10 -07:00
Paul Driver
06fdf49c5f faster jam 2018-05-29 21:29:53 -07:00
Curtis Yarvin
f01bce3582 More renaming. 2018-05-27 13:00:55 -07:00
Curtis Yarvin
b089420cea Some renaming and stuff. 2018-05-27 12:16:13 -07:00
Curtis Yarvin
7a9a9047c3 Old help totally cleaned out. 2018-05-24 15:40:28 -07:00
Paul Driver
46747b9ce3 shux jet 2018-05-23 15:39:22 -07:00
Paul Driver
83f698ab44 mux jet 2018-05-23 15:13:00 -07:00
Curtis Yarvin
fde39c38e8 Now ignoring ash/elm in foot. 2018-05-20 16:07:28 -07:00
Curtis Yarvin
5e55e48f3b Adjusted %brcn to support core name. 2018-05-20 12:34:38 -07:00
Curtis Yarvin
5cd2f2692c Eliminated chapter help. 2018-05-16 14:51:03 -07:00
Curtis Yarvin
612c9a8d6a Completed first round of changes to +coil. 2018-05-14 21:22:39 -07:00
Paul Driver
7e945b8449 all jets? 2018-05-14 16:53:32 -07:00
Paul Driver
678baf41bb layer five 2018-05-14 15:13:37 -07:00
Paul Driver
55b990cd38 layer three 2018-05-14 13:59:17 -07:00
Paul Driver
4ee14f4c59 print axe on hot jet, more hashes 2018-05-14 10:46:34 -07:00
Paul Driver
7664b9175b one finished, most of two 2018-05-14 10:03:20 -07:00
Paul Driver
13400a6f47 jacked 2018-05-14 09:27:16 -07:00
Paul Driver
2a96e8c60e hashes through arvo-assembly 2018-05-14 08:47:52 -07:00
Paul Driver
1273595afc couple more hashes, some organization 2018-05-12 14:58:09 -07:00
Paul Driver
33195a22ec more hashes, u3j_hood expands to express ut hooks 2018-05-12 14:30:59 -07:00
Paul Driver
a431d2efbb more hashes 2018-05-12 12:16:12 -07:00
Curtis Yarvin
1c0a471b65 Removed help from cores. 2018-05-10 17:34:56 -07:00
Paul Driver
956ecdbeaa more hashes, clarify _cj_spot with hot fallback 2018-05-10 14:06:07 -07:00
Paul Driver
9070375c4c more hashes 2018-05-09 11:07:48 -07:00
Paul Driver
109ad54c53 booting and verifying - pasting in hashes now 2018-05-08 18:30:19 -07:00
Paul Driver
10c775961f stash - building and booting 2018-05-08 13:34:35 -07:00
Curtis Yarvin
9533295b8e Finished converting +pony. 2018-05-07 17:15:33 -07:00
Curtis Yarvin
163c0a3ebb Second stage of eliminating +what from +pony. 2018-05-07 15:59:14 -07:00
Curtis Yarvin
9d3a904fa0 Fist step in eliminating +what from +pony. 2018-05-07 14:29:37 -07:00
Curtis Yarvin
747831dc26 Platform for coordinated type system adjustment. 2018-05-05 15:10:34 -07:00
Curtis Yarvin
5afbf59cae Merge branch 'master' into research-merge 2018-05-02 16:55:29 -07:00
Curtis Yarvin
2857861fd8 New hinting system. 2018-05-02 15:11:06 -07:00
Paul Driver
b7e0dc4651 merge conflict 2018-04-30 11:42:24 -07:00
Paul Driver
d306975af8 gate_prep transfers, rites to posts 2018-04-30 09:57:09 -07:00
Paul Driver
35f137453e safer memory for reel 2018-04-29 21:29:25 -07:00
Paul Driver
61c3398ad9 fix memory error in new roll jet 2018-04-27 15:19:47 -07:00
Paul Driver
f42fef9e71 skid 2018-04-27 10:30:36 -07:00
Paul Driver
d139b76ece lien 2018-04-27 10:21:09 -07:00
Paul Driver
25ae735a7e reel 2018-04-27 10:09:53 -07:00
Paul Driver
2b2dbf7a6d skim 2018-04-27 09:50:20 -07:00
Paul Driver
93965fcd8a levy 2018-04-27 09:42:15 -07:00
Paul Driver
48eb2fee9b roll 2018-04-27 09:33:33 -07:00
Paul Driver
d997f035ae murn 2018-04-26 18:55:17 -07:00
Paul Driver
cfc0c6e8d7 gate prep in skip 2018-04-26 18:05:02 -07:00
Paul Driver
62b8b655ee locally cached gates for things like turn 2018-04-26 17:42:38 -07:00
Paul Driver
be8c56376d hook caching in, kink weirdness fixed 2018-04-26 16:36:29 -07:00
Curtis Yarvin
63ea041ecf Renamed %form to %hint. 2018-04-24 22:29:31 -07:00