search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
721 stars 93 forks source link

Add support for disjoint #978

Closed dtcxzyw closed 7 months ago

dtcxzyw commented 7 months ago

This patch adds support for disjoint flags recently introduced by https://github.com/llvm/llvm-project/pull/72583. See also https://llvm.org/docs/LangRef.html#or-instruction.

nunoplopes commented 7 months ago

Thank you!