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
Joe Bryan
ec84e0abc2
[CI] updates pinned arvo commit
2018-12-05 23:32:45 -05: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
591995934a
single-home arvo with %whom
2018-12-05 16:02:43 -05:00
Joe Bryan
511ff89f80
add entropy to arvo with %wack
2018-12-05 15:52:16 -05: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
Joe Bryan
384a2a1555
moves ethereum-integrated pre-boot validation to vere/dawn
2018-12-05 03:06:18 -08: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
