Search results

How to use tosca with sonic go-ethereum?

Status: Open.

#112 In 0xsoniclabs/tosca;

· emailtovamos opened on Jul 11, 2025

CT: Improve generators sanity checks by not only checking variable clash but assignment clash as well.

Status: Open.

Bug

#52 In 0xsoniclabs/tosca;

· LuisPH3 opened on Feb 20, 2025

CT: Domain sampling interface improvement

Status: Open.

#49 In 0xsoniclabs/tosca;

· LuisPH3 opened on Feb 19, 2025

CT: Study usage of Restrict method in Conditions

enhancementNew feature or requestNew feature or request

Status: Open.

#48 In 0xsoniclabs/tosca;

· LuisPH3 opened on Feb 19, 2025

Remove deprecation from TransactionContext interface functions

Status: Open.

#47 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

CT: add statistics on states generated by probe command

Status: Open.

#46 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

evmc: introduce generic void context parameter

Status: Open.

#45 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

Support generation of truncated PUSH op in CT

Status: Open.

#44 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

LFVM requires comprehensive code documentation

Status: Open.

#43 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

CT: Change PC on data rule to any effect

Status: Open.

#42 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 19, 2025

CT: support the restriction of revision ranges in driver

Status: Open.

#38 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 17, 2025

Floria: add ethereum compatible version

Status: Open.

#34 In 0xsoniclabs/tosca;

· simonlechner opened on Feb 13, 2025