GlowingOutlaw
  • Joined on 2024-12-21
GlowingOutlaw pushed to offchain-start at giteadmin/SoLUSH-3 2025-01-21 07:59:51 +00:00
c2343edc6b Add more local mutation
GlowingOutlaw pushed to offchain-start at giteadmin/SoLUSH-3 2025-01-14 04:49:51 +00:00
eeb5dd4141 Some modifications to the regression experiment.
64a81e4110 Add symbolic regression experiment.
Compare 2 commits »
GlowingOutlaw pushed to offchain-start at giteadmin/SoLUSH-3 2025-01-13 10:58:33 +00:00
c5538e35bb Add random program generation and mutation.
856779e0bc Add revm_runner as module.
46683c4e21 Update to ast.
e17155ecdb Read bytecode from JSON. Clean up ast.
Compare 4 commits »
GlowingOutlaw commented on pull request giteadmin/SoLUSH-3#18 2025-01-08 04:23:18 +00:00
Boolean stack implementation

Here I would prefer to see a boolean stack with 2 elements loaded into the machine. Then we only do the swap op-code. Makes for a cleaner, more isolated test.

GlowingOutlaw commented on pull request giteadmin/SoLUSH-3#18 2025-01-08 04:23:18 +00:00
Boolean stack implementation

I think in such situations we should pick something the resembles the original instruction, but is easy on the gas. Like you suggested, we could just do a "deep swap". Swap the top element with the one at index.

GlowingOutlaw suggested changes for giteadmin/SoLUSH-3#18 2025-01-08 04:23:18 +00:00
Boolean stack implementation

Awesome work! The only issue I see, is that in tests we are preparing the stacks using the bytecode. I would prefer we prepare the stacks in the test outside the execution, and only really test the opcode at hand via bytecode. Makes for more isolated and easier to understand tests.

GlowingOutlaw opened issue giteadmin/SoLUSH-3#19 2025-01-05 07:12:42 +00:00
Finite stacks
GlowingOutlaw created pull request giteadmin/SoLUSH-3#14 2024-12-25 08:04:05 +00:00
WIP: offchain-start
GlowingOutlaw created branch offchain-start in giteadmin/SoLUSH-3 2024-12-25 08:01:01 +00:00
GlowingOutlaw pushed to offchain-start at giteadmin/SoLUSH-3 2024-12-25 08:01:01 +00:00
b4e723fd2c Minimal working example. Can run programs in CL.
73f3bca656 Make some progress on ASTs.
ae908ee23d Offchain scaffolding.
Compare 3 commits »
GlowingOutlaw created pull request giteadmin/SoLUSH-3#3 2024-12-24 05:06:43 +00:00
refactor-dirs
GlowingOutlaw created branch refactor-dirs in giteadmin/SoLUSH-3 2024-12-24 05:06:03 +00:00
GlowingOutlaw pushed to refactor-dirs at giteadmin/SoLUSH-3 2024-12-24 05:06:03 +00:00
50288eb30c forge install: forge-std
818da97ea5 Move onchain logic to speperate dir.
9f3636d232 Remove forge-std.
Compare 3 commits »
GlowingOutlaw created pull request giteadmin/SoLUSH-3#2 2024-12-24 04:48:15 +00:00
interpreter-expansion
GlowingOutlaw created branch interpreter-expansion in giteadmin/SoLUSH-3 2024-12-24 04:47:01 +00:00
GlowingOutlaw pushed to interpreter-expansion at giteadmin/SoLUSH-3 2024-12-24 04:47:01 +00:00
dadfb7983a Add integer dup and pop.
6b874bf8ba Make test view to avoid warnings.
fce9ae4d6f Add int adapter.
40172b8eaf Imrove test coverage.
92e353dcda Add INTEGER_MINUS and INETEGER_MULT.
Compare 5 commits »
GlowingOutlaw created pull request giteadmin/SoLUSH-3#1 2024-12-23 06:12:32 +00:00
scaffolding
GlowingOutlaw pushed to scaffolding at giteadmin/SoLUSH-3 2024-12-23 06:11:21 +00:00
4cc20edf96 forge install: forge-std
268823c130 Remove forge-std to readd it as proper dependency.
Compare 2 commits »
GlowingOutlaw pushed to scaffolding at giteadmin/SoLUSH-3 2024-12-23 06:02:36 +00:00
a5248b3bd4 Add Interpreter.md.
GlowingOutlaw created branch scaffolding in giteadmin/SoLUSH-3 2024-12-23 05:54:49 +00:00