urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 18:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,282 Commits 768 Branches 10 Tags 215 MiB
9ad5c5f15c
Commit Graph

3282 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Joshua Reagan
9ad5c5f15c
Merge pull request #1079 from urbit/joshuareagan-patch-2 
fix core nest jet mismatch
 2018-11-30 22:38:26 -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
b424543f9a
Merge pull request #1078 from urbit/release-candidate-variance 
variance fix: calling lead, zinc gates
 2018-11-29 19:04:31 -06:00
Joshua Reagan
e62acfa1bc
remove superfluous reference decrements 2018-11-29 18:52:47 -06:00
Joshua Reagan
1e2a8bdb12
Update pin-arvo-commit.txt 2018-11-29 14:10:45 -06:00
Joshua Reagan
cb96aed4c7
arvo commit hash 2018-11-29 13:05:15 -06:00
joshuareagan
ab455736e9 variance fix: calling lead, zinc gates 2018-11-29 12:42:47 -06:00
Elliot Glaysher
56c3f080bd
Merge pull request #1076 from urbit/jet-jab 
Jet +jab:by, which is used extensively in ford.
 2018-11-26 16:55:54 -08:00
Joe Bryan
60e6dd2646
Merge pull request #1075 from urbit/keep-gone 
removes u3v_keep, updates Arvo axes
 2018-11-26 19:43:53 -05:00
Elliot Glaysher
98c581f95a Jet +jab:by, which is used extensively in ford. 2018-11-26 16:18:53 -08:00
Joe Bryan
819967dd62 [CI] updates pinned arvo commit 2018-11-26 17:59:41 -05:00
Joe Bryan
941f2f72bd removes u3v_keep, updates arvo axes 2018-11-26 17:57:01 -05:00
Joe Bryan
06ea97414c
Merge pull request #1074 from urbit/keep-no-more 
removes i/o polling, adds timer effects for %behn
 2018-11-26 17:27:42 -05:00
Joe Bryan
4b9ea4cabc [build] builds just the urbit binary by default 2018-11-26 16:40:43 -05:00
Joe Bryan
bc30fb282b automatically process events on restart 2018-11-26 16:34:49 -05:00
Joe Bryan
1774725e4c removes i/o polling 2018-11-26 16:29:38 -05:00
Elliot Glaysher
489a96707f
Merge pull request #1073 from urbit/change-allocation-size 
Shrink preallocation of cells from 262.144 cells to 4.096
 2018-11-26 11:25:55 -08:00
Joe Bryan
9121e108ab removes %behn timer backoff 2018-11-26 12:22:13 -05:00
Joe Bryan
0c33960a66 [CI] updates pinned arvo commit 2018-11-26 12:06:11 -05:00
Joe Bryan
c3555c25a9 increases %behn timer accuracy 2018-11-26 03:08:14 -05:00
Joe Bryan
a77f6401a7 updates %behn to use effects instead of u3v_keep polling 2018-11-26 03:08:14 -05:00
Joe Bryan
a9c8615674 removes %ames timer and disables u3v_keep polling 2018-11-26 03:08:14 -05:00
Elliot Glaysher
356f9fc9ac Shrink preallocation of cells from 262.144 cells to 4.096 
Everytime a new road is constructed, a new bank of cells is
allocated and initialized. This lead to over three megabytes of
memory being allocated and accessed on each road change. This takes
more than 1ms to complete.

Road changes occur on each virtualization call. Each +soft happens
virtualized; so each +soft call incurs a 1ms delay. The metavase
machinery does at least two (and usually three) softs per card move
meaning sending a card move through arvo usually incurs a 3ms delay.

Before this patch, the following line took six seconds to execute.
Now it is imperceivable:

```
~:(turn (gulf 0 10.000) |=(a=@ud (mule |.(a))))
```
 2018-11-23 13:05:39 -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
Joe Bryan
0e52810593
Merge pull request #1068 from urbit/update-readme-build 
Fix README build instructions
 2018-11-21 13:10:09 -05:00
