Skip to content

[pull] main from B-Lang-org:main#173

Merged
pull[bot] merged 3 commits into
chenm001:mainfrom
B-Lang-org:main
Jun 23, 2026
Merged

[pull] main from B-Lang-org:main#173
pull[bot] merged 3 commits into
chenm001:mainfrom
B-Lang-org:main

Fix post-inference IAp assert for ATF-bearing class instances (#962)

35e254d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check: code cleanliness
succeeded Jun 23, 2026 in 8s