Skip to content

Move interference definitions out of ideal/iw_instantiation.v

Pierre Roux requested to merge proux1/rt-proofs:move_interference_def into master

This is another followup of !244 (closed) after discussions with @kbedarka and @sbozhko

Depends on !262 (merged)
Depends on !270 (merged)

Edited by Pierre Roux

Merge request reports