Commit Graph

559 Commits

Author SHA1 Message Date
Sigilante
15a8745097
Swap high.low bytes in pair 2023-11-17 10:46:58 -06:00
Sigilante
379bd2279a
Mark manually-checked pair as safe. 2023-11-17 10:40:41 -06:00
Alex Shelkovnykov
d67dad2a0b trace: fix invalid event names 2023-11-17 13:37:24 +01:00
Alex Shelkovnykov
f5889bba17 trace: add profile trace to DONE block
It's possible for a tail-recursive 9 to never hit the RET block.
2023-11-17 12:41:34 +01:00
Alex Shelkovnykov
9573584979 trace: disable tracing on failed write to file 2023-11-17 12:28:28 +01:00
Alex Shelkovnykov
e1c5d158e6 trace: move trace code to its own file 2023-11-17 00:03:35 +01:00
Alex Shelkovnykov
3c72f0244e trace: fix linter warnings 2023-11-16 22:18:56 +01:00
Alex Shelkovnykov
33186d5789 Merge branch 'status' into profile 2023-11-16 12:22:11 +01:00
Sigilante
0cb6cb3063
Switch to doc comment format. 2023-11-15 16:30:19 -06:00
Sigilante
a2749a71cb
Rename u128_pair to u64_pair and clarify SoftFloat intent 2023-11-15 16:12:26 -06:00
Sigilante
e204285ab3 WIP include jet_last 2023-11-15 16:02:28 -06:00
Sigilante
7bd1adcc5c WIP clarify direct atoms in last() 2023-11-15 15:54:33 -06:00
Sigilante
5f9adde330 WIP on last/u64 export 2023-11-15 15:52:03 -06:00
Sigilante
44ba80cd33
Fix minor unsafe blocks 2023-11-15 15:44:20 -06:00
Sigilante
1ae6303cbf
Move u64/u128 to IndirectAtom as well 2023-11-15 15:41:22 -06:00
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