yultracer - Alpha 0.1.1: Parametric Parser and Main

Alpha 0.1.1: Parametric Parser and Main

Release Date: 2024-06-24

Improved modularity by replacing the old parser with a parametric one that compiles into a functor. A dialect selector and corresponding option has been added to the main file and the help menu. The README has been updated with instructions on how to extend YulTracer with new dialects.

Same known issues as previous version otherwise.

- OCaml
Published by LaifsV1 over 1 year ago

yultracer - Alpha 0.1.0: Interpreter Core

Alpha 0.1.0: Interpreter Core

Release Date: 2024-06-18

Initial release featuring core functionality for the interpreter only. Partial implementation of the EVM Shanghai update is provided. Currently the following EVM opcodes are integrated with the Yul interpreter:

• Arithmetic: add, sub, mul, div, sdiv, mod, smod, exp, addmod, mulmod, signextend
• Bitwise: not, and, or, xor, byte, shl, shr, sar
• Comparison: lt, gt, slt, sgt, eq, iszero
• Control-flow: stop, pc (placeholder value)
• Memory: mload, mstore, mstore8, msize
• Stack: pop
• Storage: sload, sstore

Keccak and other symbolic operations are provided in the EVM implementation, but not integrated with the Yul interpreter yet. No support for symbolic execution yet. Limited error handling, especially with typing.

- OCaml
Published by LaifsV1 almost 2 years ago