Commit Graph

3306 Commits

Author SHA1 Message Date
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
Joshua Reagan
56d26f486a
Update pin-arvo-commit.txt 2018-12-05 22:51:01 -06:00
Joshua Reagan
4e244b92a8
Update pin-arvo-commit.txt 2018-12-05 22:32:22 -06:00
joshuareagan
cfca39542f type variance bug fix 2018-12-05 22:24:44 -06:00
Joe Bryan
de29eb602c
Merge pull request #1085 from urbit/boot-pill-userspace
boot with lifecycle-formula, userspace from pill
2018-12-05 13:50:23 -05:00
Elliot Glaysher
82cb9ed2ce
Merge pull request #1086 from urbit/use-slaw-instead-of-slay
Use +slaw instead of +slay.
2018-12-04 16:53:31 -08:00
Elliot Glaysher
e7c10cd828
Merge pull request #1081 from urbit/json-trace
Add support for trace_event files.
2018-12-04 16:41:54 -08:00
Elliot Glaysher
39eb89d66b Use u3_nul 2018-12-04 16:40:19 -08:00
Elliot Glaysher
e611cc34c4 Use +slaw instead of +slay. 2018-12-04 16:27:20 -08:00
Elliot Glaysher
36f2152e61 Move more chars. 2018-12-04 16:20:22 -08:00
Elliot Glaysher
ee38b88188 Cleanup 2018-12-04 15:59:33 -08:00
Elliot Glaysher
4a53ebc6c5 Cleanup 2018-12-04 14:48:26 -08:00
Joe Bryan
6ea1248f94 [CI] skip arvo download, retrieve pill directly 2018-12-04 03:31:16 -05:00
Joe Bryan
6b3956dda0 [CI] updates pinned arvo commit 2018-12-04 03:25:03 -05:00
Joe Bryan
bf4e7910dc loads initial filesystem from pill, -A optional for all ships 2018-12-04 02:54:12 -05:00
Joe Bryan
2ed422e11f boots with lifecycle formula, without persistent kernel formula
removes now-unused vortex functions
2018-12-04 02:54:06 -05:00
Elliot Glaysher
1a2c2c74de
Merge pull request #1083 from urbit/terminal-parsing
Remove 30ms per dill-blit.
2018-12-03 16:52:46 -08:00
Elliot Glaysher
7b475e7caa Remove 30ms per dill-blit. 2018-12-03 16:10:07 -08:00
Joe Bryan
5c3c148424
Merge pull request #1082 from urbit/update-behn-declarations
update old %behn declarations in vere.h
2018-12-03 17:15:26 -05:00
Joe Bryan
46dc173bf6 update old %behn declarations in vere.h 2018-12-03 17:09:56 -05:00
Elliot Glaysher
8b9680072a Add support for trace_event files.
This adds a -j parameter which writes traces of your Urbit's function call
stack to a json file, readable by Chrome's about://tracing or the standalone
trace-viewer webapp.
2018-12-01 15:54:55 -08:00
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