Joe Bryan
611d72d957
refactors |take:dawn unit promotion
2018-12-07 02:10:23 -05:00
Joe Bryan
6a4fc7c9ae
updates calls to the |take:dawn gates to handle units
...
and bail on ~
2018-12-07 02:10:23 -05:00
Joe Bryan
d8851d2461
Merge pull request #1090 from urbit/single-home
...
single-home arvo
2018-12-06 19:22:57 -05:00
Joe Bryan
33b52c77c2
[CI] updates pinned arvo commit
2018-12-06 19:09:08 -05:00
Joe Bryan
65ce838b26
Merge branch 'release-candidate' into single-home
...
* release-candidate:
Write a jet for +sort
remove hold
removed more superfluous lines
removed superfluous lines
moving one brace
using u3x functions
braces constants
added shape checks
Update pin-arvo-commit.txt
Update pin-arvo-commit.txt
type variance bug fix
moves ethereum-integrated pre-boot validation to vere/dawn
2018-12-06 18:33:28 -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
Ted Blackman
9cff56962a
Merge pull request #1087 from belisarius222/move-dawn
...
moves ethereum-integrated pre-boot validation to vere/dawn
2018-12-06 13:09:11 -08:00
Joshua Reagan
058a842d2f
Merge pull request #1089 from urbit/release-candidate-variance
...
jetting +felt
2018-12-06 13:53:33 -06: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
b4aa952b9d
Merge branch 'release-candidate-variance' of https://github.com/urbit/urbit into release-candidate-variance
2018-12-06 02:01:04 -06:00
joshuareagan
a9e760edb5
removed superfluous lines
2018-12-06 02:00:35 -06:00
Joshua Reagan
85ed15775b
moving one brace
2018-12-06 01:11:14 -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
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
