Commit Graph

3376 Commits

Author SHA1 Message Date
Joe Bryan
e3f2519055
Merge pull request #1091 from urbit/dawn-take-error
adds more rudimentary error handle to pre-boot validation
2018-12-07 14:28:11 -05:00
Joe Bryan
eabeb4a200 corrects typo in comment 2018-12-07 14:23:43 -05:00
Joe Bryan
55f792e8ab updates calls to the |snap:dawn gates to handle units 2018-12-07 02:10:29 -05:00
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