github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-04-25 03:00:10 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update zkVMs (#240)

Browse Source
This commit is contained in:
Han
2025-12-09 20:46:48 +09:00
committed by GitHub
parent 2ede04de0d
commit a75f8f4832
11 changed files with 128 additions and 128 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tests/openvm/stock_nightly_no_std/src/openvm_rt.rs
View File

@@ -35,7 +35,7 @@ fn __start(_argc: isize, _argv: *const *const u8) -> isize {
unreachable!()
}
// According to https://github.com/openvm-org/openvm/blob/v1.4.2-rc.1/crates/toolchain/openvm/src/process.rs
// According to https://github.com/openvm-org/openvm/blob/v1.4.2/crates/toolchain/openvm/src/process.rs
#[inline(always)]
fn terminate() {
unsafe {
@@ -45,7 +45,7 @@ fn terminate() {
}
}
// According to https://github.com/openvm-org/openvm/blob/v1.4.2-rc.1/crates/toolchain/openvm/src/process.rs
// According to https://github.com/openvm-org/openvm/blob/v1.4.2/crates/toolchain/openvm/src/process.rs
#[panic_handler]
fn panic_impl(_panic_info: &core::panic::PanicInfo) -> ! {
unsafe {

4
tests/pico/stock_nightly_no_std/src/pico_rt.rs
View File

@@ -34,9 +34,9 @@ fn __start(_argc: isize, _argv: *const *const u8) -> isize {
}
/// Halts the program with the given exit code.
/// According to https://github.com/brevis-network/pico/blob/v1.1.8/sdk/sdk/src/riscv_ecalls/halt.rs#L15
/// According to https://github.com/brevis-network/pico/blob/v1.1.10/sdk/sdk/src/riscv_ecalls/halt.rs#L15
/// TODO: Check what `coprocessor` feature does and integrate here.
/// Contex https://github.com/brevis-network/pico/blob/v1.1.8/sdk/sdk/src/riscv_ecalls/halt.rs#L18
/// Contex https://github.com/brevis-network/pico/blob/v1.1.10/sdk/sdk/src/riscv_ecalls/halt.rs#L18
#[allow(unused_variables)]
pub extern "C" fn syscall_halt(exit_code: u8) -> ! {
unsafe {