Hints for uniquing unsoundness reports

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

719 stars 93 forks source link

Closed FlashSheridan closed 3 months ago

FlashSheridan commented 4 months ago

Hints for uniquing unsoundness reports.
Cover alive-tv as well as Compiler Explorer instance.
Mention Nikita Popov’s -allow-incomplete-ir option, which makes some of my grumbling obsolete.