Skip to content

Reject unsupported execution effects before Aeneas lowering - #3848

Open
joshlf wants to merge 1 commit into
G5ql2xwdsnzdupc5d4auj6l5vgi5okgrcfrom
Glga77guruqohhu34sv7kfiu3slnotqyv
Open

Reject unsupported execution effects before Aeneas lowering#3848
joshlf wants to merge 1 commit into
G5ql2xwdsnzdupc5d4auj6l5vgi5okgrcfrom
Glga77guruqohhu34sv7kfiu3slnotqyv

Reject unsupported execution effects before Aeneas lowering

716ef6d
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Oct 15, 2026 in 7s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ 716ef6d Author: @joshlf <h***o​@joshlf.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA