interpreter: remove use of UserFeatureOption #15626
bonzini
added this to the 1.12 milestone 80 days ago
bonzini
changed the title Interpreter no option interpreter: remove use of UserFeatureOption 80 days ago
bonzini
force pushed
from
b43409a4
to
82970bf0
80 days ago
bonzini
force pushed
from
82970bf0
to
599a166d
80 days ago
interpreter, modules: use REQUIRED_KW
fef6d090
bonzini
force pushed
from
599a166d
to
0ce5da39
62 days ago
dcbaker
requested changes
on 2026-04-03
interpreter: remove use of UserFeatureOption
7fa08cfd
bonzini
force pushed
from
0ce5da39
to
70180a69
62 days ago
bonzini
force pushed
from
70180a69
to
1a228866
62 days ago
bonzini
force pushed
from
1a228866
to
ada9319a
62 days ago
interpreterobjects: simplify FeatureOptionHolder
f7f2ac1f
remove unused methods from UserFeatureOption
315f6ca4
interpreter: make Feature in turn wrap an Enum
1d5caba7
bonzini
force pushed
from
ada9319a
to
1d5caba7
62 days ago
dcbaker
approved these changes
on 2026-04-03
bonzini
merged
fa3720f6
into master 52 days ago
Assignees
No one assigned
Labels
refactoring
options
Login to write a write a comment.
Login via GitHub