Skip to content

blockifier: rename standalone adjective variables#12548

Merged
dan-starkware merged 2 commits intomain-v0.14.2from
02-12-blockifier_rename_standalone_adjective_variables
Feb 14, 2026
Merged

blockifier: rename standalone adjective variables#12548
dan-starkware merged 2 commits intomain-v0.14.2from
02-12-blockifier_rename_standalone_adjective_variables