Commit Graph

1094 Commits

Author SHA1 Message Date
Edward Amsden
7b09895b62
Merge pull request #38 from urbit/eamsden/ska-initialization-prototypes
[ska] prototypes for initialization
2023-03-14 21:38:06 -05:00
Edward Amsden
4ab191732e [ska] [initialization] semantic corrections for +wove, comment correction for +arid 2023-03-14 21:37:17 -05:00
Edward Amsden
9eeeedbb33 [ares][initialization] fix infinite loop in +wove 2023-03-14 20:06:05 -05:00
Peter McEvoy
997c4d2b20 Disable missing_safety_doc lint 2023-03-14 18:27:28 -04:00
Peter McEvoy
f8b05fc53b Add leading _ to jet_name parameter 2023-03-14 18:27:03 -04:00
Peter McEvoy
be2af44231 Remove unused lifetime from Cell::tail_as_mut() 2023-03-14 18:26:21 -04:00
Peter McEvoy
38462557e5 Add clippy to Nix shell 2023-03-14 18:24:51 -04:00
Peter McEvoy
25e9798572 Replace dyn Stack objects with static type parameters 2023-03-14 18:00:18 -04:00
Peter McEvoy
133a478bdc Replace dyn NounAllocator objects with static type parameters 2023-03-14 18:00:12 -04:00
Peter McEvoy
36b591f3c8 Comment out partial implementation of get_jet_test_mode() 2023-03-14 12:21:57 -04:00
Peter McEvoy
4ceb48b5cf Add local type aliases for HAMT stem entries 2023-03-14 12:19:53 -04:00
Peter McEvoy
38d3c124ce Return Option<Jet> instead of Result<Jet, ()> from jets::get_jet() 2023-03-14 12:19:53 -04:00
Peter McEvoy
fff84ada17 Add noun::Error and noun::Result 2023-03-14 12:19:49 -04:00
Peter McEvoy
290b964d11 Apply additional lints suggested by cargo clippy 2023-03-14 11:41:46 -04:00
Peter McEvoy
a7807fd50f Add cargo clippy step to CI 2023-03-14 11:37:12 -04:00
Edward Amsden
d2be39b924
Merge branch 'status' into eamsden/ska-initialization-prototypes 2023-03-13 17:43:52 -05:00
Edward Amsden
6615cd30e1 [ska] make ska spec work properly 2023-03-13 12:12:51 -05:00
Peter McEvoy
b60100c806 Apply lints suggested by cargo clippy 2023-03-10 12:18:40 -05:00
Edward Amsden
f86ba2fb31 [ska] prototypes for initialization 2023-03-08 15:43:26 -06:00
Alex Shelkovnykov
7ed735e1e3
Merge pull request #37 from ashelkovnykov/moar-ci
Add CI for Hoon code
2023-03-07 02:57:12 +01:00
Alex Shelkovnykov
6cf84dfee3 build: add CI for Hoon code 2023-03-06 18:34:22 +09:00
Alex Shelkovnykov
e585fe422f build: add CI for pull requests 2023-03-05 12:06:27 +09:00
Edward Amsden
7dcd0c3db8
Merge branch 'status' into philip/pma 2023-03-01 07:23:59 -06:00
Alex Shelkovnykov
f4bbc255f0
Merge pull request #31 from urbit/eamsden-configure-CI
Github-suggested Rust workflow
2023-02-28 18:36:32 +01:00
Alex Shelkovnykov
c045bc6705
[build] add format check to CI workflow
Co-authored-by: Edward Amsden <edward@tlon.io>
2023-02-28 14:00:40 +01:00
Philip Monk
ffff0657b7 [ares] hook up pma_malloc to event lifecycle
All tests pass except the azimuth pill, which requires too many dirty
pages in one event.
2023-02-27 22:43:29 -07:00
Philip Monk
7c22096723 [ares] refactor snapshots 2023-02-27 16:46:48 -07:00
Philip Monk
2014cbbc46 [ares] factor pma into separate module, fix warnings 2023-02-27 15:51:27 -07:00
Philip Monk
9400ad2bfa [pma_malloc] various fixes 2023-02-24 22:31:27 -07:00
Philip Monk
3760bc4e83 [pma_malloc] vendor pma_malloc 2023-02-24 22:31:19 -07:00
Edward Amsden
4cdf175304
Rename workflow specific to ares and run in subdirectory 2023-02-24 16:27:39 -06:00
Edward Amsden
b0c31dd70c
Merge branch 'status' into eamsden-configure-CI 2023-02-24 16:24:02 -06:00
Edward Amsden
8a3ed46ab6
Merge pull request #32 from urbit/philip/mass
Merge pending work
2023-02-24 16:23:30 -06:00
Philip Monk
63361cb4a0 [ares] vendor ibig-rs with our changes 2023-02-23 20:50:46 -07:00
Philip Monk
a847f8d986 [ares] add noun mass() calculator 2023-02-23 20:41:39 -07:00
Philip Monk
966074d928 [ares] rustfmt 2023-02-23 20:37:14 -07:00
Philip Monk
e1d3f574c4 Merge branch 'philip/alloc' into eamsden/hamt 2023-02-23 17:12:40 -07:00
Edward Amsden
ec48de56ac [ares] use fenix to get rust for nix shell 2023-02-23 18:03:30 -06:00
Edward Amsden
36c0f182ee [ares] [hamt] tell rust it's really OK for us to pack this generic struct, since it only contains pointers to the generic type 2023-02-23 18:01:37 -06:00
Edward Amsden
7074498a68
Github-suggested Rust workflow 2023-02-23 18:00:02 -06:00
Edward Amsden
e79781c892 [ares][stack] fix in_frame test polarity (thanks to @philipcmonk) 2023-02-23 15:04:53 -06:00
Philip Monk
ba4d3b6d24 [ares][jets] convert remaining jets to _stack functions 2023-02-22 19:34:39 -07:00
Philip Monk
6b2cbf7140 [ares][jets] convert jet to _stack functions 2023-02-22 18:22:40 -07:00
Philip Monk
e06c2f2ac8 [ares] support ibig-rs patch to not allocate on some operations 2023-02-22 18:18:44 -07:00
Philip Monk
b6b2ee3fb3 [ares] assert no allocation during interpret 2023-02-22 18:05:28 -07:00
Edward Amsden
b03f398a69 [ares] [interpreter] wip siglus caching 2023-02-21 13:21:54 -06:00
Edward Amsden
5a885181ea [ares] [wip] add siglus (%memo) cache to treewalking interpreter 2023-02-21 12:52:39 -06:00
Edward Amsden
abfd642868 [ares] [hamt] jam and cue work with mutable hamt 2023-02-21 04:58:53 -06:00
Edward Amsden
e2743e24e7 [ares] [hamt] add mutable hamt for use within a single nockstack frame 2023-02-18 10:39:45 -06:00
Edward Amsden
dce5e74185 [ares][serialization] wip: use HAMT for jam and cue 2023-02-17 22:55:40 -06:00