All issues

Search results

tests/mem/test-mem-global-init-offset.c: dev16 lost the AvoidUnsignedICmp guard in foldAndOrOfICmpsUsingRanges

LLVM-migrationPort code from one LLVM version to the next onePort code from one LLVM version to the next one

llvm-seahorn

Status: Open.

#108 In seahorn/clam;

· caballa opened on Aug 7, 2026

mem/test-mem-8_inlined.c: dev15 sea-instcombine rewrites a pointer IV into an index IV under opaque pointers

LLVM-migrationPort code from one LLVM version to the next onePort code from one LLVM version to the next one

llvm-seahorn

Status: Open.

#106 In seahorn/clam;

· caballa opened on Aug 5, 2026

Enabling WholeProgramDevirtPass in llvm-15 and beyond

LLVM-migrationPort code from one LLVM version to the next onePort code from one LLVM version to the next one

Status: Open.

#104 In seahorn/clam;

· priyasiddharth opened on Jul 16, 2026