Matthew LeVan
589899b08c
wip: add urcrypt-sys crate; install urcrypt on system in ci
2023-09-26 16:10:33 -04:00
Matthew LeVan
2f16a2dadf
un-vendor urcrypt
2023-09-26 16:02:36 -04:00
Matthew LeVan
ef382a8090
urcrypt builds
2023-09-25 15:31:41 -04:00
Matthew LeVan
6b7e21ba48
wip: add urcrypt
2023-09-22 13:30:51 -04:00
Edward Amsden
4dd009c04c
Merge pull request #88 from urbit/eamsden/update-9-20-2023
...
updates: 9-20-2023 (david/alex/jonathan/edward/neal)
2023-09-20 13:46:32 -05:00
Edward Amsden
e04d20c7de
updates: 9-20-2023 (david/alex/jonathan/edward/neal)
2023-09-20 13:43:52 -05:00
Edward Amsden
1b1c36bec5
Merge pull request #84 from urbit/jon/hamt-preserve-no-lw
...
hamt: preserve() traversal_stack uses rust stack
2023-09-14 12:56:38 -05:00
Jonathan Paprocki
7070fad4e5
Merge branch 'status' into jon/hamt-preserve-no-lw
2023-09-14 13:01:31 -04:00
Jonathan Paprocki
02ffe3ddb7
hamt: use expect() instead of let .. else
...
Co-authored-by: Edward Amsden <edward@blackriversoft.com>
2023-09-14 12:27:01 -04:00
Edward Amsden
72c63d9014
Merge pull request #83 from ynx0/y/import-fix
...
ares: make ibig dep a relative path so importing as a crate works properly
2023-09-13 21:56:15 -05:00
Edward Amsden
6e0e5d103b
Merge branch 'status' into y/import-fix
2023-09-13 21:31:07 -05:00
Edward Amsden
a39f856282
Merge pull request #85 from urbit/jon/assert_empty_stack
...
mem: assert stack_is_empty() when it should be
2023-09-13 21:29:48 -05:00
Jonathan Paprocki
2bfe5a06c6
hamt: preserve traversal_stack uses rust stack
...
this was using the lightweight stack, but this presented the following
issue: NockStack::copy() can be called during the Hamt::preserve() call,
and the lightweight stack may not be empty. NockStack::copy() presumes
that the lightweight stack is empty when it is called, and thus tried to
pop elements that preserve() had pushed onto it.
NockStack::copy() should probably assert that the lightweight stack is
empty when its called
2023-09-13 13:51:20 -04:00
Jonathan Paprocki
028519edd7
mem: assert stack_is_empty() when it should be
...
if these functions are callled with a non-empty lightweight stack, they
will try to pop things that they shouldn't.
all other stack_is_empty() callsites happen in a fresh stack frame, so
we already know the lightweight stack will be empty.
2023-09-13 13:44:33 -04:00
Yaseen
999504ef4e
ares: make ibig dep a relative path so importing as a crate works properly
...
- using patch.crates-io does not work because it only applies to the local crate development and not as a setting for consumers of the package
thanks to @drbeefsupreme for the original fix
Co-authored-by: <drbeefsupreme@discordja.net>
2023-09-11 13:20:28 -04:00
Alex Shelkovnykov
21a13ee444
Merge pull request #82 from urbit/eamsden/gitattributes
...
ares: add .gitattributes to mark .jam and .pill files binary
2023-09-06 11:47:48 -06:00
Edward Amsden
ad38bd858b
ares: add .gitattributes to mark .jam and .pill files binary
2023-09-06 11:10:38 -05:00
Edward Amsden
5b26b24cef
Merge pull request #76 from urbit/eamsden/lightweight-stack-2
...
interpreter: use lightweight stack and do TCO
2023-09-06 11:05:27 -05:00
Edward Amsden
f056a796a3
Merge branch 'status' into eamsden/lightweight-stack-2
2023-09-06 11:01:52 -05:00
Alex Shelkovnykov
1b02d61c30
Merge pull request #81 from urbit/eamsden/fix-lints
...
interpreter: address new lints
2023-09-06 09:58:44 -06:00
Edward Amsden
e2f1ad15e1
nix: rust: bump versions in dev shell
2023-09-06 10:22:25 -05:00
Edward Amsden
576b511065
interpreter: address new lints
2023-09-06 10:18:43 -05:00
Edward Amsden
1705b9e81b
Merge branch 'status' into eamsden/lightweight-stack-2
2023-09-06 09:36:17 -05:00
Edward Amsden
1494915aa9
interpreter: remove unnecessary cast.
2023-09-06 08:43:30 -05:00
Edward Amsden
de88edcda5
Merge pull request #80 from urbit/eamsden/fix-assert-no-alloc
...
main: make assert_no_alloc actually assert
2023-09-01 15:09:54 -05:00
Edward Amsden
a9a7db4606
interpreter: add comments to protect assert_no_alloc
2023-09-01 13:53:53 -05:00
Edward Amsden
9d8e43c91b
Put assert-no-alloc-able allocator in lib.rs instead of main.rs
2023-09-01 13:46:28 -05:00
Edward Amsden
5a15bde2aa
interpreter: add list repeat testcases from ~datnut-pollen with tc and non-tc variants
2023-09-01 13:31:53 -05:00
Edward Amsden
d610442e8b
interpreter: make sure called formulas in new frames are recorded as being in tail position
2023-09-01 13:31:08 -05:00
Edward Amsden
0f6d574526
main: make assert_no_alloc actually assert
2023-09-01 10:43:24 -05:00
Edward Amsden
c26fd83e27
Merge pull request #79 from urbit/jon/shax-jamfile
...
test_data: add (shax 0x1) jamfile
2023-09-01 10:16:32 -05:00
Jonathan Paprocki
2da536f12c
test_data: add (shax 0x1) jamfile
...
built on a ship that has the math.rs %sham jets
2023-09-01 11:12:30 -04:00
Edward Amsden
7e4558e4f9
interpreter: fix lints
2023-08-31 14:44:21 -05:00
Edward Amsden
f52d6d96db
interpreter: fix lints
2023-08-31 14:42:20 -05:00
Edward Amsden
69edca94da
interpreter: remove debugging
2023-08-31 14:12:05 -05:00
Edward Amsden
92e98cba29
interpreter: make nock 2 tail have correct subject
2023-08-31 14:09:56 -05:00
Edward Amsden
bfecdf9aa4
interpreter: bugfixes
2023-08-31 13:21:06 -05:00
Edward Amsden
53635decf6
Merge branch 'status' into eamsden/lightweight-stack-2
2023-08-31 00:25:29 -05:00
Edward Amsden
68dc6cb169
rust shell: include gdb
2023-08-31 00:25:20 -05:00
Edward Amsden
e4d556dc17
Merge pull request #74 from urbit/jon/copy-fix
...
copy() memory issue fix
2023-08-31 00:24:07 -05:00
Edward Amsden
3e0dc24d42
Merge pull request #72 from urbit/jon/jam-fix
...
jam, mug: need their own stack frames
2023-08-31 00:23:46 -05:00
Edward Amsden
276286c114
interpreter: clippy
2023-08-31 00:05:26 -05:00
Edward Amsden
3cd735a182
interpreter: format
2023-08-30 23:50:09 -05:00
Edward Amsden
52d4a7a327
interpreter: use lightweight stack and do TCO
2023-08-30 23:44:27 -05:00
Jonathan Paprocki
15bbe68cc1
mem: fix copy() allocation of indirect atoms
...
addresses #73
2023-08-29 17:26:11 -04:00
Jonathan Paprocki
02c205242d
jam, mug: need their own stack frames
...
addresses #71
tests: add jam cell test
fix cargo fmt
2023-08-29 16:40:49 -04:00
Edward Amsden
08f14b8318
Merge pull request #70 from urbit/eamsden/fix-cut
...
jets: fix cut for 0 run
2023-08-29 07:48:00 -05:00
Edward Amsden
972103de7c
jets: use D macro in jet_cut
...
Co-authored-by: Philip Monk <phil@pcmonk.me>
2023-08-28 21:06:56 -05:00
Edward Amsden
1479e3a98a
jets: fix cut for 0 run
2023-08-26 09:44:06 -05:00
Alex Shelkovnykov
995f64da8c
Merge pull request #63 from ashelkovnykov/tests
...
Unit tests for the PMA
2023-08-15 16:18:58 -06:00
