Commit Graph

644 Commits

Author SHA1 Message Date
Sigilante
7debba4ad7
Satisfy linter 2023-11-15 15:37:33 -06:00
Sigilante
1f0fec0f93
Satisfy linter 2023-11-15 15:36:12 -06:00
Sigilante
804ac35870
Add u64/u128 atom exports
Necessary for floating-point; nice for conversions from direct atoms.
2023-11-15 15:29:02 -06:00
Alex Shelkovnykov
c7090fb62c style: fix whitespace 2023-11-15 13:31:49 +01:00
Alex Shelkovnykov
85539466c4
Merge branch 'status' into as/demo-debug 2023-11-15 06:27:46 -06:00
Edward Amsden
af7398133a
jet_crop: fix doubled assignment to cache 2023-11-15 06:23:24 -06:00
Alex Shelkovnykov
c214118c2d jets: fix cache assignment bug 2023-11-15 13:15:40 +01:00
Alex Shelkovnykov
3e6dcd947c build: re-enable assert_no_alloc 2023-11-15 13:13:59 +01:00
Alex Shelkovnykov
bfac32214c jets: restore default interpreter::Error -> JetErr conversion 2023-11-15 13:10:15 +01:00
Alex Shelkovnykov
98c8e18230 update for proper merges to status 2023-11-15 13:03:04 +01:00
Alex Shelkovnykov
0b97e55fc4 Merge branch 'status' into ut1 2023-11-15 00:12:17 +01:00
Matthew LeVan
092f12525a wip: st. josaphat 2023-11-14 16:43:56 -05:00
Matthew LeVan
c2aec6af65 jets: fix crypto jet tests 2023-11-14 15:59:08 -05:00
Edward Amsden
a43a12b9f3 warm: return %fast-path with jet 2023-11-13 23:03:40 -06:00
Edward Amsden
ac86b4455c jets: fix puck: atom should be up to 32 *bytes*, not bits 2023-11-13 23:03:13 -06:00
Edward Amsden
0f24273e91 urcrypt: pull urcrypt-sys from crates.io 2023-11-10 08:57:44 -06:00
Edward Amsden
e4ab772998 jets: fix urcrypt jets to build with current interpreter, add sha and ed to hot state 2023-11-09 22:46:22 -06:00
Edward Amsden
dc07e21f18 Merge branch 'msl/urcrypt' into eamsden/build-urcrypt 2023-11-09 19:18:16 -06:00
Edward Amsden
45e9ab00bd dependencies: add json for trace output 2023-11-09 19:13:12 -06:00
Edward Amsden
749444374d interpreter: don't output traces < 33us 2023-11-09 19:12:49 -06:00
Edward Amsden
63d91d3cd5 serf: add event-trace profiling (-j in king) for fast-hinted cores 2023-11-09 15:02:51 -06:00
Edward Amsden
3bb124b52a cold state: fix matches() 2023-11-07 09:53:53 -06:00
Edward Amsden
23cef0bf40
Merge pull request #115 from urbit/sigilante/swp-xeb
++xeb, ++flop
2023-11-07 09:36:22 -06:00
Edward Amsden
7e42b2b950
Merge pull request #116 from urbit/sigilante/cuejam
Post jam/cue jets.
2023-11-07 09:36:00 -06:00
Alex Shelkovnykov
84f9cf9b13 Fix cache assignment bug 2023-10-30 12:57:15 +00:00
Alex Shelkovnykov
94246f1b7e Fix bugs in hint error logic 2023-10-30 12:39:28 +00:00
Edward Amsden
718f1a5cee Merge branch 'status' into msl/urcrypt 2023-10-28 06:18:25 -05:00
Alex Shelkovnykov
b47bef9793 Change magic u3_none equivalent to valid DirectAtom 2023-10-27 21:06:26 +01:00
Edward Amsden
a011db78e6 hot state: allow indirect atom chums 2023-10-27 15:04:20 -05:00
Alex Shelkovnykov
65eff9f9d6 Fix build errors 2023-10-27 20:36:09 +01:00
Alex Shelkovnykov
e1c878af30 Add hot state dashboard 2023-10-27 20:32:11 +01:00
Edward Amsden
46275f5183
noun: lost paren 2023-10-27 14:04:56 -05:00
Edward Amsden
7362374579
noun: We need a hack value for NONE until we figure out what to do about mint_ut 2023-10-27 14:02:36 -05:00
Alex Shelkovnykov
c725f28466 Resolve merge conflicts 2023-10-27 19:44:29 +01:00
Alex Shelkovnykov
94eaa1115a Merge branch 'zing' into fake 2023-10-27 19:37:57 +01:00
Alex Shelkovnykov
3f0ea82ed8 Resolve merge conflicts 2023-10-27 19:28:14 +01:00
Alex Shelkovnykov
59db570ce6 Merge branch 'xeb' into fake 2023-10-27 18:59:41 +01:00
Alex Shelkovnykov
908a6a6c76 Merge branch 'ut1' into fake 2023-10-27 18:53:14 +01:00
Alex Shelkovnykov
068eea3114 Merge branch 'mole' into fake 2023-10-27 18:52:49 +01:00
Alex Shelkovnykov
c42b26c4c9 merge branch 'jets-one' into fake 2023-10-27 18:52:36 +01:00
Alex Shelkovnykov
5aed65c969 Minor fixes 2023-10-27 13:08:48 +01:00
Alex Shelkovnykov
46918bcbf9 Fix bug and call +zing on stack trace 2023-10-27 09:19:27 +01:00
Alex Shelkovnykov
463cd31eaf Add +zing jet 2023-10-27 09:07:46 +01:00
Alex Shelkovnykov
0b554c948b Add jets for +mute & +mule 2023-10-27 07:47:09 +01:00
Alex Shelkovnykov
7ed97d502b Add jets for +mure & +mole 2023-10-27 07:12:59 +01:00
Alex Shelkovnykov
9499b00590 Fixup comment explaining scry failure behaviour 2023-10-27 06:25:08 +01:00
Alex Shelkovnykov
096208a612 Reorder jets 2023-10-27 06:11:19 +01:00
Alex Shelkovnykov
e76f700785 Fixup mismatches and make idiomatic 2023-10-27 01:03:07 -04:00
Alex Shelkovnykov
8a760d3b6e Merge branch 'mink-scry' into ut1 2023-10-25 06:06:10 -06:00
Alex Shelkovnykov
25a7b09ddd Undo Cargo changes 2023-10-24 20:18:59 -06:00
Alex Shelkovnykov
f0377d7d7a Fix up logic & tests 2023-10-24 20:14:09 -06:00
Alex Shelkovnykov
0175f13e36 Merge branch 'mink-scry' into jets-one 2023-10-24 18:21:29 -06:00
Alex Shelkovnykov
a4ae576a9f Minor fixup 2023-10-24 15:46:44 -06:00
Alex Shelkovnykov
905cba65a4 Merge branch 'mink-scry' into cuejam 2023-10-24 15:29:18 -06:00
Alex Shelkovnykov
4a48eb26ff Merge branch 'mink-scry' into xeb 2023-10-24 15:27:32 -06:00
Alex Shelkovnykov
15e0b5339f Replace non_unifying_equality by rewriting assert_jer_err 2023-10-24 15:15:05 -06:00
Alex Shelkovnykov
b6a3ae3064 Address Phil's comments 2023-10-24 14:57:44 -06:00
Alex Shelkovnykov
28e6e37c4f Fix slot 1 lookup 2023-10-24 10:25:30 -06:00
Alex Shelkovnykov
764a565aa8 Add +xeb and +flop to hot state and test pill 2023-10-24 10:16:47 -06:00
Alex Shelkovnykov
5c34632f5f Simplify code and tests 2023-10-24 10:13:53 -06:00
Alex Shelkovnykov
0228c4e300 Co-locate helper functions w/ jets 2023-10-24 09:55:49 -06:00
Alex Shelkovnykov
151a009616 Group list logic jets 2023-10-24 09:26:58 -06:00
Alex Shelkovnykov
9b05f0747d Merge branch 'mink-scry' into status 2023-10-24 09:17:59 -06:00
Alex Shelkovnykov
55adbb6789 Remove leftover comments 2023-10-23 22:13:55 -06:00
Alex Shelkovnykov
1b051f7d01 Merge branch 'status' into mink-scry 2023-10-23 22:12:38 -06:00
Alex Shelkovnykov
d40b7da06d Add unit test for non_unifying_equality 2023-10-23 22:02:13 -06:00
Alex Shelkovnykov
7992d02766 Rework +mink scry failure logic 2023-10-23 21:49:37 -06:00
Alex Shelkovnykov
7e4bf3ae5d Refactor JetErr to use interpreter::Failure enum 2023-10-23 15:37:04 -06:00
Alex Shelkovnykov
0632de6f1e Add jet dashboard comments from pair session w/ Ed 2023-10-23 14:37:42 -06:00
Alex Shelkovnykov
5ff2990034 disable %fast jets when sham_hints feature enabled 2023-10-23 14:02:34 -06:00
Sigilante
b1a63e52cc Lint 2023-10-23 14:41:02 -05:00
Sigilante
b31c43728b Register 2023-10-23 14:38:09 -05:00
Sigilante
6fadc9c799 Lint. 2023-10-23 14:36:29 -05:00
Sigilante
9bb5501e25
Update rust/ares/src/jets/serial.rs
Co-authored-by: Edward Amsden <edward@blackriversoft.com>
2023-10-23 14:34:02 -05:00
Sigilante
0175f1bf41
Update rust/ares/src/jets/serial.rs
Co-authored-by: Edward Amsden <edward@blackriversoft.com>
2023-10-23 14:33:57 -05:00
Alex Shelkovnykov
2e0e4338af Change cache behaviour to match Vere's per-road model 2023-10-23 10:58:17 -06:00
Alex Shelkovnykov
d4f9b907b1 Refactor Context 2023-10-22 22:50:03 -06:00
Alex Shelkovnykov
96f9e89e7e Add mock mode for Newt 2023-10-22 19:57:30 -06:00
Sigilante
67b1d52f3a Post jam/cue jets. 2023-10-20 18:23:10 -05:00
Sigilante
8a5397b948 Post w/o swp (not really jetted efficiently in Vere either). 2023-10-20 17:59:19 -05:00
Sigilante
758ea22692 WIP debugging jet_swp 2023-10-20 16:17:23 -05:00
Sigilante
7ccce3b911 Push ++swp and test (WIP) 2023-10-20 16:03:57 -05:00
Sigilante
8d5eead3d5 Add ++flop. 2023-10-20 15:46:32 -05:00
Sigilante
45501cbb5a Post ++xeb jet. 2023-10-20 15:07:44 -05:00
Matthew LeVan
9999d1f837 wip: ++{rest,nest,mull,mint}:ut jets 2023-10-19 10:53:24 -04:00
Matthew LeVan
32ea7e95d0 wip: ++{fine,fish,fuse}:ut 2023-10-19 09:58:56 -04:00
Matthew LeVan
fa73b698e9 wip: ++crop:ut 2023-10-19 09:40:25 -04:00
Matthew LeVan
66845cddfe wip: ++ut:crop 2023-10-19 09:11:35 -04:00
Alex Shelkovnykov
086822f22c Fix merge conflicts 2023-10-18 15:40:34 -06:00
Alex Shelkovnykov
eb9b5b5e16 Merge branch 'status' into order 2023-10-18 15:26:22 -06:00
Matthew LeVan
58c58aacd5 jets: finish ++{en,de}:aes:crypto 2023-10-18 16:39:42 -04:00
Matthew LeVan
64ee8a034b jets: passing two tests for en:siva:crypto 2023-10-18 11:27:39 -04:00
Alex Shelkovnykov
e494d7d052 Fix merge conflicts 2023-10-17 22:21:52 -06:00
Alex Shelkovnykov
11a3d73e67 Merge branch 'status' into mink-scry 2023-10-17 22:20:09 -06:00
Alex Shelkovnykov
38d18e8cb8 Changes to interpreter and +mink to run scry one context up 2023-10-17 19:43:05 -06:00
Alex Shelkovnykov
e284b0e97b Address PR review 2023-10-17 13:52:03 -06:00
Matthew LeVan
41dfb68e4e wip: more utils for aes_siv 2023-10-16 16:22:24 -04:00
Matthew LeVan
e9c19659e3 wip: for neal 2023-10-16 14:44:07 -04:00
Alex Shelkovnykov
b113b55379
Merge branch 'status' into eamsden/fast-jets 2023-10-13 12:17:27 -06:00
Alex Shelkovnykov
e006316a32 fix compilation errors 2023-10-13 12:15:05 -06:00
Alex Shelkovnykov
9f147bcb2c Merge branch 'status' into fast-jets 2023-10-13 10:09:07 -06:00
Matthew LeVan
d52ac68a1f
Merge branch 'status' into msl/ordering 2023-10-13 12:05:23 -04:00
Jonathan Paprocki
6c82f61edc mem: add reset() for NockStack 2023-10-13 10:57:42 -04:00
Alex Shelkovnykov
13f110241c Merge branch 'status' into mink-scry 2023-10-13 08:53:36 -06:00
Sigilante
f144f9d943 WIP siva 2023-10-12 14:22:08 -05:00
Matthew LeVan
cceba78d94 jets: cleanup lth and dor 2023-10-12 07:32:31 -04:00
Sigilante
bd1f891a96 Post elements of AES SIV. 2023-10-11 15:03:44 -05:00
Alex Shelkovnykov
c32b8654d1 fix linter complaints 2023-10-10 21:54:51 -06:00
Alex Shelkovnykov
cf6427ebd9 Add debug assertions from NockStack investigation 2023-10-10 21:45:45 -06:00
Alex Shelkovnykov
59f193900c add handler in +mook for %hunk hint 2023-10-10 21:45:13 -06:00
Alex Shelkovnykov
7082393d8d add nock 12 to interpreter 2023-10-10 21:45:13 -06:00
Matthew LeVan
91a8565afa jets: cleanup nasty byte copying 2023-10-10 14:24:28 -04:00
Matthew LeVan
d7f5160a78 noun: fix DirectAtom::as_bytes() 2023-10-10 13:46:57 -04:00
Matthew LeVan
760e20e844 noun: fix DirectAtom::as_bytes() 2023-10-10 13:45:11 -04:00
Matthew LeVan
990cb4985e noun: restore to status 2023-10-10 11:39:49 -04:00
Matthew LeVan
13071d4f19 jets: cleanup sha 2023-10-10 11:38:17 -04:00
Matthew LeVan
b5513afbfd jets: add ++sign:ed:crypto 2023-10-10 04:19:47 -04:00
Matthew LeVan
fa95ca9dab jets: add ++ed:veri:crypto 2023-10-09 18:45:10 -04:00
Matthew LeVan
d24fa43f16 jets: rename crypto to lock 2023-10-09 10:00:30 -04:00
Matthew LeVan
6ebc6a2ffa jets: rename order to sort 2023-10-09 09:48:25 -04:00
Matthew LeVan
afbd650751 jets: address @ashelkovnykov's comments #1 2023-10-09 09:45:54 -04:00
Alex Shelkovnykov
b21828ecc5 add a context object to simplify passing function arguments 2023-10-06 18:26:37 -06:00
Matthew LeVan
c3448140b8 jets: add shar 2023-10-06 17:31:16 -04:00
Matthew LeVan
40e04e89af jets: add puck 2023-10-06 15:50:51 -04:00
Matthew LeVan
9a367afca1 jets: move sha jets into crypto/ 2023-10-06 14:42:58 -04:00
Matthew LeVan
995ae4c903 jets: fix dor 2023-10-06 08:18:16 -04:00
Matthew LeVan
ddeac1d774 jets: add dor, mor, gor 2023-10-05 16:25:31 -04:00
Alex Shelkovnykov
6bbd114d78 add style convention comment to Cargo.toml 2023-10-05 13:02:27 -06:00
Alex Shelkovnykov
2ad506de2c wrap allocation in panic with permit_alloc 2023-10-05 13:02:14 -06:00
Alex Shelkovnykov
df67782978
Update rust/ares/src/serf.rs
Accepting typo feedback from Ed

