HomePhabricator

Moved everything SMT-related to LLVM and updated the cmake scripts.

Authored by mikhail.ramalho on Mar 25 2019, 10:47 AM.

Description

Moved everything SMT-related to LLVM and updated the cmake scripts.

Differential Revision: https://reviews.llvm.org/D54978

llvm-svn: 356929

Details

Committed
mikhail.ramalhoMar 25 2019, 10:47 AM
Differential Revision
D54978: Move the SMT API to LLVM
Parents
rGfc67176eec7e: [clang-format] Refine structured binding detection
Branches
Unknown
Tags
Unknown

Event Timeline

awson added a subscriber: awson.Mar 9 2020, 11:38 PM

This patch breaks Windows build (for almost a year already).

This was reported almost half a year ago, see https://bugs.llvm.org/show_bug.cgi?id=43464.

The fix is tiny, would you be so kind to to put it there finally?