Commit Graph

165 Commits

Author SHA1 Message Date
Philip Monk
7a3338cb19
Merge pull request #17 from urbit/i/15/tas-macro
Add tas!() procedural macro
2023-02-03 12:51:51 -07:00
Edward Amsden
5f3e5c1f12 Merge branch 'philip/jets' into i/15/tas-macro 2023-02-03 13:43:47 -06:00
Edward Amsden
1f2adf4b6a
Merge branch 'status' into philip/jets 2023-02-03 13:41:47 -06:00
Peter McEvoy
3de42389c1 Use tas!() when computing Nock 11 2023-02-03 12:19:32 -05:00
Philip Monk
7765c020cf [ares] rename %prop->%sham and add comment 2023-02-03 10:19:23 -07:00
Peter McEvoy
83b4fe308a Revert "Sort dependencies alphabetically"
This reverts commit 38fd034984.
2023-02-03 12:15:56 -05:00
Peter McEvoy
27f64b96ea Use tas!() in jets dashboard 2023-02-03 12:12:10 -05:00
Peter McEvoy
f41cf8cc38 Test tas!() 2023-02-03 12:12:08 -05:00
Peter McEvoy
d072c3ecea Implement tas!() in separate crate 2023-02-03 12:11:53 -05:00
Peter McEvoy
38fd034984 Sort dependencies alphabetically 2023-02-03 12:09:56 -05:00
Edward Amsden
157b0e0c85
Merge pull request #16 from urbit/philip/raw
[ares] fix atom initialization bug
2023-02-02 22:16:52 -06:00
Philip Monk
3e05e54104 Merge branch 'philip/raw' into philip/jets 2023-02-02 21:00:41 -07:00
Philip Monk
336214cd9b [ares] fix atom initialization bug 2023-02-02 20:58:11 -07:00
Edward Amsden
697180606b
Merge pull request #14 from urbit/eamsden/2stackz-fixes
[ares][unifying equality] simplify, document, remove bugs and redundancies
2023-02-02 18:49:37 -06:00
Edward Amsden
3ee28adb93 [ares][unifying equality] add fast pointer and cached mug checks outside the loop 2023-02-02 18:47:53 -06:00
Edward Amsden
4ddcb1e07c
[ares][unifying equality] memcmp for indirect atoms requires bytesize 2023-02-02 18:30:34 -06:00
Philip Monk
ac6103da99 [ares] style fixes 2023-02-02 17:19:45 -07:00
Edward Amsden
4edd3a6fb3
Merge branch 'status' into philip/jets 2023-02-02 13:51:44 -06:00
Edward Amsden
06fe914c34 [ares] simplify unifying equality, remove redundant checks, and better document 2023-02-02 13:37:04 -06:00
Edward Amsden
e04329f2b6 [ares][2stackz] missing pop of work stack when pointer equality is discovered 2023-02-02 12:06:25 -06:00
Edward Amsden
9c09e81779
Merge pull request #13 from urbit/philip/prints
Fixes and printing functions
2023-02-02 12:04:58 -06:00
Edward Amsden
4600b4b5b3
Merge branch 'status' into philip/prints 2023-02-02 11:55:37 -06:00
Philip Monk
23e33cfd11 add note to raw_slot 2023-02-02 10:54:31 -07:00
Edward Amsden
a5ff1d31e0
Merge pull request #11 from urbit/dev/ares-review
Comments and bugfixes from Ares review
2023-02-02 11:42:03 -06:00
Philip Monk
69b4bbeeae add naive jet dashboard with two jets 2023-02-01 21:36:37 -07:00
Philip Monk
b88190f119 rename axis->slot to reduce confusion 2023-02-01 21:35:30 -07:00
Philip Monk
d55db12c12 implement Debug trait for nouns 2023-02-01 21:35:07 -07:00
Philip Monk
999e1e29d7 east/west typo 2023-02-01 20:06:49 -07:00
Edward Amsden
b7fac596c3 [ares] get rid of warnings 2023-02-01 18:42:38 -06:00
Edward Amsden
140dcf4e28 [ares] rust formatting 2023-02-01 18:37:48 -06:00
Edward Amsden
4eb99cc2d4 [ares] Some cleanup 2023-02-01 18:36:43 -06:00
Edward Amsden
665a2f5672 [ares] Source code for cue-and-then-jam benchmark 2023-02-01 18:35:05 -06:00
Edward Amsden
fc048c8e8b [ares] Update cargo.lock 2023-02-01 18:34:38 -06:00
Edward Amsden
a5f36ec6d3 [ares]: Cue-and-then-jam the solid pill works and is fast 2023-02-01 18:34:21 -06:00
Edward Amsden
903ffe694c [ares] Add noun acyclicality check 2023-02-01 18:33:42 -06:00
Edward Amsden
dabafb685d [ares/2stackz]: Add comment about split stack frames per Joe 2023-02-01 18:30:05 -06:00
Edward Amsden
d555967563 [ares]: import custom murmur3 and add feature flag for acyclic check 2023-02-01 18:28:47 -06:00
Edward Amsden
223b946199 [ares] comment explaining why unifying equality does not, in fact, infinite loop 2023-01-30 19:27:41 -06:00
Edward Amsden
9d97c2d29f [ares] bugfixes in unifying equality 2023-01-30 19:27:02 -06:00
Edward Amsden
ea5e538d10
Merge pull request #10 from urbit/philip/dec
add decrement test and make it pass
2023-01-27 15:55:04 -06:00
Philip Monk
6f5e87aa05 add decrement test and make it pass 2023-01-27 13:41:35 -07:00
Edward Amsden
9920fc15af current state for inspection 2023-01-26 18:02:49 -06:00
Edward Amsden
1f8a80197a Merge branch 'master' into doc/spec-ska-safety 2023-01-26 17:48:32 -06:00
Edward Amsden
47c28f65c4 codegen: compiles, doesn't run properly, is a tangled mess 2023-01-06 19:15:12 -06:00
Edward Amsden
3435439299 [wip] registerized interpreter 2022-12-15 22:48:46 -06:00
Edward Amsden
3c5d2519dd linearization compiles 2022-12-02 12:31:34 -06:00
Edward Amsden
f1cfdeb8a7 [wip] linearization appears done, will make it compile tomorrow 2022-12-01 23:13:37 -06:00
Ted Blackman
638b761e93 it compiles now 2022-11-29 23:59:04 -06:00
Edward Amsden
2b18091c28 changes 2022-11-29 20:44:51 -06:00
Edward Amsden
e16aaa2004
ddcg: running destination-driven-cg/ska nock linearization now works 2022-10-03 17:51:01 -05:00