Co-authored-by: Edward Amsden <edward@blackriversoft.com>
2023-10-05 12:54:52 -06:00
Matthew LeVan
8a07ad5665 Merge branch 'status' into msl/urcrypt 2023-10-04 20:56:46 -04:00
Alex Shelkovnykov
d9bd4d7716 clean up toddler pill 2023-10-04 13:38:16 -06:00
Alex Shelkovnykov
6d414e994a add check for null pointers in frame_pop 2023-10-04 13:37:18 -06:00
Alex Shelkovnykov
65bd2f19a4 increase size of Ares serf 2023-10-04 13:36:32 -06:00
Alex Shelkovnykov
19cdaaa40c disable check_acyclic macro 2023-10-04 13:36:06 -06:00
Alex Shelkovnykov
2d1296c258 Merge branch 'status' into ctrlc 2023-10-04 13:09:18 -06:00
Alex Shelkovnykov
85afbb49eb Fix NockStack init; check outside stack for ptr seniority 2023-10-04 12:03:39 -06:00
Alex Shelkovnykov
1edd86a646 Merge branch 'status' into bug-fix 2023-10-04 11:50:12 -06:00
Alex Shelkovnykov
79ab07aa04 Fix merge conflicts 2023-10-04 10:06:14 -06:00
Alex Shelkovnykov
771a4fbb70 Fix merge conflicts 2023-10-04 09:59:54 -06:00
Alex Shelkovnykov
5c5a23809f Merge branch 'status' into trace 2023-10-04 09:53:31 -06:00
Alex Shelkovnykov
0fba14e2a2 Remove incorrect TODO 2023-10-04 09:51:06 -06:00
Alex Shelkovnykov
ab80c0cf8a Edits re: Ed feedback 2023-10-04 09:49:35 -06:00
Matthew LeVan
b08c5d2045 jets: add sha1 2023-10-04 11:45:25 -04:00
Matthew LeVan
cf3c62407f jets: add shal 2023-10-04 11:09:12 -04:00
Alex Shelkovnykov
ee7f768661 Merge branch 'status' into trace 2023-10-04 09:03:12 -06:00
Matthew LeVan
4ea46247f2 jets: add shas 2023-10-04 10:47:22 -04:00
Edward Amsden
37e18d1c97 Merge branch 'status' into eamsden/fast-jets 2023-10-03 20:31:32 -05:00
Edward Amsden
f5de9e7be8
Merge branch 'status' into eamsden/fix-memo 2023-10-03 20:30:33 -05:00
Edward Amsden
d5fd8028f6
Merge pull request #96 from urbit/pq/as-bytes
implement as_bytes() on Atom
2023-10-03 19:48:42 -05:00
Edward Amsden
08223691f9 noun: formatting 2023-10-03 19:15:37 -05:00
Edward Amsden
39c6604f37 interpreter: fix memo hints 2023-10-03 18:57:51 -05:00
Alex Shelkovnykov
b64b3a8351 Merge w/ #100 2023-10-03 17:56:39 -06:00
Edward Amsden
2ceba8cc3f
Merge pull request #99 from urbit/philip/doublejam
Fix loading from snapshot
2023-10-03 17:54:19 -05:00
Edward Amsden
e988b96341 unifying equality: fix senior_pointer_first 2023-10-03 16:47:42 -05:00
Philip Monk
3fc73919fc add convenient pattern to interrupt with gdb 2023-10-03 13:53:39 -07:00
Philip Monk
6607006c1e doublejam: fix loading from snapshot 2023-10-03 13:48:38 -07:00
Matthew LeVan
58af42ed02 jets: add shay and shax 2023-10-03 12:23:32 -04:00
Edward Amsden
9bc4e7ee9c interpreter: feature flag for sham hints 2023-10-02 04:42:55 -05:00
Edward Amsden
3022bf9ce6 nouns: function to assert a noun doesn't contain any forwarding pointers 2023-10-01 18:12:05 -05:00
Alex Shelkovnykov
5c436a8530 Merge branch 'trace' into ctrlc 2023-09-30 19:07:05 -06:00
Alex Shelkovnykov
147aabb524 Make Nock 11 tail recursive; use slots for mean stack 2023-09-30 18:46:28 -06:00
Philip Quirk
29c36a931d
Apply suggestions from code review
Remove mutable accessors.

