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
Philip Monk
ff603d01f6
[ares] add pill to run azimuth events
...
Also includes various functions changes to allow printing nouns in gdb,
printing direct atoms as ascii when possible, etc.
2023-02-17 18:51:51 -07:00
Edward Amsden
bd44624e63
[ares][stack] make in_frame take a generic pointer
2023-02-17 19:26:28 -06:00
Edward Amsden
9140984333
Merge branch 'status' into eamsden/hamt
2023-02-17 16:28:11 -06:00
Edward Amsden
ec3a17af9c
[ares][hamt] shift off 5 bits per level on insert, not 1
2023-02-17 15:15:23 -06:00
Edward Amsden
17ca8e43ad
[ares] [hamt] fix bugs in chunk computations
2023-02-17 14:00:31 -06:00
Edward Amsden
c856d2f730
[ares] [hamt] mark bug in comment and reformat
2023-02-16 19:28:30 -06:00
Edward Amsden
4e422efecc
[ares] rewrite HAMT entirely, more readable/less raw representation
2023-02-16 19:19:16 -06:00
Edward Amsden
646576dd56
[ares] [wip] hamt and trait-based object preservation on stack pop
2023-02-16 12:46:07 -06:00
Edward Amsden
abb3da7e6f
Merge pull request #28 from urbit/philip/equal
...
[ares] fix the Last Bug in unifying equality
2023-02-16 06:41:53 -06:00
Philip Monk
f4be9f30bf
[ares] fix the Last Bug in unifying equality
...
The addition/subtraction is with respect to the polarity we matched on,
but the high and low pointers are with respect to the polarity we're
switching to . The stack pointer is always at slot 0 (the outer slot)
and the frame pointer is always at slot 1 (the inner slot).
2023-02-16 05:18:58 -07:00
Edward Amsden
7ca6881b6a
Merge pull request #27 from urbit/philip/edit
...
[ares] fix bug in edit()
2023-02-16 03:45:21 -06:00
Philip Monk
342d55bafa
[ares] fix bug in edit()
...
Relatively deep edits were producing incorrect results.
2023-02-15 22:41:05 -07:00
Philip Monk
a96ea5ffba
[jets] add rip jet
2023-02-14 22:18:02 -07:00
Philip Monk
114e74ec07
[jets] add rep jet
2023-02-14 21:52:19 -07:00
Philip Monk
04d99a9a68
[jets] add can jet
2023-02-14 21:39:25 -07:00
