Tosca depends on a modified version of the EVMC package mainly to facilitate CT integration. These modifications are quite extensive and are unlikely to ever by upstreamed to the main EVMC repository.
To minimise the needed modification, to keep maintenance work limited, the number of changes should be reduced. This could be facilitated by establishing a generic context-passing mechanism through a void-pointer in the package. This way, special applications like the step-wise execution of code could be channeled through a minimal modification with a chance of being up-streamed.
This idea should be explored and tested for our CT use case. If it works, the EVMC modifications should be updated accordingly.
Tosca depends on a modified version of the EVMC package mainly to facilitate CT integration. These modifications are quite extensive and are unlikely to ever by upstreamed to the main EVMC repository.
To minimise the needed modification, to keep maintenance work limited, the number of changes should be reduced. This could be facilitated by establishing a generic context-passing mechanism through a void-pointer in the package. This way, special applications like the step-wise execution of code could be channeled through a minimal modification with a chance of being up-streamed.
This idea should be explored and tested for our CT use case. If it works, the EVMC modifications should be updated accordingly.