Co-authored-by: Edward Amsden <edward@blackriversoft.com>
2023-09-29 12:25:23 -05:00
Philip Quirk
73f1d3d0fb implement add_bytes() on Atom 2023-09-28 21:22:56 -05:00
Matthew LeVan
9db720faaf Merge branch 'as/trace' into msl/urcrypt 2023-09-28 14:00:41 -04:00
Edward Amsden
994c657476 interpreter: fix memo cache 2023-09-28 11:08:48 -05:00
Edward Amsden
2ded720854 interpreter: formatting 2023-09-27 22:56:04 -05:00
Edward Amsden
2db74f9c0f interpreter: address lints for fast hints 2023-09-27 22:55:00 -05:00
Edward Amsden
4e292b88a0 interpreter: formatting 2023-09-27 22:32:40 -05:00
Edward Amsden
8d783d0b39 interpreter: working cold/warm/hot state, and new assertion functions for debugging 2023-09-27 22:31:17 -05:00
Alex Shelkovnykov
d02e2bc75b Fix linter issues 2023-09-27 16:38:16 -06:00
Alex Shelkovnykov
e04ad6c6bd Merge branch 'status' into trace 2023-09-27 16:31:29 -06:00
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
Alex Shelkovnykov
ae674c1372 Add SIGINT handler 2023-09-25 00:08:51 -06:00
Edward Amsden
a0d11b305f jets: add decflow test case which trips a memory bug in cold state 2023-09-23 07:36:17 -05:00
Edward Amsden
b5d178f635 tests: add decfast.jam and decslow.jam, jetted/unjetted decrement of 2 billion 2023-09-22 23:12:33 -05:00
Edward Amsden
45eb2fe744 jets: dashboard functional 2023-09-22 23:11:59 -05:00
Edward Amsden
8e857f7c86 jets: fast dashboard plumbed in: attempt matches on 2 and 9, register on 11 2023-09-22 19:57:08 -05:00
Edward Amsden
95e1df9433 jets: lints and formatting 2023-09-22 17:46:25 -05:00
Edward Amsden
98d7c14c8c jets: cold/hot/warm dashboards (not yet integrated) 2023-09-22 17:42:47 -05:00
Matthew LeVan
6b7e21ba48 wip: add urcrypt 2023-09-22 13:30:51 -04:00
Alex Shelkovnykov
0072e09a85 Forward non-deterministic errors to the senior frame 2023-09-21 00:04:20 -06:00
Edward Amsden
e04d20c7de updates: 9-20-2023 (david/alex/jonathan/edward/neal) 2023-09-20 13:43:52 -05:00
Alex Shelkovnykov
95083f7b78 WIP 09/19 2023-09-19 20:47:21 -06:00
Alex Shelkovnykov
e5e0fad569 slog %crud events in toddler 2023-09-19 18:36:46 -06:00
Philip Monk
fc3df952fb refactor to use soft() 2023-09-19 16:15:49 -06:00
Philip Monk
767682307e wip add crud handling 2023-09-19 16:15:42 -06:00
Alex Shelkovnykov
d122f1d1cd run cargo fmt 2023-09-15 22:41:36 -06:00
Alex Shelkovnykov
5970061218 hook up +mook to first time play 2023-09-15 22:40:03 -06:00
Alex Shelkovnykov
82e2fcbd91 unify logic for flopped/unflopped +mook 2023-09-15 21:36:09 -06:00
Alex Shelkovnykov
25c0ad7778 hook up +mook to +slam 2023-09-15 21:18:22 -06:00
Sigilante
517c20bafb Start crypto shax/shay. 2023-09-15 16:06:42 -05:00
Sigilante
7fd9f41cad Post jet_peg and tests. 2023-09-15 15:33:09 -05:00
Alex Shelkovnykov
841301a251 hoon, jets: add +slow for %ud 2023-09-15 12:43:59 -06:00
Alex Shelkovnykov
58a512c035 Merge branch 'status' into trace 2023-09-15 09:33:11 -06:00
Sigilante
1b66767291 Clean up peg jet. 2023-09-15 09:48:48 -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
Alex Shelkovnykov
1944c0294e WIP 09/13 2023-09-13 22:30:59 -06:00
Edward Amsden
6e0e5d103b
Merge branch 'status' into y/import-fix 2023-09-13 21:31:07 -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
Alex Shelkovnykov
67abda479e WIP 09/12 2023-09-12 22:20:15 -06:00
Alex Shelkovnykov
54a9ec980f Merge branch 'status' into trace 2023-09-11 19:38:12 -06: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
54f982bf4d WIP - 09/10 2023-09-10 23:13:07 -06:00
Alex Shelkovnykov
96a8915cc3 WIP - 09/09 2023-09-10 09:51:25 -06:00
Sigilante
39cfd709bc WIP jets 2023-09-08 22:00:19 -05:00
Sigilante
2aabf2e8a7 Add min/max jets. 2023-09-06 13:02:33 -05:00
Edward Amsden
f056a796a3
Merge branch 'status' into eamsden/lightweight-stack-2 2023-09-06 11:01:52 -05: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
Alex Shelkovnykov
0480fe615b style: run cargo fmt 2023-09-05 23:05:23 -06:00
Alex Shelkovnykov
4af4ac7296 jets: remove math helpers from bit jets 2023-09-05 22:48:31 -06:00
Alex Shelkovnykov
d187f64d5a jets: reorganize jets 2023-09-05 22:48:26 -06:00
Alex Shelkovnykov
e9f203e4bd jets: modify +can tests 2023-09-05 22:47:29 -06:00
Alex Shelkovnykov
a0e3bb03d1 jets: minor fix to +cat jet 2023-09-05 22:47:29 -06:00
Alex Shelkovnykov
6019240d01 hoon, jets: add +rap 2023-09-05 22:47:29 -06:00
Alex Shelkovnykov
b2f61d6b95 jets: lower bloq safety to 48-bit addresses 2023-09-05 22:47:21 -06:00
Alex Shelkovnykov
c6580f30da jets: add bloq helper function 2023-09-04 15:27:36 -06:00
Alex Shelkovnykov
bb244ee52b jets: add checked helper functions 2023-09-04 15:27:36 -06:00
Alex Shelkovnykov
a90b23d263 hoon, jets: add +mas 2023-09-04 15:27:28 -06:00
Alex Shelkovnykov
15656c1fe2 jets: move shared functions into jets::util(::test) 2023-09-04 15:27:28 -06:00
Alex Shelkovnykov
5a2e4eec57 hoon, jets: add +cap 2023-09-04 15:27:14 -06:00
Alex Shelkovnykov
104fffca96 noun: move slot lookup into noun crate 2023-09-01 16:12:27 -06: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
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
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
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