Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
7753c06
fix: resolve constant jumpi conditions
DaniPopes May 6, 2026
df8ebc5
fix: keep constant jumpi successors live
DaniPopes May 6, 2026
19529fb
fix: resolve constant jumpi cfg
DaniPopes May 6, 2026
774c4d6
feat: add context-sensitive jump analysis
DaniPopes May 6, 2026
c444fcd
fix: materialize push immediates in codegen
DaniPopes May 6, 2026
65803cd
feat: resolve mixed jump target sets
DaniPopes May 6, 2026
ba4d7d4
feat: split jump return contexts
DaniPopes May 6, 2026
d91ac79
fix: restore mixed jump helpers
DaniPopes May 6, 2026
f375eac
test: keep opaque jump reachable
DaniPopes May 6, 2026
6856510
clean
DaniPopes May 6, 2026
68848ca
refactor: rename jump resolution wrapper
DaniPopes May 6, 2026
7bd42f3
Merge branch 'dani/const-jumpi' into dani/sound-solidity-jumps-v2
DaniPopes May 6, 2026
afb28ce
clean
DaniPopes May 6, 2026
dabbc94
fmt
DaniPopes May 6, 2026
4ad5a8e
perf: cap split jump analysis
DaniPopes May 6, 2026
34638a1
Merge branch 'dani/const-jumpi' into dani/sound-solidity-jumps-v2
DaniPopes May 6, 2026
ab69ba9
fix: invalidate suspect jumpi conditions
DaniPopes May 6, 2026
c224a0a
Merge remote-tracking branch 'origin/main' into dani/sound-solidity-j…
DaniPopes May 12, 2026
f2ee2c8
perf: avoid redundant jump analysis
DaniPopes May 12, 2026
e8b84b9
perf: more fast paths
DaniPopes May 12, 2026
7aa3de7
test: unify block analysis test module
DaniPopes May 12, 2026
1b36fa2
chore: fix script
DaniPopes May 13, 2026
2704930
fix: retry unsplit block analysis
DaniPopes May 13, 2026
0fe79b7
fix: ignore dead jumps in analysis
DaniPopes May 13, 2026
c3969f0
fix: skip fallthrough join dedup
DaniPopes May 13, 2026
9e80341
Merge branch 'main' into dani/sound-solidity-jumps-v2
DaniPopes May 13, 2026
39bcf21
Merge remote-tracking branch 'origin' into dani/sound-solidity-jumps-v2
DaniPopes May 16, 2026
5e39ea4
test: cover dedup fallthrough constants
DaniPopes May 16, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion crates/revmc-codegen/src/bytecode/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -619,7 +619,6 @@ impl<'a> Bytecode<'a> {

/// Returns the value of a PUSH instruction, right-padding truncated EOF immediates with zeros
/// per EVM spec.
#[cfg(test)]
pub(crate) fn get_push_value(&self, data: &InstData) -> U256 {
debug_assert!(matches!(data.opcode, op::PUSH0..=op::PUSH32));
data.imm().get(&self.u256_interner.borrow())
Expand Down
Loading
Loading