Joe Bryan
f89b02f8a1
Merge pull request #1070 from urbit/remove-obsolete-arguments 
removes obsolete CLI arguments
 2018-11-21 13:09:32 -05:00
Joe Bryan
0f0737e637
Merge pull request #1072 from frodwith/reap-order 
reap call sites before reaping the warm dashboard
 2018-11-21 13:09:06 -05:00
Paul Driver
9104ad2acb reap call sites before reaping the warm dashboard 
if the warm dashboard is reaped before call sites, the activation
(and thus the label inside the activation) can be freed (during u3h_put)
while a call site in the junior still points to the label (but doesn't hold
a reference to it, since it is on a senior road). trying to take that label
during call site reap then results in a bail: foul.

the solution is to always reap call sites before reaping the warm dashboard.
 2018-11-20 11:40:11 -08:00
Joe Bryan
42c61039a4 refines -F argument handling 2018-11-16 20:05:03 -05:00
Joe Bryan
80b1d34aa6 alphabetizes u3_opts and usage instructions 2018-11-16 20:04:58 -05:00
Joe Bryan
eaab7dda8f replaces -N (enable fake networking) with -L (disable networking) 2018-11-16 19:19:48 -05:00
Joe Bryan
3edcd47b7c removes the option to set -l, -n, and -r (raft options) 2018-11-16 17:52:58 -05:00
Joe Bryan
0148b101e7 removes -X ("skip last event") 2018-11-16 17:52:47 -05:00
Joe Bryan
f87120095a removes -M ("memory madness") 2018-11-16 17:52:25 -05:00
benjamin-tlon
c4877d6962
Merge pull request #1069 from urbit/bs/ed25519-malloc 
Use `u3a_malloc` in the ed25519 jet.
 2018-11-16 13:57:58 -08:00
Benjamin Summers
2cb3ad1a7a Use Ed25519 u3a_malloc in the ed25519 jet. 2018-11-16 11:56:58 -08:00
Joe Bryan
a30ad3056b
Merge pull request #1067 from urbit/proxy-wcon-zero-init 
properly zero-initialize u3_wcon linked-list pointer
 2018-11-16 12:20:55 -05:00
Curtis Yarvin
3eccfae00a Fix README build instructions 2018-11-15 19:39:32 -05:00
Joe Bryan
2ea9cb52fe properly zero-initialize u3_wcon linked-list pointer 2018-11-15 19:33:30 -05:00
Joe Bryan
4ec7ddb61b removes second staging copy of compiler jets 2018-11-15 19:29:39 -05:00
Fang
5191851946
Merge pull request #1065 from urbit/release-candidate-arvo 
[CI] Point to latest release-candidate arvo
 2018-11-14 16:56:04 -08:00
Fang
2ac4bd6aa8
[CI] Point to latest release-candidate arvo 2018-11-14 16:41:37 -08:00
Fang
bd78ea68d9
Merge pull request #1028 from urbit/crypto-additions 
Crypto additions
 2018-11-14 16:18:54 -08:00
Fang
6c7811a45c De-duplicate dependency list 2018-11-14 14:59:57 -08:00
Fang
9cce1848e7 Merge branch 'release-candidate' of https://github.com/urbit/urbit into crypto-additions 2018-11-14 14:38:36 -08:00
Fang
aa129666fc Make small stylistic improvements to crypto jets 2018-11-14 13:38:34 -08:00
benjamin-tlon
f9fef8c107
Merge pull request #1063 from urbit/bs/bail-fail-on-big-null-fragment 
Fix bail_fail on `&33:~`
 2018-11-14 10:35:52 -08:00
benjamin-tlon
4ea9e2def2
Merge pull request #1055 from urbit/bs/nix-build 
Build with nix on OSX and Linux
 2018-11-14 10:18:01 -08:00
Benjamin Summers
33da16ca06 meson v0.44.1 2018-11-14 09:52:21 -08:00
Joe Bryan
83a062ab57
Merge pull request #1061 from urbit/cleanup-and-test 
configures/builds/runs unit tests
 2018-11-14 12:52:18 -05:00