Detected by the nightly stale-porting check.
Workflow run: https://github.com/leanprover-community/iris-lean/actions/runs/26354586520
Lean revision: 5794ae312b236436b8c81fc782e8ab1fb2ebf0a9
Checked against Rocq revision: aa39151cf17dbfd53649a4466a6420c3dbb02a96
Stale aliases (31):
cmra_morphism_monotone
cmra_morphism_monotoneN
fupd_soundness_gen
fupd_soundness_lc
fupd_soundness_no_lc
le_upd.le_upd_elim
le_upd.le_upd_elim_complete
le_upd.le_upd_later
le_upd.le_upd_later_elim
le_upd_if.bupd_le_upd_if
le_upd_if.elim_bupd_le_upd_if
le_upd_if.elim_modal_le_upd_if
le_upd_if.except_0_le_upd_if
le_upd_if.frame_le_upd_if
le_upd_if.from_assumption_le_upd_if
le_upd_if.from_modal_le_upd_if
le_upd_if.from_pure_le_upd_if
le_upd_if.is_except_0_le_upd_if
le_upd_if.le_upd_if
le_upd_if.le_upd_if_bind
le_upd_if.le_upd_if_frame_l
le_upd_if.le_upd_if_frame_r
le_upd_if.le_upd_if_intro
le_upd_if.le_upd_if_mono'
le_upd_if.le_upd_if_ne
le_upd_if.le_upd_if_trans
step_fupdN_soundness_gen
step_fupdN_soundness_lc
step_fupdN_soundness_lc'
step_fupdN_soundness_no_lc
step_fupdN_soundness_no_lc'
Stale ignores (2):
wp_progress_gen
wptp_progress
Detected by the nightly stale-porting check.
Workflow run: https://github.com/leanprover-community/iris-lean/actions/runs/26354586520