Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle %spot and %mean hints to produce stack traces #59

Merged
merged 70 commits into from
Oct 4, 2023
Merged
Show file tree
Hide file tree
Changes from 67 commits
Commits
Show all changes
70 commits
Select commit Hold shift + click to select a range
b804a54
stack: fix minor bug in split stack setup
ashelkovnykov Aug 16, 2023
bae3352
ares: refactor hints to use option; fix hint tag bug
ashelkovnykov Jun 8, 2023
5548859
ares: add mean stack and %slog hint
ashelkovnykov Jun 22, 2023
1904801
ares: add %hand, %hunk, %lose, and %mean hints
ashelkovnykov Jun 22, 2023
d510a33
jets: add mink jet
ashelkovnykov Aug 17, 2023
0cf4184
jets: add advanced test for mink jet
ashelkovnykov Aug 22, 2023
6bfd63e
test: add comments to test scaffolding files
ashelkovnykov Sep 1, 2023
104fffc
noun: move slot lookup into noun crate
ashelkovnykov Sep 1, 2023
866f3da
test: add new scaffolding for advanced pills
ashelkovnykov Sep 1, 2023
5a2e4ee
hoon, jets: add +cap
ashelkovnykov Sep 1, 2023
15656c1
jets: move shared functions into jets::util(::test)
ashelkovnykov Aug 24, 2023
a90b23d
hoon, jets: add +mas
ashelkovnykov Aug 29, 2023
bb244ee
jets: add checked helper functions
ashelkovnykov Sep 4, 2023
c6580f3
jets: add bloq helper function
ashelkovnykov Sep 4, 2023
b2f61d6
jets: lower bloq safety to 48-bit addresses
ashelkovnykov Sep 4, 2023
6019240
hoon, jets: add +rap
ashelkovnykov Sep 4, 2023
a0e3bb0
jets: minor fix to +cat jet
ashelkovnykov Sep 4, 2023
e9f203e
jets: modify +can tests
ashelkovnykov Sep 4, 2023
d187f64
jets: reorganize jets
ashelkovnykov Sep 4, 2023
4af4ac7
jets: remove math helpers from bit jets
ashelkovnykov Sep 4, 2023
4993505
hoon: add +rev
ashelkovnykov Sep 4, 2023
33d781b
hoon: remove sham hints for missing jets
ashelkovnykov Sep 4, 2023
9871b05
hoon: add types used by virtualization
ashelkovnykov Sep 6, 2023
85d9c03
hoon: add +crip
ashelkovnykov Sep 4, 2023
b85f5f5
hoon: add +homo
ashelkovnykov Sep 4, 2023
2833fe1
hoon: add +weld
ashelkovnykov Sep 4, 2023
c6d5a26
hoon: add +turn
ashelkovnykov Sep 4, 2023
475143b
hoon: add +mink
ashelkovnykov Sep 4, 2023
b5532ab
hoon: add +mure
ashelkovnykov Sep 4, 2023
b6b69b3
hoon: add +mole
ashelkovnykov Sep 4, 2023
304f399
hoon: add +fe
ashelkovnykov Sep 5, 2023
ff2650c
hoon: add +roll
ashelkovnykov Sep 5, 2023
da6d154
hoon: add +fil
ashelkovnykov Sep 5, 2023
f4f1d59
hoon: add +shay
ashelkovnykov Sep 5, 2023
a242f9d
hoon: add +fa
ashelkovnykov Sep 5, 2023
b18aa95
hoon: add +pow
ashelkovnykov Sep 5, 2023
2cd8a87
hoon: add +ne
ashelkovnykov Sep 5, 2023
409b98a
hoon: add +po
ashelkovnykov Sep 5, 2023
220595d
hoon: add +ob
ashelkovnykov Sep 5, 2023
fc13acd
hoon: add partial +co
ashelkovnykov Sep 5, 2023
ee73df3
hoon: add +trip
ashelkovnykov Sep 6, 2023
d505538
hoon: add +soft
ashelkovnykov Sep 6, 2023
e5d08bb
hoon: add +smyt
ashelkovnykov Sep 6, 2023
f185d34
hoon: add +scow
ashelkovnykov Sep 6, 2023
7b3bb4e
hoon: add +scag
ashelkovnykov Sep 6, 2023
70da990
hoon: add +mook
ashelkovnykov Sep 6, 2023
17a2b91
hoon: add +mock
ashelkovnykov Sep 6, 2023
0438bbe
hoon: add +mack
ashelkovnykov Sep 6, 2023
0480fe6
style: run cargo fmt
ashelkovnykov Sep 6, 2023
8816d47
test: replace print with call to Ackermann function
ashelkovnykov Sep 6, 2023
96a8915
WIP - 09/09
ashelkovnykov Sep 10, 2023
54f982b
WIP - 09/10
ashelkovnykov Sep 11, 2023
54a9ec9
Merge branch 'status' into trace
ashelkovnykov Sep 12, 2023
67abda4
WIP 09/12
ashelkovnykov Sep 13, 2023
1944c02
WIP 09/13
ashelkovnykov Sep 14, 2023
58a512c
Merge branch 'status' into trace
ashelkovnykov Sep 15, 2023
841301a
hoon, jets: add +slow for %ud
ashelkovnykov Sep 15, 2023
25c0ad7
hook up +mook to +slam
ashelkovnykov Sep 16, 2023
82e2fcb
unify logic for flopped/unflopped +mook
ashelkovnykov Sep 16, 2023
5970061
hook up +mook to first time play
ashelkovnykov Sep 16, 2023
d122f1d
run cargo fmt
ashelkovnykov Sep 16, 2023
e04ad6c
Merge branch 'status' into trace
ashelkovnykov Sep 27, 2023
d02e2bc
Fix linter issues
ashelkovnykov Sep 27, 2023
147aabb
Make Nock 11 tail recursive; use slots for mean stack
ashelkovnykov Oct 1, 2023
ee7f768
Merge branch 'status' into trace
ashelkovnykov Oct 4, 2023
ab80c0c
Edits re: Ed feedback
ashelkovnykov Oct 4, 2023
0fba14e
Remove incorrect TODO
ashelkovnykov Oct 4, 2023
5c5a238
Merge branch 'status' into trace
ashelkovnykov Oct 4, 2023
771a4fb
Fix merge conflicts
ashelkovnykov Oct 4, 2023
79ab07a
Fix merge conflicts
ashelkovnykov Oct 4, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 3 additions & 11 deletions hoon/scaffolding/azimuth-pill.hoon
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
:: A small pill that runs a snasphot of azimuth state against a few
:: tens of thousands of logs. Requires naive-cradle.hoon,
:: mainnet.azimuth-snapshot, and log.jam from this scaffolding
:: directory.
:: A small pill that runs a snasphot of azimuth state against a few tens of
:: thousands of logs. Requires naive-cradle.hoon,
:: mainnet.azimuth-snapshot, and log.jam from this scaffolding directory.
::
/+ naive=naive-cradle, orig-naive=naive, ethereum, dice
/* snap %azimuth-snapshot /lib/mainnet/azimuth-snapshot
Expand Down Expand Up @@ -236,7 +235,6 @@
++ swp :: naive rev bloq order
~/ %swp
|= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b)))
::
++ met :: measure
Expand Down Expand Up @@ -312,7 +310,6 @@
++ lent :: length
~/ %lent
|= a=(list)
~> %sham.%lent
^- @
=+ b=0
|-
Expand All @@ -322,7 +319,6 @@
++ slag :: suffix
~/ %slag
|* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b
?: =(0 a) b
?~ b ~
Expand All @@ -331,7 +327,6 @@
++ snag :: index
~/ %snag
|* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b)
?~ b
~_ leaf+"snag-fail"
Expand All @@ -349,7 +344,6 @@
++ flop :: reverse
~/ %flop
|* a=(list)
~> %sham.%flop
=> .(a (homo a))
^+ a
=+ b=`_a`~
Expand All @@ -360,7 +354,6 @@
++ welp :: concatenate
~/ %welp
=| [* *]
~> %sham.%welp
|@
++ $
?~ +<-
Expand All @@ -371,7 +364,6 @@
++ reap :: replicate
~/ %reap
|* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b)
?~ a ~
[b $(a (dec a))]
Expand Down
4 changes: 3 additions & 1 deletion hoon/scaffolding/baby.hoon
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
:: A trivial working pill which requires no jets
:: A trivial working pill which requires no jets. Requires cradle.hoon
:: from this scaffolding directory.
::
/+ cradle
!.
=/ core
Expand Down
10 changes: 3 additions & 7 deletions hoon/scaffolding/cradle.hoon
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
:: This file is just tiny.hoon from urbit/urbit (but with sham jets). Required
:: to run baby.hoon as an Arvo.
::
!.
=> %a50
~% %a.50 ~ ~
Expand Down Expand Up @@ -206,7 +209,6 @@
++ swp :: naive rev bloq order
~/ %swp
|= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b)))
::
++ met :: measure
Expand Down Expand Up @@ -282,7 +284,6 @@
++ lent :: length
~/ %lent
|= a=(list)
~> %sham.%lent
^- @
=+ b=0
|-
Expand All @@ -292,7 +293,6 @@
++ slag :: suffix
~/ %slag
|* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b
?: =(0 a) b
?~ b ~
Expand All @@ -301,7 +301,6 @@
++ snag :: index
~/ %snag
|* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b)
?~ b
~_ leaf+"snag-fail"
Expand All @@ -319,7 +318,6 @@
++ flop :: reverse
~/ %flop
|* a=(list)
~> %sham.%flop
=> .(a (homo a))
^+ a
=+ b=`_a`~
Expand All @@ -330,7 +328,6 @@
++ welp :: concatenate
~/ %welp
=| [* *]
~> %sham.%welp
|@
++ $
?~ +<-
Expand All @@ -341,7 +338,6 @@
++ reap :: replicate
~/ %reap
|* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b)
?~ a ~
[b $(a (dec a))]
Expand Down
12 changes: 4 additions & 8 deletions hoon/scaffolding/naive-cradle.hoon
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
:: This file is a combination of tiny.hoon and naive.hoon from urbit/urbit
:: (but with sham jets). Required to run azimuth-pill.hoon as an Arvo.
::
!.
!=
:: begin cradle.hoon
:: begin tiny.hoon
=>
=> %a50
~% %a.50 ~ ~
Expand Down Expand Up @@ -209,7 +212,6 @@
++ swp :: naive rev bloq order
~/ %swp
|= [a=bloq b=@]
~> %sham.%swp
(rep a (flop (rip a b)))
::
++ met :: measure
Expand Down Expand Up @@ -285,7 +287,6 @@
++ lent :: length
~/ %lent
|= a=(list)
~> %sham.%lent
^- @
=+ b=0
|-
Expand All @@ -295,7 +296,6 @@
++ slag :: suffix
~/ %slag
|* [a=@ b=(list)]
~> %sham.%slag
|- ^+ b
?: =(0 a) b
?~ b ~
Expand All @@ -304,7 +304,6 @@
++ snag :: index
~/ %snag
|* [a=@ b=(list)]
~> %sham.%snag
|- ^+ ?>(?=(^ b) i.b)
?~ b
~_ leaf+"snag-fail"
Expand All @@ -322,7 +321,6 @@
++ flop :: reverse
~/ %flop
|* a=(list)
~> %sham.%flop
=> .(a (homo a))
^+ a
=+ b=`_a`~
Expand All @@ -333,7 +331,6 @@
++ welp :: concatenate
~/ %welp
=| [* *]
~> %sham.%welp
|@
++ $
?~ +<-
Expand All @@ -344,7 +341,6 @@
++ reap :: replicate
~/ %reap
|* [a=@ b=*]
~> %sham.%reap
|- ^- (list _b)
?~ a ~
[b $(a (dec a))]
Expand Down
Loading